|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.CompileTimeObject
JSHOP2.InternalElement
public abstract class InternalElement
Each domain element (i.e., method, operator, or axiom) at compile time is represented as an instance of a class derived from this abstract class.
Field Summary | |
---|---|
private int |
cnt
The number of objects already instantiated from this class before this object was instantiated. |
private Predicate |
head
Every element has a head, which is a predicate. |
Fields inherited from class JSHOP2.CompileTimeObject |
---|
endl |
Constructor Summary | |
---|---|
InternalElement(Predicate headIn,
int cntIn)
To initialize this internal domain element. |
Method Summary | |
---|---|
int |
getCnt()
To get the number of objects already instantiated from this class before this object was instantiated. |
Predicate |
getHead()
To get the head of this internal domain element. |
Methods inherited from class JSHOP2.CompileTimeObject |
---|
toCode |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private int cnt
private Predicate head
Constructor Detail |
---|
public InternalElement(Predicate headIn, int cntIn)
headIn
- head of this element.cntIn
- index of this element in the domain description.Method Detail |
---|
public int getCnt()
public Predicate getHead()
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |