Methods
Modifier and Type |
Method and Description |
static MmuConditionAtom |
eq(IntegerField field) |
static MmuConditionAtom |
eq(IntegerField lhsField,
java.math.BigInteger rhsConst) |
static MmuConditionAtom |
eq(IntegerField lhsField,
IntegerField rhsField) |
static MmuConditionAtom |
eq(IntegerField lhsField,
IntegerVariable rhsVar) |
static MmuConditionAtom |
eq(IntegerVariable variable) |
static MmuConditionAtom |
eq(IntegerVariable lhsVar,
java.math.BigInteger rhsConst) |
static MmuConditionAtom |
eq(IntegerVariable lhsVar,
IntegerField rhsField) |
static MmuConditionAtom |
eq(IntegerVariable lhsVar,
IntegerVariable rhsVar) |
static MmuConditionAtom |
eq(MmuExpression expression) |
static MmuConditionAtom |
eq(MmuExpression lhsExpr,
java.math.BigInteger rhsConst) |
static MmuConditionAtom |
eq(MmuExpression lhsExpr,
MmuExpression rhsExpr) |
static MmuConditionAtom |
eqReplaced(IntegerField field) |
static MmuConditionAtom |
eqReplaced(IntegerVariable variable) |
static MmuConditionAtom |
eqReplaced(MmuExpression expression) |
MmuExpression |
getLhsExpr() |
java.math.BigInteger |
getRhsConst() |
MmuExpression |
getRhsExpr() |
IntegerRange |
getRhsRange() |
MmuConditionAtom.Type |
getType() |
boolean |
isNegated() |
static MmuConditionAtom |
neq(IntegerField field) |
static MmuConditionAtom |
neq(IntegerField lhsField,
java.math.BigInteger rhsConst) |
static MmuConditionAtom |
neq(IntegerField lhsField,
IntegerField rhsField) |
static MmuConditionAtom |
neq(IntegerField lhsField,
IntegerVariable rhsVar) |
static MmuConditionAtom |
neq(IntegerVariable variable) |
static MmuConditionAtom |
neq(IntegerVariable lhsVar,
java.math.BigInteger rhsConst) |
static MmuConditionAtom |
neq(IntegerVariable lhsVar,
IntegerField rhsField) |
static MmuConditionAtom |
neq(IntegerVariable lhsVar,
IntegerVariable rhsVar) |
static MmuConditionAtom |
neq(MmuExpression expression) |
static MmuConditionAtom |
neq(MmuExpression lhsExpr,
java.math.BigInteger rhsConst) |
static MmuConditionAtom |
neq(MmuExpression lhsExpr,
MmuExpression rhsExpr) |
static MmuConditionAtom |
neqReplaced(IntegerField field) |
static MmuConditionAtom |
neqReplaced(IntegerVariable variable) |
static MmuConditionAtom |
neqReplaced(MmuExpression expression) |
static MmuConditionAtom |
not(MmuConditionAtom atom) |
static MmuConditionAtom |
nrange(IntegerField lhsField,
java.math.BigInteger rhsMin,
java.math.BigInteger rhsMax) |
static MmuConditionAtom |
nrange(IntegerVariable lhsVar,
java.math.BigInteger rhsMin,
java.math.BigInteger rhsMax) |
static MmuConditionAtom |
nrange(MmuExpression lhsExpr,
java.math.BigInteger rhsMin,
java.math.BigInteger rhsMax) |
static MmuConditionAtom |
range(IntegerField lhsField,
java.math.BigInteger rhsMin,
java.math.BigInteger rhsMax) |
static MmuConditionAtom |
range(IntegerVariable lhsVar,
java.math.BigInteger rhsMin,
java.math.BigInteger rhsMax) |
static MmuConditionAtom |
range(MmuExpression lhsExpr,
java.math.BigInteger rhsMin,
java.math.BigInteger rhsMax) |
java.lang.String |
toString() |