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.