edu.toronto.cs.smv
Class LiftAbstract.LiftCabin
java.lang.Object
edu.toronto.cs.smv.LiftAbstract.LiftCabin
- Enclosing class:
- LiftAbstract
public class LiftAbstract.LiftCabin
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LiftAbstract.LiftCabin
public LiftAbstract.LiftCabin(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()