public static final class MemorySymbolicExecutor.Result
extends java.lang.Object
Constructor and Description |
---|
MemorySymbolicExecutor.Result() |
MemorySymbolicExecutor.Result(MemorySymbolicExecutor.Result r) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<IntegerVariable,java.math.BigInteger> |
getConstants() |
IntegerFormula<IntegerField> |
getFormula() |
java.util.Map<IntegerVariable,java.math.BigInteger> |
getOriginalConstants() |
java.util.Collection<IntegerVariable> |
getOriginalVariables() |
java.util.Collection<IntegerVariable> |
getVariables() |
public MemorySymbolicExecutor.Result()
public MemorySymbolicExecutor.Result(MemorySymbolicExecutor.Result r)
public java.util.Collection<IntegerVariable> getVariables()
public IntegerFormula<IntegerField> getFormula()
public java.util.Map<IntegerVariable,java.math.BigInteger> getConstants()
public java.util.Collection<IntegerVariable> getOriginalVariables()
public java.util.Map<IntegerVariable,java.math.BigInteger> getOriginalConstants()