org.jscience.computing.ai.planning
Class PreconditionNil

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

public class PreconditionNil
extends Precondition

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


Constructor Summary
PreconditionNil(int vars)
          To initialize this empty logical expression.
 
Method Summary
 void bind(Term[] binding)
          Since this is an empty logical expression, this function does nothing.
protected  Term[] nextBindingHelper()
          To return the next satisfier for this empty logical expression.
protected  void resetHelper()
          To reset this empty 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

PreconditionNil

public PreconditionNil(int vars)
To initialize this empty logical expression.

Parameters:
vars - the number of variables the current logical expression has. This is used to return a binding of appropriate size.
Method Detail

bind

public void bind(Term[] binding)
Since this is an empty logical expression, this function does nothing.

Specified by:
bind in class Precondition
Parameters:
binding - DOCUMENT ME!

nextBindingHelper

protected Term[] nextBindingHelper()
To return the next satisfier for this empty logical expression.

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

resetHelper

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

Specified by:
resetHelper in class Precondition