edu.toronto.cs.smv
Class MainLift.Lift

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

public class MainLift.Lift
extends java.lang.Object


Constructor Summary
MainLift.Lift(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

MainLift.Lift

public MainLift.Lift(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()