|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Equation | |
---|---|
de.cau.cs.kieler.krep.compiler.ceq | Implementation of clocked equations. |
de.cau.cs.kieler.krep.compiler.lustre | Implementation of arbitrary Lustre equations. |
de.cau.cs.kieler.krep.compiler.parser |
Uses of Equation in de.cau.cs.kieler.krep.compiler.ceq |
---|
Methods in de.cau.cs.kieler.krep.compiler.ceq that return types with arguments of type Equation | |
---|---|
LinkedList<Equation> |
Equation.flatten(HashMap<String,Variable> vars)
Replace complex expressions in the init expression and introduce auxiliary equations if necessary. |
protected LinkedList<Equation> |
Program.getEqs()
|
Methods in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Equation | |
---|---|
void |
ScadeProgram.add(Equation eq)
|
void |
Scope.add(Equation eq)
|
void |
State.add(Equation eq)
|
void |
Program.addEq(Equation eq)
|
boolean |
Equation.replace(Equation eq)
|
Method parameters in de.cau.cs.kieler.krep.compiler.ceq with type arguments of type Equation | |
---|---|
void |
ScadeProgram.addEq(LinkedList<Equation> eq)
|
void |
Scope.addEq(LinkedList<Equation> eq)
|
void |
State.addEq(LinkedList<Equation> eq)
|
protected void |
Program.setEqs(LinkedList<Equation> equations)
|
Uses of Equation in de.cau.cs.kieler.krep.compiler.lustre |
---|
Methods in de.cau.cs.kieler.krep.compiler.lustre that return Equation | |
---|---|
Equation |
BinOpExpression.declock(String basename,
int stage,
String clock,
LinkedList<Equation> aux,
Program prog)
|
Equation |
CurrentExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
abstract Equation |
Expression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
remove all clock operators inside. |
Equation |
IfExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
InitExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
NotExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
NumberExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
PreExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
VarAccessExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
WhenExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Method parameters in de.cau.cs.kieler.krep.compiler.lustre with type arguments of type Equation | |
---|---|
Equation |
BinOpExpression.declock(String basename,
int stage,
String clock,
LinkedList<Equation> aux,
Program prog)
|
Equation |
CurrentExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
abstract Equation |
Expression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
remove all clock operators inside. |
Equation |
IfExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
InitExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
NotExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
NumberExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
PreExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
VarAccessExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Equation |
WhenExpression.declock(String basename,
int stage,
String c,
LinkedList<Equation> aux,
Program prog)
|
Uses of Equation in de.cau.cs.kieler.krep.compiler.parser |
---|
Methods in de.cau.cs.kieler.krep.compiler.parser that return Equation | |
---|---|
Equation |
scadeParser.simple_equation()
|
Methods in de.cau.cs.kieler.krep.compiler.parser that return types with arguments of type Equation | |
---|---|
LinkedList<Equation> |
scadeParser.emission()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |