Uses of Class
edu.toronto.cs.smv.SMVModule.AlgebraVariable

Packages that use SMVModule.AlgebraVariable
edu.toronto.cs.smv Provides classes to represent SMV models 
 

Uses of SMVModule.AlgebraVariable in edu.toronto.cs.smv
 

Methods in edu.toronto.cs.smv that return SMVModule.AlgebraVariable
 SMVModule.AlgebraVariable SMVModule.declareAlgebraVariable(java.lang.String name)
           
 SMVModule.AlgebraVariable SMVModule.DeclaredVariables.declareAlgebraVariable(java.lang.String name)
           
 SMVModule.AlgebraVariable Lift.LiftCabin.getDir()
           
 SMVModule.AlgebraVariable MainLift.Lift.getDir()
           
 SMVModule.AlgebraVariable LiftAbstract.LiftCabin.getDir()
           
 SMVModule.AlgebraVariable Lift.LiftCabin.getDoor()
           
 SMVModule.AlgebraVariable MainLift.Lift.getDoor()
           
 SMVModule.AlgebraVariable LiftAbstract.LiftCabin.getDoor()
           
 SMVModule.AlgebraVariable MainLift.Button.getPressed()
           
 SMVModule.AlgebraVariable Lift.Button.getRequest()
           
 SMVModule.AlgebraVariable LiftAbstract.Button.getRequest()
           
 SMVModule.AlgebraVariable SMVModule.next(SMVModule.AlgebraVariable v)
           
 

Methods in edu.toronto.cs.smv with parameters of type SMVModule.AlgebraVariable
 MvSet SMVModule.AlgebraDefine.and(SMVModule.AlgebraVariable v)
           
 SMVModule.AlgebraVariable SMVModule.next(SMVModule.AlgebraVariable v)
           
 MvSet SMVModule.AlgebraDefine.or(SMVModule.AlgebraVariable v)