JSHOP2
Class PreconditionAtomic

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

public class PreconditionAtomic
extends Precondition

This class represents an iterator over all the possible bindings that can satisfy an atomic logical expression at run time.

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

Field Summary
private  Predicate boundP
          The predicate this atomic logical expression represents, after all the bindings are applied.
private  MyIterator e
          The iterator this object will use to iterate over the atoms and/or axioms that can possibly unify with the predicate this object represents.
private  Predicate p
          The predicate this atomic logical expression represents, without any subsequent bindings applied to it.
 
Fields inherited from class JSHOP2.Precondition
bindings, bindingsIdx
 
Constructor Summary
PreconditionAtomic(Predicate pIn, Term[] unifier)
          To initialize this atomic 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 atomic logical expression.
protected  void resetHelper()
          To reset this atomic 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

boundP

private Predicate boundP
The predicate this atomic logical expression represents, after all the bindings are applied.


e

private MyIterator e
The iterator this object will use to iterate over the atoms and/or axioms that can possibly unify with the predicate this object represents.


p

private Predicate p
The predicate this atomic logical expression represents, without any subsequent bindings applied to it.

Constructor Detail

PreconditionAtomic

public PreconditionAtomic(Predicate pIn,
                          Term[] unifier)
To initialize this atomic logical expression.

Parameters:
pIn - the predicate this atomic logical expression represents.
unifier - the current unifier.
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 atomic logical expression.

Specified by:
nextBindingHelper in class Precondition

resetHelper

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

Specified by:
resetHelper in class Precondition