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