JSHOP2
Class PreconditionAssign

java.lang.Object
  extended by JSHOP2.Precondition
      extended by JSHOP2.PreconditionAssign

public class PreconditionAssign
extends Precondition

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.

Version:
1.0.3
Author:
Okhtay Ilghami, http://www.cs.umd.edu/~okhtay

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

boundT

private Term boundT
The term this assignment logical expression represents, after all the bindings are applied.


retVal

private Term[] retVal
The array this object will return as its next binding.


term

private Term term
The term this assignment logical expression represents, without any subsequent bindings applied to it.


whichVar

private int whichVar
The index of the variable to be given a value under this assignment logical expression.

Constructor Detail

PreconditionAssign

public PreconditionAssign(Term termIn,
                          Term[] unifier,
                          int whichVarIn)
To initialize this assigment logical expression.

Parameters:
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

bind

public void bind(Term[] binding)
To bind the assignment logical expression to some binding.

Specified by:
bind in class Precondition
Parameters:
binding - the given binding.

nextBindingHelper

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

Specified by:
nextBindingHelper in class Precondition

resetHelper

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

Specified by:
resetHelper in class Precondition