edu.toronto.cs.smv
Class SMVModule.IntVariable

java.lang.Object
  extended by edu.toronto.cs.smv.SMVModule.Variable
      extended by edu.toronto.cs.smv.SMVModule.IntDefine
          extended by edu.toronto.cs.smv.SMVModule.IntVariable
Enclosing class:
SMVModule

public class SMVModule.IntVariable
extends SMVModule.IntDefine


Constructor Summary
SMVModule.IntVariable(java.lang.String _name, int start, int stop)
           
 
Method Summary
 int bitSize()
           
 MvSet buildMvSet()
           
 java.lang.Integer[] getValues()
           
 void setBits(int[] v)
           
 int size()
           
 CTLNode toCTL(AlgebraValue[] state)
           
 
Methods inherited from class edu.toronto.cs.smv.SMVModule.IntDefine
eq, geq, gt, leq, lt, minus, plus
 
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.IntVariable

public SMVModule.IntVariable(java.lang.String _name,
                             int start,
                             int stop)
Method Detail

getValues

public java.lang.Integer[] getValues()

size

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

bitSize

public int bitSize()

setBits

public void setBits(int[] v)

buildMvSet

public MvSet buildMvSet()
Overrides:
buildMvSet in class SMVModule.IntDefine

toCTL

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