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()