|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement | +--ConForM.CoopnTools.CoKer.ScenarioMgr.State
Generic states in the CO-OPN semantics.
Constructor Summary | |
State()
|
Method Summary | |
abstract java.lang.String |
compactString()
Return a compact identifier for the state, perhaps based on hashCode. |
Methods inherited from class ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement |
clone, cloneScenarioElement, equals, hashCode, interpret, toCompleteString, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public State()
Method Detail |
public abstract java.lang.String compactString()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |