alice.tuprolog
Class SubGoalTree

java.lang.Object
  extended byalice.tuprolog.AbstractSubGoalTree
      extended byalice.tuprolog.SubGoalTree

public class SubGoalTree
extends AbstractSubGoalTree


Constructor Summary
SubGoalTree()
           
 
Method Summary
 SubGoalTree addChild()
           
 void addChild(Term term)
           
 AbstractSubGoalTree getChild(int i)
           
 boolean isLeaf()
           
 boolean isRoot()
           
 java.util.Iterator iterator()
           
 int size()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SubGoalTree

public SubGoalTree()
Method Detail

addChild

public void addChild(Term term)

addChild

public SubGoalTree addChild()

getChild

public AbstractSubGoalTree getChild(int i)

iterator

public java.util.Iterator iterator()

size

public int size()

isLeaf

public boolean isLeaf()
Specified by:
isLeaf in class AbstractSubGoalTree

isRoot

public boolean isRoot()
Specified by:
isRoot in class AbstractSubGoalTree

toString

public java.lang.String toString()