org.jscience.computing.ai.planning
Class PreconditionNegation

java.lang.Object
  extended by org.jscience.computing.ai.planning.Precondition
      extended by org.jscience.computing.ai.planning.PreconditionNegation

public class PreconditionNegation
extends Precondition

This class represents an iterator over all the possible bindings that can satisfy a negation 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
PreconditionNegation(Precondition pIn, int vars)
          To initialize this negation logical expression.
 
Method Summary
 void bind(Term[] binding)
          To bind the negation logical expression to some binding.
protected  Term[] nextBindingHelper()
          To return the next satisfier for this negation logical expression.
protected  void resetHelper()
          To reset this negation 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

PreconditionNegation

public PreconditionNegation(Precondition pIn,
                            int vars)
To initialize this negation logical expression.

Parameters:
pIn - the logical expression the negation of which 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 negation 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 negation logical expression.

Specified by:
nextBindingHelper in class Precondition
Returns:
DOCUMENT ME!

resetHelper

protected void resetHelper()
To reset this negation logical expression.

Specified by:
resetHelper in class Precondition