| Interface | Description |
|---|---|
| AnalyzerCallback |
The interface that the Unevalizer uses for querying the driving analysis.
|
| Class | Description |
|---|---|
| SimpleUnevalizerAPI |
Simplified implementations of the unevalizer API.
|
| Unevalizer | |
| UnevalizerAPI | |
| UnevalizerLimitations |
Utility class for allowing unevalizer limitations unsoundly when needed.
|
Copyright © 2009-2019 Aarhus University