|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.smv.SMVModule.Variable
edu.toronto.cs.smv.SMVModule.IntDefine
public class SMVModule.IntDefine
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 |
---|
public SMVModule.IntDefine(java.lang.String _name)
Method Detail |
---|
public int size()
public MvSet buildMvSet()
public MvSet plus(int num)
public MvSet minus(int num)
public MvSet eq(int num)
public MvSet leq(int num)
public MvSet geq(int num)
public MvSet lt(int num)
public MvSet gt(int num)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |