AbstractProofDAG.AbstractProofNode (JavaSMT Solver Library)

java.lang.Object
- org.sosy_lab.java_smt.basicimpl.AbstractProofDAG.AbstractProofNode

All Implemented Interfaces:

ProofNode

Direct Known Subclasses:

ResolutionProofDAG.AxiomProofNode, ResolutionProofDAG.ResolutionProofNode

Enclosing class:

AbstractProofDAG
```
public abstract static class AbstractProofDAG.AbstractProofNode
extends Object
implements ProofNode
```

Field Summary

Fields
Modifier and Type Field Description

protected @Nullable Formula formula

Constructor Summary

Constructors
Modifier Constructor Description

protected AbstractProofNode(ProofRule rule, Formula formula)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addChild(ProofNode child)`
`List<ProofNode>`	`getChildren()`	Get the children of the proof node.
`Formula`	`getFormula()`	Get the formula of the proof node.
`int`	`getId()`	Get the id of the proof node.
`ProofRule`	`getRule()`
`boolean`	`isLeaf()`
`void`	`setFormula(Formula pFormula)`

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

- Field Detail
  - formula
```
protected @Nullable Formula formula
```
- Constructor Detail
  - AbstractProofNode
```
protected AbstractProofNode(ProofRule rule,
                            Formula formula)
```
- Method Detail
  - getFormula
```
public Formula getFormula()
```
    Description copied from interface: ProofNode
    
    Get the formula of the proof node.
    
    Specified by:
    
    getFormula in interface ProofNode
    
    Returns:
    
    The formula of the proof node.
  - getChildren
```
public List<ProofNode> getChildren()
```
    Description copied from interface: ProofNode
    
    Get the children of the proof node.
    
    Specified by:
    
    getChildren in interface ProofNode
  - addChild
```
public void addChild(ProofNode child)
```
    Specified by:
    
    addChild in interface ProofNode
  - getRule
```
public ProofRule getRule()
```
    Specified by:
    
    getRule in interface ProofNode
  - isLeaf
```
public boolean isLeaf()
```
    Specified by:
    
    isLeaf in interface ProofNode
  - getId
```
public int getId()
```
    Description copied from interface: ProofNode
    
    Get the id of the proof node.
    
    Specified by:
    
    getId in interface ProofNode
    
    Returns:
    
    The id of the proof node.
  - setFormula
```
public void setFormula(Formula pFormula)
```