|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.DomainElement
JSHOP2.Axiom
public abstract class Axiom
Each axiom at run time is represented as a class derived from this abstract class.
Field Summary | |
---|---|
private int |
branchSize
Number of branches of this axiom. |
Constructor Summary | |
---|---|
Axiom(Predicate head,
int branchSizeIn)
To initialize the axiom. |
Method Summary | |
---|---|
int |
getBranchSize()
To get the number of branches in this axiom. |
abstract java.lang.String |
getLabel(int which)
To get the label of a given branch of this axiom. |
Methods inherited from class JSHOP2.DomainElement |
---|
getHead, getIterator, unify |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private int branchSize
Constructor Detail |
---|
public Axiom(Predicate head, int branchSizeIn)
head
- head of the axiom.branchSizeIn
- number of branches in the axiom.Method Detail |
---|
public int getBranchSize()
public abstract java.lang.String getLabel(int which)
which
- the branch the label of which is to be returned.
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |