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

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()