Methods
Modifier and Type |
Method and Description |
void |
accessBuffer(MemoryAccessPath.Entry entry,
int pathIndex) |
void |
addClause(IntegerClause<IntegerField> clause) |
void |
addConstant(IntegerVariable var,
java.math.BigInteger constant) |
void |
addEquation(IntegerField lhs,
java.math.BigInteger rhs) |
void |
addEquation(IntegerField lhs,
IntegerField rhs) |
void |
addFormula(IntegerFormula<IntegerField> formula) |
void |
addOriginalVariable(IntegerVariable var) |
void |
addOriginalVariables(java.util.Collection<IntegerVariable> vars) |
boolean |
containsOriginalVariable(IntegerVariable var) |
void |
defineVersion(IntegerVariable variable,
int pathIndex) |
IntegerFormulaBuilder<IntegerField> |
getBuilder() |
java.math.BigInteger |
getConstant(IntegerVariable var) |
java.util.Map<IntegerVariable,java.math.BigInteger> |
getConstants() |
MemoryAccessContext |
getContext() |
MemoryAccessContext |
getContext(int pathIndex) |
java.util.Map<java.lang.Integer,MemoryAccessContext> |
getContexts() |
IntegerVariable |
getNextVersion(IntegerVariable variable,
int pathIndex) |
IntegerVariable |
getOriginal(IntegerVariable variable,
int pathIndex) |
java.util.Collection<IntegerVariable> |
getOriginalVariables() |
IntegerField |
getVersion(IntegerField field,
int pathIndex) |
IntegerVariable |
getVersion(IntegerVariable originalVariable) |
IntegerVariable |
getVersion(IntegerVariable variable,
int pathIndex) |
int |
getVersionNumber(IntegerVariable originalVariable) |
boolean |
hasConflict() |
void |
includeOriginalVariables() |
void |
setConflict(boolean hasConflict) |
void |
setVersionNumber(IntegerVariable originalVariable,
int versionNumber) |
MemoryAccessStack.Frame |
updateStack(MemoryAccessPath.Entry entry,
int pathIndex) |