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

Packages that use Variable
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.parser   
 

Uses of Variable in de.cau.cs.kieler.krep.compiler.ceq
 

Methods in de.cau.cs.kieler.krep.compiler.ceq that return Variable
 Variable Program.getTemp(String prefix, Type type)
           
 Variable Expression.getVar(String n)
          Generate new variable.
 Variable Program.getVar(String n)
          Generate new variable.
 Variable Expression.getVar(String n, Variable.Kind k, Type t)
          Generate new, unique variable.
 Variable Program.getVar(String n, Variable.Kind kind, Type type)
          Generate new, unique variable.
 

Methods in de.cau.cs.kieler.krep.compiler.ceq that return types with arguments of type Variable
 List<Variable> BinOpExpression.getDeps()
           
 List<Variable> ConstExpression.getDeps()
           
 List<Variable> Equation.getDeps()
          compute List of all variables, on which current value the expression depends.
abstract  List<Variable> Expression.getDeps()
          compute List of all variables, on which current value the expression depends.
 List<Variable> IfExpression.getDeps()
           
 List<Variable> NotExpression.getDeps()
           
 List<Variable> VarAccessExpression.getDeps()
           
 LinkedList<Variable> Automaton.getInputs()
          Get all inputs for the automaton.
 LinkedList<Variable> Program.getInputs()
           
 LinkedList<Variable> State.getInputs()
           
protected  LinkedList<Variable> Program.getLocals()
           
 LinkedList<Variable> Automaton.getOutputs()
          Get all output signals for the automaton.
 LinkedList<Variable> Program.getOutputs()
           
 LinkedList<Variable> State.getOutputs()
           
protected  HashMap<String,Variable> Program.getVars()
           
 

Methods in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Variable
 void Program.addInput(Variable v)
           
 void Program.addLocal(Variable v)
           
 void Program.addOutput(Variable v)
           
 void Program.addVar(String n, Variable variable)
          Add additional variable to the program.
 void Program.addVar(Variable v)
           
 void ScadeProgram.addVar(Variable v)
           
 LinkedList<AbstractInstruction> BinOpExpression.toKlp(Variable r)
           
 LinkedList<AbstractInstruction> ConstExpression.toKlp(Variable r)
           
abstract  LinkedList<AbstractInstruction> Expression.toKlp(Variable to)
          compute instructions to execute this expression on the KLP.
 LinkedList<AbstractInstruction> IfExpression.toKlp(Variable r)
           
 LinkedList<AbstractInstruction> NotExpression.toKlp(Variable r)
           
 LinkedList<AbstractInstruction> VarAccessExpression.toKlp(Variable to)
           
 

Method parameters in de.cau.cs.kieler.krep.compiler.ceq with type arguments of type Variable
 void ScadeProgram.add(LinkedList<Variable> vars)
          
 void Scope.add(LinkedList<Variable> vars)
           
 void State.add(LinkedList<Variable> vars)
          
 LinkedList<Equation> Equation.flatten(HashMap<String,Variable> vars)
          Replace complex expressions in the init expression and introduce auxiliary equations if necessary.
 Expression BinOpExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 Expression ConstExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
abstract  Expression Expression.flatten(String n, HashMap<String,Variable> vars, LinkedList<Expression> es)
          extract sub-expressions from operations.
 Expression IfExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 Expression NotExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 Expression VarAccessExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 void Automaton.replace(HashMap<String,Variable> equiv)
          Replace a Variable by another, equivalent variable.
 void Program.replace(HashMap<String,Variable> equiv)
           
 void State.replace(HashMap<String,Variable> equiv)
           
 void Transition.replace(HashMap<String,Variable> equiv)
           
 void BinOpExpression.replaceVar(HashMap<String,Variable> equiv)
           
 void ConstExpression.replaceVar(HashMap<String,Variable> equiv)
           
 void Equation.replaceVar(HashMap<String,Variable> equiv)
           
abstract  void Expression.replaceVar(HashMap<String,Variable> equiv)
          Replace a variable by another one.
 void IfExpression.replaceVar(HashMap<String,Variable> equiv)
           
 void NotExpression.replaceVar(HashMap<String,Variable> equiv)
           
 void VarAccessExpression.replaceVar(HashMap<String,Variable> equiv)
           
protected  void Program.setInputs(LinkedList<Variable> i)
           
protected  void Program.setLocals(LinkedList<Variable> loc)
           
protected  void Program.setOutputs(LinkedList<Variable> outs)
           
protected  void Program.setVars(HashMap<String,Variable> v)
           
 LinkedList<AbstractInstruction> Equation.toKlp(boolean useClocks, String scope, HashMap<String,Variable> vars)
          generate KLP code to compute this equation.
 

Constructors in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Variable
VarAccessExpression(Variable v, boolean previous, Program p)
          generate new Variable access.
 

Uses of Variable in de.cau.cs.kieler.krep.compiler.klp
 

Constructors in de.cau.cs.kieler.krep.compiler.klp with parameters of type Variable
BinOpInstruction(Variable toVar, RegAccess read1, RegAccess read2, Operator operator)
           
IBinOpInstruction(Variable toVar, RegAccess read, int c, Operator operator)
           
IMovInstruction(Variable toVar, boolean val)
          move boolean value to register.
IMovInstruction(Variable toVar, int val)
          move integer value to register.
MovInstruction(Variable toReg, RegAccess fromReg)
           
RegAccess(Variable v, boolean isPre)
           
 

Uses of Variable in de.cau.cs.kieler.krep.compiler.parser
 

Methods in de.cau.cs.kieler.krep.compiler.parser that return Variable
 Variable scadeParser.var()
           
 

Methods in de.cau.cs.kieler.krep.compiler.parser that return types with arguments of type Variable
 LinkedList<Variable> scadeParser.local_block()
           
 LinkedList<Variable> scadeParser.params(Variable.Kind io)
           
 LinkedList<Variable> scadeParser.signal_block()