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

Packages that use Variable.Kind
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.Kind in de.cau.cs.kieler.krep.compiler.ceq
 

Methods in de.cau.cs.kieler.krep.compiler.ceq that return Variable.Kind
 Variable.Kind Variable.getKind()
           
static Variable.Kind Variable.Kind.valueOf(String name)
          Returns the enum constant of this type with the specified name.
static Variable.Kind[] Variable.Kind.values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 

Methods in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Variable.Kind
 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.
 

Constructors in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Variable.Kind
Variable(String n, Variable.Kind kind, Type t)
          generate new Variable declaration.
Variable(Variable var, Variable.Kind kind)
          Create Variable with the same information as an existing Lustre Variable.
 

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

Constructors in de.cau.cs.kieler.krep.compiler.klp with parameters of type Variable.Kind
DeclareRegInstruction(String r, Variable.Kind ioKind)
           
InitRegInstruction(String r, Variable.Kind kind, String l, String clk)
           
 

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

Methods in de.cau.cs.kieler.krep.compiler.parser with parameters of type Variable.Kind
 LinkedList<Variable> scadeParser.params(Variable.Kind io)