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 |
---|---|
IntegerFormula<IntegerField> |
getFormula() |
java.util.Collection<IntegerVariable> |
getVariables() |
public MemorySymbolicExecutor.Result()
public MemorySymbolicExecutor.Result(MemorySymbolicExecutor.Result r)
public java.util.Collection<IntegerVariable> getVariables()
public IntegerFormula<IntegerField> getFormula()