|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.Precondition
JSHOP2.PreconditionAssign
public class PreconditionAssign
This class represents an iterator over all the possible bindings that can satisfy an assignment logical expression at run time. Note that in this there is only one such binding.
Field Summary | |
---|---|
private Term |
boundT
The term this assignment logical expression represents, after all the bindings are applied. |
private Term[] |
retVal
The array this object will return as its next binding. |
private Term |
term
The term this assignment logical expression represents, without any subsequent bindings applied to it. |
private int |
whichVar
The index of the variable to be given a value under this assignment logical expression. |
Fields inherited from class JSHOP2.Precondition |
---|
bindings, bindingsIdx |
Constructor Summary | |
---|---|
PreconditionAssign(Term termIn,
Term[] unifier,
int whichVarIn)
To initialize this assigment 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 assignment logical expression. |
protected void |
resetHelper()
To reset this assignment 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 boundT
private Term[] retVal
private Term term
private int whichVar
Constructor Detail |
---|
public PreconditionAssign(Term termIn, Term[] unifier, int whichVarIn)
termIn
- the term this assigment logical expression represents.unifier
- the current unifier.whichVarIn
- the index of the variable to be given a value under this
assignment logical expression.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 |