public class SubGoalTree extends AbstractSubGoalTree implements java.lang.Iterable<AbstractSubGoalTree>
Constructor and Description |
---|
SubGoalTree() |
SubGoalTree(java.util.ArrayList<AbstractSubGoalTree> terms) |
Modifier and Type | Method and Description |
---|---|
SubGoalTree |
addChild() |
void |
addChild(Term term) |
SubGoalTree |
copy() |
AbstractSubGoalTree |
getChild(int i) |
boolean |
isLeaf() |
boolean |
isRoot() |
java.util.Iterator<AbstractSubGoalTree> |
iterator() |
boolean |
removeChild(int i) |
int |
size() |
java.lang.String |
toString() |
public SubGoalTree()
public SubGoalTree(java.util.ArrayList<AbstractSubGoalTree> terms)
public void addChild(Term term)
public SubGoalTree addChild()
public AbstractSubGoalTree getChild(int i)
public java.util.Iterator<AbstractSubGoalTree> iterator()
iterator
in interface java.lang.Iterable<AbstractSubGoalTree>
public int size()
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
public boolean removeChild(int i)
public SubGoalTree copy()