org.jscience.computing.ai.planning
Class PreconditionNil

java.lang.Object
  org.jscience.computing.ai.planning.Precondition
      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