ConForM.CoopnTools.CoKer.ScenarioMgr
Class State

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement
        |
        +--ConForM.CoopnTools.CoKer.ScenarioMgr.State
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
Direct Known Subclasses:
StateVariable, TrueState

public abstract class State
extends ScenarioElement

Generic states in the CO-OPN semantics.

See Also:
Serialized Form

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

State

public State()
Method Detail

compactString

public abstract java.lang.String compactString()
Return a compact identifier for the state, perhaps based on hashCode.