Methods in edu.wis.jtlv.env.core.smv.eval that return ValueIntStmt |
static ValueIntStmt |
ValueIntStmt.DivOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.DivOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.DivOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.EQOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.EQOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.EQOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.GEOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.GEOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.GEOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.GTOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.GTOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.GTOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.LEOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.LEOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.LEOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.LTOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.LTOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.LTOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.MinusOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.MinusOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.MinusOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.ModOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.ModOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.ModOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.NEQOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.NEQOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.NEQOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.PlusOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.PlusOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.PlusOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.TimesOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.TimesOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.TimesOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
ValueIntStmt |
ValueIntStmt.toPrimeValueIntStmt()
|
abstract ValueIntStmt |
ValueStmt.toValueIntStmt()
|
ValueIntStmt |
ValueIntStmt.toValueIntStmt()
|
ValueIntStmt |
ValueDomStmt.toValueIntStmt()
|
ValueIntStmt |
ValueConsStmt.toValueIntStmt()
|
ValueIntStmt |
ValueConsRangeStmt.toValueIntStmt()
|
ValueIntStmt |
ValueBDDStmt.toValueIntStmt()
|
Methods in edu.wis.jtlv.env.core.smv.eval with parameters of type ValueIntStmt |
static ValueIntStmt |
ValueIntStmt.DivOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.DivOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.DivOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.EQOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.EQOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.EQOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.GEOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.GEOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.GEOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.GTOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.GTOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.GTOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.LEOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.LEOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.LEOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.LTOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.LTOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.LTOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.MinusOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.MinusOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.MinusOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.ModOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.ModOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.ModOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.NEQOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.NEQOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.NEQOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.PlusOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.PlusOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.PlusOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|
static ValueIntStmt |
ValueIntStmt.TimesOp(ValueIntStmt first,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.TimesOpWithCons(java.lang.Integer cons,
ValueIntStmt other)
|
static ValueIntStmt |
ValueIntStmt.TimesOpWithCons(ValueIntStmt first,
java.lang.Integer cons)
|