org.jscience.computing.ai.planning
Class PreconditionCall

java.lang.Object
  org.jscience.computing.ai.planning.Precondition
      org.jscience.computing.ai.planning.PreconditionCall

public class PreconditionCall
extends Precondition

This class represents an iterator over all the possible bindings that can satisfy a call logical expression at run time. Note that in this case there is at most one such binding.

Constructor Summary

PreconditionCall(TermCall termIn, Term[] unifier)
To initialize this call logical expression.

Method Summary

void	bind(Term[] binding) To bind the call logical expression to some binding.
protected Term[]	nextBindingHelper() To return the next satisfier for this call logical expression.
protected void	resetHelper() To reset this call logical expression.

Methods inherited from class org.jscience.computing.ai.planning.Precondition

nextBinding, reset, setComparator, setFirst

Methods inherited from class java.lang.Object

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

Constructor Detail

PreconditionCall

public PreconditionCall(TermCall termIn,
                        Term[] unifier)

To initialize this call logical expression.

Parameters:

termIn - the term this call logical expression represents.

unifier - the current unifier.

Method Detail

bind

public void bind(Term[] binding)

To bind the call logical expression to some binding.

Specified by:

bind in class Precondition

Parameters:

binding - DOCUMENT ME!

nextBindingHelper

protected Term[] nextBindingHelper()

To return the next satisfier for this call logical expression.

Specified by:

nextBindingHelper in class Precondition

Returns:

DOCUMENT ME!

resetHelper

protected void resetHelper()

To reset this call logical expression.

Specified by:

resetHelper in class Precondition