Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
de.uni_due.inf.ti.raven.cli |
Console UI Classes.
|
de.uni_due.inf.ti.raven.data.automata |
Classes to create, represent, manipulate automata.
|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
Class and Description |
---|
Action
The
Action interface is the basic interface for all actions of Raven. |
ComputationAction
The
ComputationAction class is extended by classes which compute some kind of
result R . |
ComputationEvent
An event which indicates that the computation of a(n intermediate) result has been finished.
|
ComputationEvent.EventType
Enumeration of event types which can occur during the computation.
|
ComputationListener
The listener interface for receiving computation action events.
|
InvariantCheckingAction
Handles invocation of the invariant check.
|
IOAction
The
IOAction class is extended by classes which perform some kind of I/O. |
LanguageInclusionAction
Handles invocation of the language inclusion check.
|
LoadAction.LoadType
Enumeration of load types indicating the data which is to be loaded.
|
SaveAction.AutomatonPersistenceType
Enumeration of persistence types usable for automata.
|
SaveAction.GraphPersistenceType
Enumeration of persistence types usable for graphs.
|
UniversalityAction
Handles invocation of the universality check.
|
Class and Description |
---|
ComputationListener
The listener interface for receiving computation action events.
|
Class and Description |
---|
ComputationEvent
An event which indicates that the computation of a(n intermediate) result has been finished.
|
ComputationListener
The listener interface for receiving computation action events.
|
Class and Description |
---|
ComputationListener
The listener interface for receiving computation action events.
|
Class and Description |
---|
ComputationEvent
An event which indicates that the computation of a(n intermediate) result has been finished.
|
ComputationListener
The listener interface for receiving computation action events.
|