Interface | Description |
---|---|
Adapter<T> | |
Engine<T> |
Engine defines an interface of abstract sequence processing engines. |
Class | Description |
---|---|
AdapterResult |
AdapterResult defines result of an Adapter . |
DefaultAdapter | |
DefaultEngine |
The job of the
DefaultEngine class is to processes an abstract instruction call
sequence (uses symbolic values) and to build a concrete instruction call sequence (uses only
concrete values and can be simulated and used to generate source code in assembly language). |
EngineContext | |
EngineResult<T> |
EngineResult defines result of a Engine . |
SelfCheckEngine | |
TestSequenceEngine |
The
TestSequenceEngine class processes an abstract sequence with the
specified solver engine and adapts the results with the specified adapter
to produce a collection of concrete sequences. |
TrivialEngine |
The job of the
TrivialEngine class is processing abstract instruction call
sequences to build a concrete instruction call sequences (that can be simulated and
printed into assembly code). |
Enum | Description |
---|---|
AdapterResult.Status | |
EngineResult.Status |