public final class MmuConditionAtom
extends java.lang.Object
MmuConditionAtom
represents an atomic condition.Modifier and Type | Class and Description |
---|---|
static class |
MmuConditionAtom.Type |
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) |
MmuConditionAtom |
getInstance(java.lang.String instanceId,
MemoryAccessContext context) |
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 |
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() |
public static MmuConditionAtom eq(MmuExpression lhsExpr, MmuExpression rhsExpr)
public static MmuConditionAtom eq(MmuExpression expression)
public static MmuConditionAtom eq(MmuExpression lhsExpr, java.math.BigInteger rhsConst)
public static MmuConditionAtom eq(IntegerField field)
public static MmuConditionAtom eq(IntegerVariable variable)
public static MmuConditionAtom eq(IntegerField lhsField, java.math.BigInteger rhsConst)
public static MmuConditionAtom eq(IntegerField lhsField, IntegerField rhsField)
public static MmuConditionAtom eq(IntegerField lhsField, IntegerVariable rhsVar)
public static MmuConditionAtom eq(IntegerVariable lhsVar, java.math.BigInteger rhsConst)
public static MmuConditionAtom eq(IntegerVariable lhsVar, IntegerVariable rhsVar)
public static MmuConditionAtom eq(IntegerVariable lhsVar, IntegerField rhsField)
public static MmuConditionAtom range(MmuExpression lhsExpr, java.math.BigInteger rhsMin, java.math.BigInteger rhsMax)
public static MmuConditionAtom range(IntegerField lhsField, java.math.BigInteger rhsMin, java.math.BigInteger rhsMax)
public static MmuConditionAtom range(IntegerVariable lhsVar, java.math.BigInteger rhsMin, java.math.BigInteger rhsMax)
public static MmuConditionAtom not(MmuConditionAtom atom)
public static MmuConditionAtom neq(MmuExpression lhsExpr, MmuExpression rhsExpr)
public static MmuConditionAtom neq(MmuExpression expression)
public static MmuConditionAtom neq(MmuExpression lhsExpr, java.math.BigInteger rhsConst)
public static MmuConditionAtom neq(IntegerField field)
public static MmuConditionAtom neq(IntegerVariable variable)
public static MmuConditionAtom neq(IntegerField lhsField, java.math.BigInteger rhsConst)
public static MmuConditionAtom neq(IntegerField lhsField, IntegerField rhsField)
public static MmuConditionAtom neq(IntegerField lhsField, IntegerVariable rhsVar)
public static MmuConditionAtom neq(IntegerVariable lhsVar, java.math.BigInteger rhsConst)
public static MmuConditionAtom neq(IntegerVariable lhsVar, IntegerVariable rhsVar)
public static MmuConditionAtom neq(IntegerVariable lhsVar, IntegerField rhsField)
public static MmuConditionAtom nrange(MmuExpression lhsExpr, java.math.BigInteger rhsMin, java.math.BigInteger rhsMax)
public static MmuConditionAtom nrange(IntegerField lhsField, java.math.BigInteger rhsMin, java.math.BigInteger rhsMax)
public static MmuConditionAtom nrange(IntegerVariable lhsVar, java.math.BigInteger rhsMin, java.math.BigInteger rhsMax)
public MmuConditionAtom.Type getType()
public boolean isNegated()
public MmuExpression getLhsExpr()
public MmuExpression getRhsExpr()
public IntegerRange getRhsRange()
public java.math.BigInteger getRhsConst()
public MmuConditionAtom getInstance(java.lang.String instanceId, MemoryAccessContext context)
public java.lang.String toString()
toString
in class java.lang.Object