com.svincent.moksa
Class Wam.ChoicePoint

java.lang.Object
  |
  +--com.svincent.moksa.WamObject
        |
        +--com.svincent.moksa.Wam.ChoicePoint

Enclosing class:

Wam

public static class Wam.ChoicePoint

extends WamObject

Represents a choice point.

Constructor Summary

Wam.ChoicePoint(Wam _wam, Rule _rule, int _arity, Rule next)
Make a new choice point.

Method Summary

Rule	getNextAlternative() Get this choice point's next alternative.
long	getTimestamp()
int	getTrailPointer()
void	restoreRegisters() Restore the WAM registers that are saved in this ChoicePoint.
void	setNextAlternative(Rule next) Set this choice point's next alternative.
void	tag(java.io.PrintWriter out) Writes a short human-readable representation of this object to the given Writer.

Methods inherited from class com.svincent.moksa.WamObject

tag

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Wam.ChoicePoint

public Wam.ChoicePoint(Wam _wam,
                       Rule _rule,
                       int _arity,
                       Rule next)

Make a new choice point.

Method Detail

getTrailPointer

public int getTrailPointer()

getTimestamp

public long getTimestamp()

restoreRegisters

public void restoreRegisters()

Restore the WAM registers that are saved in this ChoicePoint.

setNextAlternative

public void setNextAlternative(Rule next)

Set this choice point's next alternative.

getNextAlternative

public Rule getNextAlternative()

Get this choice point's next alternative.

tag

public void tag(java.io.PrintWriter out)

Description copied from class: WamObject

Writes a short human-readable representation of this object to the given Writer.

Overrides:

tag in class WamObject