Proof

java.lang.Object
- io.github.cvc5.Proof

public class Proof
extends java.lang.Object

A cvc5 Proof.

Field Summary

Fields
Modifier and Type Field Description

protected long pointer

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`deletePointer()`
`protected void`	`deletePointer(long pointer)`
`Term[]`	`getArguments()`
`Proof[]`	`getChildren()`
`long`	`getPointer()`
`Term`	`getResult()`
`ProofRule`	`getRule()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - pointer
```
protected long pointer
```
- Method Detail
  - deletePointer
```
public void deletePointer()
```
  - deletePointer
```
protected void deletePointer(long pointer)
```
  - getPointer
```
public long getPointer()
```
  - getRule
```
public ProofRule getRule()
                  throws CVC5ApiException
```
    Returns:
    
    The proof rule used by the root step of the proof.
    
    Throws:
    
    CVC5ApiException
  - getResult
```
public Term getResult()
```
    Returns:
    
    The conclusion of the root step of the proof.
  - getChildren
```
public Proof[] getChildren()
```
    Returns:
    
    The premises of the root step of the proof.
  - getArguments
```
public Term[] getArguments()
```
    Returns:
    
    The arguments of the root step of the proof as a vector of terms. Some of those terms might be strings.