Uses of Package
de.cau.cs.kieler.krep.compiler.ceq

Packages that use de.cau.cs.kieler.krep.compiler.ceq
de.cau.cs.kieler.krep.compiler.ceq Implementation of clocked equations. 
de.cau.cs.kieler.krep.compiler.klp Klp instructions. 
de.cau.cs.kieler.krep.compiler.lustre Implementation of arbitrary Lustre equations. 
de.cau.cs.kieler.krep.compiler.parser   
 

Classes in de.cau.cs.kieler.krep.compiler.ceq used by de.cau.cs.kieler.krep.compiler.ceq
Automaton
          Implement automaton as part of clocked equations.
ConstExpression
          Constant, can either be an integer number or a boolean.
Equation
          A clocked equation, consisting of a name, a initial expression, a runtime expression, and a clock.
Expression
          Abstract superclass for all ceq Expressions.
Program
          CEQ program, eg, a set of CEQ equation and Safe State Machines plus information on inputs and outputs.
Scope
          Scope of a program.
State
          A state in a Safe State Machine, consisting of a name, a flag whether this is an initial state, and outgoing transitions.
Transition
          A transition in an Safe State Machine, consisting of a trigger and a target state.
Variable
          A Variable declaration in CEQ.
Variable.Kind
           
 

Classes in de.cau.cs.kieler.krep.compiler.ceq used by de.cau.cs.kieler.krep.compiler.klp
VarAccessExpression
          A Variable access in ceq.
Variable
          A Variable declaration in CEQ.
Variable.Kind
           
 

Classes in de.cau.cs.kieler.krep.compiler.ceq used by de.cau.cs.kieler.krep.compiler.lustre
Equation
          A clocked equation, consisting of a name, a initial expression, a runtime expression, and a clock.
Program
          CEQ program, eg, a set of CEQ equation and Safe State Machines plus information on inputs and outputs.
 

Classes in de.cau.cs.kieler.krep.compiler.ceq used by de.cau.cs.kieler.krep.compiler.parser
Automaton
          Implement automaton as part of clocked equations.
Equation
          A clocked equation, consisting of a name, a initial expression, a runtime expression, and a clock.
Expression
          Abstract superclass for all ceq Expressions.
ScadeProgram
          Representation of a Scade program, this extends a ceq program by a parser for Scade files.
Scope
          Scope of a program.
Transition
          A transition in an Safe State Machine, consisting of a trigger and a target state.
Variable
          A Variable declaration in CEQ.
Variable.Kind