edu.toronto.cs.smv
Class MainLift.Lift
java.lang.Object
edu.toronto.cs.smv.MainLift.Lift
- Enclosing class:
- MainLift
public class MainLift.Lift
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MainLift.Lift
public MainLift.Lift(java.lang.String _name)
getFloor
public SMVModule.IntVariable getFloor()
getDoor
public SMVModule.AlgebraVariable getDoor()
getDir
public SMVModule.AlgebraVariable getDir()
setLandingCall
public void setLandingCall(SMVModule.IntDefine v)
setNoCall
public void setNoCall(SMVModule.AlgebraDefine v)
computeInit
public MvSet computeInit()
computeTrans
public MvSet computeTrans()