alice.tuprolog
Class SubGoalElement

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

public class SubGoalElement
extends AbstractSubGoalTree


Constructor Summary
SubGoalElement(Term t)
           
 
Method Summary
 Term getValue()
           
 boolean isLeaf()
           
 boolean isRoot()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SubGoalElement

public SubGoalElement(Term t)
Method Detail

getValue

public Term getValue()

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()