Package | Description |
---|---|
jtabwb.engine |
Main classes implementing the engine; it specifies the interfaces with the
user defined prover.
|
jtabwb.tracesupport |
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
|
Modifier and Type | Method and Description |
---|---|
TraceNode |
TraceNode.getNodeDeterminingPremise() |
TraceNode |
TraceNode.getParent() |
TraceNode |
Trace.getProofSearchTree()
Returns the root of the proof-search tree.
|
Modifier and Type | Method and Description |
---|---|
java.util.LinkedList<TraceNode> |
TraceNode.getChildren() |
java.util.Iterator<TraceNode> |
Trace.iterator()
Returns the iterator containing the nodes of the proof-search tree as
visited by a depth-first order traversal.
|
Modifier and Type | Method and Description |
---|---|
void |
ChildrenWithCtreeNodes.put(TraceNode tnode,
jtabwb.tracesupport.SequenceOfCtreeNodes ctrees) |
Constructor and Description |
---|
ChildrenWithCtreeNodes(java.util.LinkedList<TraceNode> children) |