Interface | Description |
---|---|
AutomataLibSettingsSource | |
SupportsGrowingAlphabet<I> |
Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation.
|
Class | Description |
---|---|
AutomataLibSettings |
Enum | Description |
---|---|
AutomataLibProperty |
An enum of all the system properties currently used by AutomataLib.
|
This package contains classes for accessing global AutomataLib settings, as defined in, e.g., the automatalib.properties
file.
AutomataLibSettings
Copyright © 2020. All rights reserved.