|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ConstExpression | |
---|---|
de.cau.cs.kieler.krep.compiler.ceq | Implementation of clocked equations. |
Uses of ConstExpression in de.cau.cs.kieler.krep.compiler.ceq |
---|
Methods in de.cau.cs.kieler.krep.compiler.ceq that return ConstExpression | |
---|---|
ConstExpression |
BinOpExpression.propagateConst(HashMap<String,ConstExpression> con)
|
ConstExpression |
ConstExpression.propagateConst(HashMap<String,ConstExpression> con)
|
ConstExpression |
Equation.propagateConst(HashMap<String,ConstExpression> con)
|
abstract ConstExpression |
Expression.propagateConst(HashMap<String,ConstExpression> con)
Propagate constant values, ie, replace all occurrences of a variable by a constant. |
ConstExpression |
IfExpression.propagateConst(HashMap<String,ConstExpression> con)
|
ConstExpression |
NotExpression.propagateConst(HashMap<String,ConstExpression> con)
|
ConstExpression |
VarAccessExpression.propagateConst(HashMap<String,ConstExpression> con)
|
Method parameters in de.cau.cs.kieler.krep.compiler.ceq with type arguments of type ConstExpression | |
---|---|
ConstExpression |
BinOpExpression.propagateConst(HashMap<String,ConstExpression> con)
|
ConstExpression |
ConstExpression.propagateConst(HashMap<String,ConstExpression> con)
|
ConstExpression |
Equation.propagateConst(HashMap<String,ConstExpression> con)
|
abstract ConstExpression |
Expression.propagateConst(HashMap<String,ConstExpression> con)
Propagate constant values, ie, replace all occurrences of a variable by a constant. |
ConstExpression |
IfExpression.propagateConst(HashMap<String,ConstExpression> con)
|
ConstExpression |
NotExpression.propagateConst(HashMap<String,ConstExpression> con)
|
ConstExpression |
VarAccessExpression.propagateConst(HashMap<String,ConstExpression> con)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |