alice.tuprolog

Class SubGoalElement

java.lang.Object

alice.tuprolog.AbstractSubGoalTree

alice.tuprolog.SubGoalElement

public class SubGoalElement
extends AbstractSubGoalTree

Constructor Summary

Constructors

Constructor and Description
SubGoalElement(Term t)

Method Summary

Methods

Modifier and Type	Method and Description
Term	getValue()
boolean	isLeaf()
boolean	isRoot()
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 String toString()

Overrides:

toString in class Object