public final class MmuCalculator
extends java.lang.Object
MmuCalculator
implements an expr calculator.Modifier and Type | Method and Description |
---|---|
static java.lang.Boolean |
eval(MmuConditionAtom atom,
java.util.Map<IntegerVariable,java.math.BigInteger> values) |
static java.lang.Boolean |
eval(MmuCondition cond,
java.util.Map<IntegerVariable,java.math.BigInteger> values) |
static java.math.BigInteger |
eval(MmuExpression expr,
java.util.Map<IntegerVariable,java.math.BigInteger> values,
boolean check)
Evaluates the expr.
|
public static java.math.BigInteger eval(MmuExpression expr, java.util.Map<IntegerVariable,java.math.BigInteger> values, boolean check)
The empty expr is evaluated to zero.
expr
- the expr to be calculated.values
- the values of the variables.check
- the flag indicating whether to fail if no value is found for some variable.public static java.lang.Boolean eval(MmuConditionAtom atom, java.util.Map<IntegerVariable,java.math.BigInteger> values)
public static java.lang.Boolean eval(MmuCondition cond, java.util.Map<IntegerVariable,java.math.BigInteger> values)