edu.toronto.cs.smv
Class MainLift.Button

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

public class MainLift.Button
extends java.lang.Object


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

Constructor Detail

MainLift.Button

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

setReset

public void setReset(MvSet v)

computeTrans

public MvSet computeTrans()

computeInit

public MvSet computeInit()

getPressed

public SMVModule.AlgebraVariable getPressed()