Interface | Description |
---|---|
Abstraction<T> |
Abstraction is an interface for abstracting memory access path transitions. |
Predicate<T> |
Defines a functor interface implemented by classes that perform a predicate
test on an object.
|
Class | Description |
---|---|
AbstractionBufferEventPair |
AbstractionBufferEventPair maps a transition into the buffer-event pair. |
AbstractPathExtractor<T> |
Given a memory subsystem specification and an abstraction function,
AbstractPathExtractor extracts all possible abstract paths. |
BufferEventPair |
BufferEventPair represents a buffer-event pair. |
CoverageExplorer | |
CoverageExplorer.Statistics | |
CoverageExtractor | |
FilterIterable<T> | |
FilterIterator<E> |
Decorates another
Iterator using a predicate to filter elements. |
MemoryAccessPathExtractor | |
MemoryAccessPathIterator |
MemoryAccessPathIterator implements a DFS-based iterator of memory access paths. |
MemoryGraph |