Package net.automatalib
The main AutomataLib package. All functionality provided with AutomataLib
resides in subpackages of this package.
This package contains classes for accessing global AutomataLib settings, as defined in, e.g., the
automatalib.properties file.
- See Also:
AutomataLibSettings
-
Interface Summary Interface Description AutomataLibSettingsSource -
Class Summary Class Description AutomataLibLocalPropertiesSource AutomataLibPropertiesSource AutomataLibSettings AutomataLibSystemPropertiesSource -
Enum Summary Enum Description AutomataLibProperty An enum of all the system properties currently used by AutomataLib.