org.jscience.computing.ai.planning
Class PreconditionForAll

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

public class PreconditionForAll
extends Precondition

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

Constructor Summary

PreconditionForAll(Precondition premiseIn, Precondition consequenceIn, int vars)
To initialize this ForAll logical expression.

Method Summary

void	bind(Term[] binding) To bind the ForAll logical expression to some binding.
protected Term[]	nextBindingHelper() To return the next satisfier for this ForAll logical expression, which is either null or an empty binding.
protected void	resetHelper() To reset this ForAll 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

PreconditionForAll

public PreconditionForAll(Precondition premiseIn,
                          Precondition consequenceIn,
                          int vars)

To initialize this ForAll logical expression.

Parameters:

premiseIn - the premise of the ForAll logical expression this object represents.

consequenceIn - the consequence of the ForAll logical expression this object represents.

vars - the number of variables this logical expression has. This is used to return a binding of the appropriate size.

Method Detail

bind

public void bind(Term[] binding)

To bind the ForAll 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 ForAll logical expression, which is either null or an empty binding.

Specified by:

nextBindingHelper in class Precondition

Returns:

DOCUMENT ME!

resetHelper

protected void resetHelper()

To reset this ForAll logical expression.

Specified by:

resetHelper in class Precondition