Package | Description |
---|---|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
Modifier and Type | Class and Description |
---|---|
class |
BackwardEmptinessCheck
Checks whether an automaton accepts the empty language.
|
class |
ForwardEmptinessCheck
Checks whether an automaton accepts the empty language.
|