public class SubGoalTree extends AbstractSubGoalTree
| Constructor and Description | 
|---|
SubGoalTree()  | 
public void addChild(Term term)
public SubGoalTree addChild()
public AbstractSubGoalTree getChild(int i)
public Iterator iterator()
public int size()
public boolean isLeaf()
isLeaf in class AbstractSubGoalTreepublic boolean isRoot()
isRoot in class AbstractSubGoalTreeCopyright © 2015. All rights reserved.