AbstractProofDAG (JavaSMT Solver Library)

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

All Implemented Interfaces:

ProofDAG

Direct Known Subclasses:

ResolutionProofDAG
```
public abstract class AbstractProofDAG
extends Object
implements ProofDAG
```
A proof DAG in the proof DAG of a proof.

Author:

Gabriel Carpio

Nested Class Summary

Nested Classes
Modifier and Type Class Description

static class AbstractProofDAG.AbstractProofNode

Constructor Summary

Constructors
Constructor Description

AbstractProofDAG()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`accept(ProofVisitor visitor)`
`void`	`addEdge(int parentNodeId, int childNodeId)`	Add an edge to the DAG.
`void`	`addNode(ProofNode node)`	Add a node to the DAG.
`ProofNode`	`getNode(int nodeId)`	Get a node from the DAG.
`Collection<ProofNode>`	`getNodes()`	Get all nodes in the DAG.

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

- Constructor Detail
  - AbstractProofDAG
```
public AbstractProofDAG()
```
- Method Detail
  - addNode
```
public void addNode(ProofNode node)
```
    Description copied from interface: ProofDAG
    
    Add a node to the DAG.
    
    Specified by:
    
    addNode in interface ProofDAG
    
    Parameters:
    
    node - The node to be added to the DAG.
  - getNode
```
public ProofNode getNode(int nodeId)
```
    Description copied from interface: ProofDAG
    
    Get a node from the DAG.
    
    Specified by:
    
    getNode in interface ProofDAG
    
    Parameters:
    
    nodeId - The ID of the node.
    
    Returns:
    
    A ProofNode based on its ID.
  - addEdge
```
public void addEdge(int parentNodeId,
                    int childNodeId)
```
    Description copied from interface: ProofDAG
    
    Add an edge to the DAG.
    
    Specified by:
    
    addEdge in interface ProofDAG
    
    Parameters:
    
    parentNodeId - Predecessor
    
    childNodeId - Successor
  - getNodes
```
public Collection<ProofNode> getNodes()
```
    Description copied from interface: ProofDAG
    
    Get all nodes in the DAG.
    
    Specified by:
    
    getNodes in interface ProofDAG
  - accept
```
public void accept(ProofVisitor visitor)
```
    Specified by:
    
    accept in interface ProofDAG