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 © 2015. All rights reserved.