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