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