Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## alice.tuprolog
Class SubGoalElement

    java.lang.Object
      alice.tuprolog.AbstractSubGoalTree
          alice.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()

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD