public static final class MemoryAccessPathIterator.Result
extends java.lang.Object
Constructor and Description |
---|
MemoryAccessPathIterator.Result(MemoryAccessPath path,
MemorySymbolicExecutor.Result context) |
Modifier and Type | Method and Description |
---|---|
MemorySymbolicExecutor.Result |
getContext() |
MemoryAccessPath |
getPath() |
public MemoryAccessPathIterator.Result(MemoryAccessPath path, MemorySymbolicExecutor.Result context)
public MemoryAccessPath getPath()
public MemorySymbolicExecutor.Result getContext()