|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |