edu.toronto.cs.smv
Class LiftAbstract.Button

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

public class LiftAbstract.Button
extends java.lang.Object


Constructor Summary
LiftAbstract.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

LiftAbstract.Button

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