|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.DomainElement
public abstract class DomainElement
This abstract class implements the basic common functionality of the all possible elements (i.e., methods, operators, and axioms) of a domain at run time.
Field Summary | |
---|---|
private Predicate |
head
Every element has a head, which is a predicate. |
Constructor Summary | |
---|---|
DomainElement(Predicate headIn)
To initialize the domain element. |
Method Summary | |
---|---|
Predicate |
getHead()
This function returns the head of this domain element. |
abstract Precondition |
getIterator(Term[] binding,
int which)
This abstract function returns a handle that can be used to calculate, one by one, the bindings that satisfy the precondition of this domain element in a given state of the world with respect to a given binding. |
Term[] |
unify(Predicate p)
This function returns the substitution that unifies the head of this element with a given predicate. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private Predicate head
Constructor Detail |
---|
public DomainElement(Predicate headIn)
headIn
- head of the domain element.Method Detail |
---|
public Predicate getHead()
public abstract Precondition getIterator(Term[] binding, int which)
binding
- current binding.which
- which precondition to use (ignored if this element is an
operator, since operators have only one precondition).
public Term[] unify(Predicate p)
p
- input predicate
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |