|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectJSHOP2.DomainElement
JSHOP2.Method
public abstract class Method
Each method at run time is represented as a class derived from this abstract class.
Field Summary | |
---|---|
private TaskList[] |
subs
An array of task lists to any of which this method can decompse its associated task given that the corresponding precondition is satisfied. |
Constructor Summary | |
---|---|
Method(Predicate head)
To initialize the method. |
Method Summary | |
---|---|
abstract java.lang.String |
getLabel(int which)
To get the label of a given branch of this method. |
TaskList[] |
getSubs()
To get the possible decompositions of this method. |
void |
setSubs(TaskList[] subsIn)
To set the possible decompositions of this method. |
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 TaskList[] subs
Constructor Detail |
---|
public Method(Predicate head)
head
- head of the method.Method Detail |
---|
public abstract java.lang.String getLabel(int which)
which
- the branch the label of which is to be returned.
public TaskList[] getSubs()
public void setSubs(TaskList[] subsIn)
subsIn
- an array of possible decompositions.
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |