edu.toronto.cs.smv
Class SMVModule.AlgebraVariable

java.lang.Object
  extended by edu.toronto.cs.smv.SMVModule.Variable
      extended by edu.toronto.cs.smv.SMVModule.AlgebraDefine
          extended by edu.toronto.cs.smv.SMVModule.AlgebraVariable
Enclosing class:
SMVModule

public class SMVModule.AlgebraVariable
extends SMVModule.AlgebraDefine


Constructor Summary
SMVModule.AlgebraVariable(java.lang.String _name, int _id)
           
 
Method Summary
 int getId()
           
 int size()
           
 CTLNode toCTL(AlgebraValue[] state)
           
 
Methods inherited from class edu.toronto.cs.smv.SMVModule.AlgebraDefine
and, and, not, or, or
 
Methods inherited from class edu.toronto.cs.smv.SMVModule.Variable
eq, eq, getName, getNext, mvSet, setMvSet, setNext, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SMVModule.AlgebraVariable

public SMVModule.AlgebraVariable(java.lang.String _name,
                                 int _id)
Method Detail

getId

public int getId()

size

public int size()
Overrides:
size in class SMVModule.AlgebraDefine

toCTL

public CTLNode toCTL(AlgebraValue[] state)
Overrides:
toCTL in class SMVModule.Variable