|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Transition | |
---|---|
de.cau.cs.kieler.krep.compiler.ceq | Implementation of clocked equations. |
de.cau.cs.kieler.krep.compiler.parser |
Uses of Transition in de.cau.cs.kieler.krep.compiler.ceq |
---|
Methods in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Transition | |
---|---|
void |
State.addSAbort(Transition t)
Add outgoing strong abort. |
void |
State.addWAbort(Transition t)
Add outgoing weak abort. |
Uses of Transition in de.cau.cs.kieler.krep.compiler.parser |
---|
Methods in de.cau.cs.kieler.krep.compiler.parser that return Transition | |
---|---|
Transition |
scadeParser.transition(Scope scope)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |