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