Interface | Description |
---|---|
ExperimentalOptions.ExperimentalOption |
Interface for TAJS variants.
|
Class | Description |
---|---|
ExperimentalOptions |
Utility class for experimental options.
|
ExperimentalOptions.ExperimentalOptionsManager |
Singleton class for managing experimental options.
|
ExternalDependencies |
Resolves the external dependencies of TAJS that can be installed using "external-dependencies/install-external-dependencies.sh".
|
Options |
Global analysis options.
|
Options.Constants | |
OptionsUtil | |
OptionValues |
Option values.
|
SoundnessTesterOptions |
Options to be used for soundness testing.
|
TAJSEnvironmentConfig |
Manages system-local environment properties.
|
UnsoundnessOptionValues |
Option values for unsoundness.
|
Copyright © 2009-2019 Aarhus University