public class TraceNode
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
_AbstractRule |
getAppliedRule() |
java.util.LinkedList<TraceNode> |
getChildren() |
int |
getMaxNumberOfSuccessors() |
TraceNode |
getNodeDeterminingPremise() |
int |
getNodeDeterminingPremiseTreatedConclusion() |
TraceNode |
getParent() |
_AbstractGoal |
getPremise() |
RuleType |
getRuleType() |
ProofSearchResult |
getStatus() |
int |
hashCode() |
void |
setRuleType(RuleType ruleType) |
java.lang.String |
toString() |
public _AbstractGoal getPremise()
public int getNodeDeterminingPremiseTreatedConclusion()
public TraceNode getNodeDeterminingPremise()
public _AbstractRule getAppliedRule()
public int getMaxNumberOfSuccessors()
public TraceNode getParent()
public RuleType getRuleType()
public void setRuleType(RuleType ruleType)
public ProofSearchResult getStatus()
public java.util.LinkedList<TraceNode> getChildren()
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object