- BACKGROUND_COLOR - Static variable in class de.uni_due.inf.ti.raven.gui.MainWindow
-
The default background color for all GUI components
- BACKWARD_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Backward Label Key
- BackwardEmptinessCheck - Class in de.uni_due.inf.ti.raven.algorithms
-
Checks whether an automaton accepts the empty language.
- BackwardEmptinessCheck() - Constructor for class de.uni_due.inf.ti.raven.algorithms.BackwardEmptinessCheck
-
- BackwardSimulationAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the algorithm to compute the backward simulation relation.
- BackwardSimulationAlgorithm() - Constructor for class de.uni_due.inf.ti.raven.algorithms.BackwardSimulationAlgorithm
-
Creates a new instance of the default algorithm for computing the simulation order.
- BDD_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- BDD_DOMAIN_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- BDD_FILE_EXTENSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The file extension for BDD files
- BDD_HIGH_EDGE_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default BDD Vertex Style To Indicate High Edges
- BDD_LOW_EDGE_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default BDD Vertex Style To Indicate Low Edges
- BDD_MUST_NEITHER_BE_ZERO_NOR_ONE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- BDD_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- BDD_SIZE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
BDD Size Text Key
- BDD_TERMINAL_ONE_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default BDD Vertex Style To Indicate The Terminal "One"
- BDD_TERMINAL_ZERO_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default BDD Vertex Style To Indicate The Terminal "Zero"
- BDD_VERTEX_STYLE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
The Default BDD Vertex Style To Indicate Inner Nodes
- BDDDialog - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a dialog to show a given BDD.
- BDDEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the encoding of state space and the transition functions of some automaton.
- BDDEncoding.StateType - Enum in de.uni_due.inf.ti.raven.encodings
-
Enumeration of state types to distinguish between bits used for different states
(e.g. in relations on the state set)
- BDDInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui
-
This class provides a builder which is used to create an InformationPanel
for displaying information about BDDs.
- BDDInformationPanelBuilder(DefaultFormBuilder) - Constructor for class de.uni_due.inf.ti.raven.gui.BDDInformationPanelBuilder
-
Creates the panel on which graph information will be displayed.
- BDDPrinter - Interface in de.uni_due.inf.ti.raven.io
-
This interface offers methods to print BDDs.
- BDDView - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a VisualGraph
to visualize binary decision diagrams.
- BDDView(Component, BDDEncoding) - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.BDDView
-
Creates a new GraphView
component.
- BIG_RAVEN_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Big Raven Icon File
- biimp(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns a BDD which is the logical BIIMPLICATION of this BDD and the
BDD bdd
.
- BisimulationUpToCongruenceInvariantChecking - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the bisimulation up to congruence algorithm for both deciding the
language equivalence and the language inclusion problem for (finite) automata.
- BisimulationUpToCongruenceInvariantChecking(Algorithm.SearchType, boolean) - Constructor for class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceInvariantChecking
-
Creates a new instance of the bisimulation-up-to-congruence algorithm.
- BisimulationUpToCongruenceInvariantChecking(Algorithm.SearchType) - Constructor for class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceInvariantChecking
-
Creates a new instance of the bisimulation-up-to-congruence algorithm.
- BisimulationUpToCongruenceInvariantCheckingAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the bisimulation-up-to-congruence invariant check.
- BisimulationUpToCongruenceInvariantCheckingAction(Algorithm.SearchType, boolean, Automaton, CospanDecomposition, CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.actions.BisimulationUpToCongruenceInvariantCheckingAction
-
Creates a new Action
to execute the bisimulation-up-to-congruence invariant check
for the automaton automaton
and the left- resp. right-hand side leftHandSide
and rightHandSide
.
- BisimulationUpToCongruenceLanguageEquivalence - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the bisimulation up to congruence algorithm for both deciding the
language equivalence and the language inclusion problem for (finite) automata.
- BisimulationUpToCongruenceLanguageEquivalence(Algorithm.SearchType, boolean) - Constructor for class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageEquivalence
-
Creates a new instance of the bisimulation-up-to-congruence algorithm.
- BisimulationUpToCongruenceLanguageInclusion - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the bisimulation up to congruence algorithm for both deciding the
language equivalence and the language inclusion problem for (finite) automata.
- BisimulationUpToCongruenceLanguageInclusion(Algorithm.SearchType, boolean) - Constructor for class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageInclusion
-
Creates a new instance of the bisimulation-up-to-congruence algorithm.
- BisimulationUpToCongruenceLanguageInclusion(Algorithm.SearchType) - Constructor for class de.uni_due.inf.ti.raven.algorithms.BisimulationUpToCongruenceLanguageInclusion
-
Creates a new instance of the bisimulation-up-to-congruence algorithm.
- BisimulationUpToCongruenceLanguageInclusionAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles invocation of the bisimulation-up-to-congruence language inclusion
check.
- BisimulationUpToCongruenceLanguageInclusionAction(Algorithm.SearchType, boolean, Automaton, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.BisimulationUpToCongruenceLanguageInclusionAction
-
Creates a new Action
to execute the bisimulation-up-to-congruence
language inclusion check for the two automata firstAutomaton
and
secondAutomaton
.
- BisimulationUpToCongruenceLanguageInclusionAction(Algorithm.SearchType, Automaton, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.BisimulationUpToCongruenceLanguageInclusionAction
-
Creates a new Action
to execute the bisimulation-up-to-congruence
language inclusion check for the two automata firstAutomaton
and
secondAutomaton
.
- BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Bit Label Key
- BLACK - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Black Color Index
- BLUE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
Blue Color Index
- BOUND_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- BoundEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the encoding of state space and the transition functions of
minimum/maximum vertex/edge automata and provides methods to access the encoding.
- BoundEncoding.Type - Enum in de.uni_due.inf.ti.raven.encodings
-
Enumeration of the different types of bound encodings.
- BoundEncodingVisualizer - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a Display
to visualize Vertex/Edge Bound encodings.
- BoundEncodingVisualizer() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.BoundEncodingVisualizer
-
- BuddyStatsPrinter - Class in de.uni_due.inf.ti.raven.data.bdd
-
This class offers methods to print statistics about BuDDy to the logger provided by Raven.