| Interface | Description |
|---|---|
| AutomataLibSettingsSource |
| Class | Description |
|---|---|
| AutomataLibSettings |
This package contains classes for accessing global AutomataLib settings, as defined in, e.g., the automatalib.properties file.
AutomataLibSettingsCopyright © 2018. All rights reserved.