|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.CompileTimeObject
JSHOP2.InternalElement
JSHOP2.InternalAxiom
public class InternalAxiom
Each axiom at compile time is represented as an instance of this class.
Field Summary | |
---|---|
private java.util.Vector<LogicalPrecondition> |
branches
A Vector of logical expressions each of which represents a
branch of the axiom. |
private static int |
classCnt
The number of objects already instantiated from this class. |
private java.util.Vector<java.lang.String> |
labels
A Vector of String s each of which represents
the label of a branch of this axiom. |
Fields inherited from class JSHOP2.CompileTimeObject |
---|
endl |
Constructor Summary | |
---|---|
InternalAxiom(Predicate head,
java.util.Vector<LogicalPrecondition> branchesIn,
java.util.Vector<java.lang.String> labelsIn)
To initialize an InternalAxiom object. |
Method Summary | |
---|---|
java.lang.String |
toCode()
This function produces the Java code needed to implement this axiom. |
Methods inherited from class JSHOP2.InternalElement |
---|
getCnt, getHead |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private java.util.Vector<LogicalPrecondition> branches
Vector
of logical expressions each of which represents a
branch of the axiom. Note that we use a Vector
rather than
an array because at compile time we do not know how many branches a
particular axiom will have.
private static int classCnt
private java.util.Vector<java.lang.String> labels
Vector
of String
s each of which represents
the label of a branch of this axiom.
Constructor Detail |
---|
public InternalAxiom(Predicate head, java.util.Vector<LogicalPrecondition> branchesIn, java.util.Vector<java.lang.String> labelsIn)
InternalAxiom
object.
head
- head of the axiom.branchesIn
- a Vector
of logical expressions each of which
represents a branch of the axiom.labelsIn
- a Vector
of String
labels.Method Detail |
---|
public java.lang.String toCode()
toCode
in class CompileTimeObject
String
.
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |