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 AbstractSubGoalTree
public boolean isRoot()
isRoot
in class AbstractSubGoalTree
Copyright © 2015. All rights reserved.