org.jscience.computing.ai.planning
Class PreconditionAtomic

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

public class PreconditionAtomic
extends Precondition

This class represents an iterator over all the possible bindings that can satisfy an atomic logical expression at run time.

Constructor Summary

PreconditionAtomic(Predicate pIn, Term[] unifier)
To initialize this atomic logical expression.

Method Summary

void	bind(Term[] binding) To bind the assignment logical expression to some binding.
protected Term[]	nextBindingHelper() To return the next satisfier for this atomic logical expression.
protected void	resetHelper() To reset this atomic 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

PreconditionAtomic

public PreconditionAtomic(Predicate pIn,
                          Term[] unifier)

To initialize this atomic logical expression.

Parameters:

pIn - the predicate this atomic logical expression represents.

unifier - the current unifier.

Method Detail

bind

public void bind(Term[] binding)

To bind the assignment 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 atomic logical expression.

Specified by:

nextBindingHelper in class Precondition

Returns:

DOCUMENT ME!

resetHelper

protected void resetHelper()

To reset this atomic logical expression.

Specified by:

resetHelper in class Precondition