public class CTreeNode
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
void |
addSuccessor(CTreeNode successor) |
_AbstractRule |
getAppliedRule() |
_AbstractGoal |
getNodeSet() |
ProofSearchResult |
getStatus() |
java.util.LinkedList<CTreeNode> |
getSuccessors() |
int |
getTreatedConclusion() |
java.lang.String |
toString() |
public int getTreatedConclusion()
public void addSuccessor(CTreeNode successor)
public java.util.LinkedList<CTreeNode> getSuccessors()
public _AbstractRule getAppliedRule()
public _AbstractGoal getNodeSet()
public ProofSearchResult getStatus()
public java.lang.String toString()
toString
in class java.lang.Object