|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ScenarioMgr.Step
Step in the CO-OPN semantics,i.e. a transition and a substitution
Constructor Summary | |
Step(Transition transition,
CoopnSubstitution sigma)
Build a new step, as a transition and a particular substitution. |
Method Summary | |
java.lang.Object |
clone()
|
boolean |
equals(java.lang.Object obj)
Equality method. |
int |
hashCode()
Hashcode method. |
Step |
interpret()
Interpretation of this element according to this substitution. |
Step |
interpret(CoopnSubstitution sigma)
Interpretation of this element according to a substitution. |
CoopnSubstitution |
sigma()
Get the substitution. |
Transition |
transition()
Get the label of the transition. |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Step(Transition transition, CoopnSubstitution sigma)
transition
- the transition; cannot be nullsigma
- the substitution; cannot be nullMethod Detail |
public Transition transition()
public CoopnSubstitution sigma()
public Step interpret()
public Step interpret(CoopnSubstitution sigma)
sigma
- the substitution; cannot be nullpublic boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
obj
- the object to comparepublic int hashCode()
hashCode
in class java.lang.Object
public java.lang.Object clone()
clone
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |