Interface | Description |
---|---|
Adapter | |
Engine |
Engine defines an interface of abstract sequence processing engines. |
InitializerMaker |
Class | Description |
---|---|
AdapterResult |
AdapterResult defines result of an Adapter . |
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). |
EngineConfig |
EngineConfig implements a test engine configuration. |
EngineContext | |
EngineParameter<T> |
EngineParameter defines an interface of engine parameters. |
EngineParameter.Option<T> | |
EngineResult |
EngineResult defines result of a Engine . |
InitializerMakerDefault | |
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. |
TestSequenceEngineResult |
TestSequenceEngineResult defines result of a Engine . |
Enum | Description |
---|---|
AdapterResult.Status | |
EngineResult.Status |