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