public class SubGoalElement extends AbstractSubGoalTree
Constructor and Description |
---|
SubGoalElement(Term t) |
Modifier and Type | Method and Description |
---|---|
Term |
getValue() |
boolean |
isLeaf() |
boolean |
isRoot() |
java.lang.String |
toString() |
public SubGoalElement(Term t)
public Term getValue()
public boolean isLeaf()
isLeaf
in class AbstractSubGoalTree
public boolean isRoot()
isRoot
in class AbstractSubGoalTree
public java.lang.String toString()
toString
in class java.lang.Object