Uses of Class
de.cau.cs.kieler.krep.compiler.ceq.Transition

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)