edu.toronto.cs.smv
Class Lift.LiftCabin

java.lang.Object
  extended by edu.toronto.cs.smv.Lift.LiftCabin
Enclosing class:
Lift

public class Lift.LiftCabin
extends java.lang.Object


Constructor Summary
Lift.LiftCabin(java.lang.String _name)
           
 
Method Summary
 MvSet computeInit()
           
 MvSet computeTrans()
           
 SMVModule.AlgebraVariable getDir()
           
 SMVModule.AlgebraVariable getDoor()
           
 SMVModule.IntVariable getFloor()
           
 void setLandingCall(SMVModule.IntDefine v)
           
 void setNoCall(SMVModule.AlgebraDefine v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Lift.LiftCabin

public Lift.LiftCabin(java.lang.String _name)
Method Detail

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()