edu.toronto.cs.smv
Class Lift.Button

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

public class Lift.Button
extends java.lang.Object


Constructor Summary
Lift.Button(java.lang.String _name)
           
 
Method Summary
 MvSet computeInit()
           
 MvSet computeTrans()
           
 SMVModule.AlgebraVariable getRequest()
           
 void setReset(MvSet v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Lift.Button

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

setReset

public void setReset(MvSet v)

computeTrans

public MvSet computeTrans()

computeInit

public MvSet computeInit()

getRequest

public SMVModule.AlgebraVariable getRequest()