edu.toronto.cs.smv
Class SMVModule.IntDefine

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

public class SMVModule.IntDefine
extends SMVModule.Variable


Constructor Summary
SMVModule.IntDefine(java.lang.String _name)
           
 
Method Summary
 MvSet buildMvSet()
           
 MvSet eq(int num)
           
 MvSet geq(int num)
           
 MvSet gt(int num)
           
 MvSet leq(int num)
           
 MvSet lt(int num)
           
 MvSet minus(int num)
           
 MvSet plus(int num)
           
 int size()
           
 
Methods inherited from class edu.toronto.cs.smv.SMVModule.Variable
eq, eq, getName, getNext, mvSet, setMvSet, setNext, toCTL, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SMVModule.IntDefine

public SMVModule.IntDefine(java.lang.String _name)
Method Detail

size

public int size()

buildMvSet

public MvSet buildMvSet()

plus

public MvSet plus(int num)

minus

public MvSet minus(int num)

eq

public MvSet eq(int num)

leq

public MvSet leq(int num)

geq

public MvSet geq(int num)

lt

public MvSet lt(int num)

gt

public MvSet gt(int num)