Package | Description |
---|---|
de.uni_due.inf.ti.raven.data.automata |
Classes to create, represent, manipulate automata.
|
Modifier and Type | Method and Description |
---|---|
SeventhExampleInclusionNFA |
AutomatonFactory.createSeventhExampleInclusionNFA()
For debugging only!
|