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

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)