|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.Precondition
JSHOP2.PreconditionNil
public class PreconditionNil
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.
Field Summary | |
---|---|
private Term[] |
retVal
The array this object will return as its next binding. |
Fields inherited from class JSHOP2.Precondition |
---|
bindings, bindingsIdx |
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 JSHOP2.Precondition |
---|
nextBinding, reset, setComparator, setFirst |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private Term[] retVal
Constructor Detail |
---|
public PreconditionNil(int vars)
vars
- the number of variables the current logical expression has. This
is used to return a binding of appropriate size.Method Detail |
---|
public void bind(Term[] binding)
bind
in class Precondition
binding
- the given binding.protected Term[] nextBindingHelper()
nextBindingHelper
in class Precondition
protected void resetHelper()
resetHelper
in class Precondition
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |