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.
|
Modifier and Type | Method and Description |
---|---|
void |
AntichainInvariantChecking.addComputationListener(ComputationListener l) |
void |
LibTWAlgorithm.addComputationListener(ComputationListener l) |
void |
ForwardSimulationAlgorithm.addComputationListener(ComputationListener l) |
void |
SimulationAntichainUniversality.addComputationListener(ComputationListener l) |
void |
SimulationAntichainLanguageInclusion.addComputationListener(ComputationListener l) |
void |
DefaultCospanDecompositionAlgorithm.addComputationListener(ComputationListener l) |
void |
IdentityRelationAlgorithm.addComputationListener(ComputationListener l) |
void |
SimulationAntichainInvariantChecking.addComputationListener(ComputationListener l) |
void |
LibTWNGraphToGraphAlgorithm.addComputationListener(ComputationListener l) |
void |
BackwardEmptinessCheck.addComputationListener(ComputationListener l) |
void |
BisimulationUpToCongruenceLanguageEquivalence.addComputationListener(ComputationListener l) |
void |
AntichainUniversality.addComputationListener(ComputationListener l) |
void |
Algorithm.addComputationListener(ComputationListener l)
Adds the Computation Listener
l to this algorithm. |
void |
BackwardSimulationAlgorithm.addComputationListener(ComputationListener l) |
void |
ForwardEmptinessCheck.addComputationListener(ComputationListener l) |
void |
BisimulationUpToCongruenceInvariantChecking.addComputationListener(ComputationListener l) |
void |
DefaultMembershipAlgorithm.addComputationListener(ComputationListener l) |
void |
BisimulationUpToCongruenceLanguageInclusion.addComputationListener(ComputationListener l) |
void |
AntichainLanguageInclusion.addComputationListener(ComputationListener l) |
void |
AntichainInvariantChecking.removeComputationListener(ComputationListener l) |
void |
LibTWAlgorithm.removeComputationListener(ComputationListener l) |
void |
ForwardSimulationAlgorithm.removeComputationListener(ComputationListener l) |
void |
SimulationAntichainUniversality.removeComputationListener(ComputationListener l) |
void |
SimulationAntichainLanguageInclusion.removeComputationListener(ComputationListener l) |
void |
DefaultCospanDecompositionAlgorithm.removeComputationListener(ComputationListener l) |
void |
IdentityRelationAlgorithm.removeComputationListener(ComputationListener l) |
void |
SimulationAntichainInvariantChecking.removeComputationListener(ComputationListener l) |
void |
LibTWNGraphToGraphAlgorithm.removeComputationListener(ComputationListener l) |
void |
BackwardEmptinessCheck.removeComputationListener(ComputationListener l) |
void |
BisimulationUpToCongruenceLanguageEquivalence.removeComputationListener(ComputationListener l) |
void |
AntichainUniversality.removeComputationListener(ComputationListener l) |
void |
Algorithm.removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this algorithm. |
void |
BackwardSimulationAlgorithm.removeComputationListener(ComputationListener l) |
void |
ForwardEmptinessCheck.removeComputationListener(ComputationListener l) |
void |
BisimulationUpToCongruenceInvariantChecking.removeComputationListener(ComputationListener l) |
void |
DefaultMembershipAlgorithm.removeComputationListener(ComputationListener l) |
void |
BisimulationUpToCongruenceLanguageInclusion.removeComputationListener(ComputationListener l) |
void |
AntichainLanguageInclusion.removeComputationListener(ComputationListener l) |
Modifier and Type | Class and Description |
---|---|
class |
Console.ProgressThread |
Modifier and Type | Method and Description |
---|---|
LinkedList<ComputationListener> |
Automaton.getListener()
Returns the listener; For saving purposes only
|
Modifier and Type | Method and Description |
---|---|
void |
Automaton.addComputationListener(ComputationListener l)
Adds the Computation Listener
l to this automaton. |
void |
AutomatonFactory.addComputationListener(ComputationListener l)
Adds the Computation Listener
l to this algorithm. |
void |
Automaton.removeComputationListener(ComputationListener l)
Remove the Computation Listener
l from this automaton. |
void |
AutomatonFactory.removeComputationListener(ComputationListener l)
Removes the Computation Listener
l from this algorithm. |
Modifier and Type | Class and Description |
---|---|
class |
RavenProgressBarPanel
This class provides a panel to create a progress bar with an additional label.
|
Modifier and Type | Method and Description |
---|---|
void |
ControlPanel.addComputationListener(ComputationListener listener)
Adds the computation listener
listener to the underlying control panel. |
void |
ControlPanel.removeComputationListener(ComputationListener listener)
Removes the computation listener
listener from the underlying control panel. |