- paint(Graphics) - Method in class de.uni_due.inf.ti.raven.gui.graphs.CospanView
-
- paint(Graphics) - Method in class de.uni_due.inf.ti.raven.gui.graphs.GraphView
-
- parse(String) - Static method in class de.uni_due.inf.ti.raven.data.Operation
-
Parses an operation from a text string.
- parse() - Method in class de.uni_due.inf.ti.raven.data.Operation
-
Get the name of an operation
- PATH_BIT_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Path Bit Label Key
- PATH_DECOMPOSITION_ADDED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Path Decomposition Added Text Key
- PATH_DECOMPOSITION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Path Decomposition Text Key
- PathAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language of all graphs
where certain nodes are connected by a path.
- PathAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new path automaton.
- PathAutomatonAction(int, int, int, Signature, Set<Integer>, Set<Integer>) - Constructor for class de.uni_due.inf.ti.raven.actions.PathAutomatonAction
-
Creates a new Action
to create a new path automaton with maximum interface size
maximumInterface
over the signature signature
and with sourceNodes
and targetNodes
source and target nodes using the default path encoding.
- PathAutomatonAction(int, int, int, Signature, Set<Integer>, Set<Integer>, String) - Constructor for class de.uni_due.inf.ti.raven.actions.PathAutomatonAction
-
Creates a new Action
to create a new colorability automaton with maximum interface size
maximumInterface
over the signature signature
and with colors
colors using
the colorability encoding named by encodingName
.
- PathAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel
for creating a new PathAutomaton
.
- PathAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel
for displaying information about path graph
automata.
- pathCount() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Returns the number of paths leading to the true terminal.
- PathDecomposition - Class in de.uni_due.inf.ti.raven.data
-
A Path Decomposition of some graph G is a pair 𝒫 =
(P,X) where P is a path and X is a family of sets of nodes
(of the graph G) which are indexed by (path) nodes of P, such
that the following conditions are satisfied:
for each (graph) node v ∈ G, there exists a node p of
P such that v ∈ Xp
for each (graph) edge e ∈ G, there is a node p of
P such that all nodes v attached to e are in
Xp
for each node v ∈ G, the graph induced by the nodes {p
∣ v ∈ Xp} is a subpath of P.
- PathDecompositionInformationPanelBuilder - 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 path decompositions.
- PathDecompositionInformationPanelBuilder(DefaultFormBuilder) - Constructor for class de.uni_due.inf.ti.raven.gui.PathDecompositionInformationPanelBuilder
-
Creates the panel on which graph information will be displayed.
- PathEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class represents the encoding of state space and the transition functions of path
automata and provides methods to access the encoding.
- PathEncodingVisualizer - Class in de.uni_due.inf.ti.raven.gui.graphs
-
This class provides a Display
to visualize Path encodings.
- PathEncodingVisualizer() - Constructor for class de.uni_due.inf.ti.raven.gui.graphs.PathEncodingVisualizer
-
- PERM_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The Perm Operation Token
- PERM_TOKEN - Static variable in class de.uni_due.inf.ti.raven.data.Operation
-
The PERM Operation Token
- Permutation - Class in de.uni_due.inf.ti.raven.data
-
This class implements a permutation on a set of nodes.
- Permutation(Graph) - Constructor for class de.uni_due.inf.ti.raven.data.Permutation
-
Creates a new permutation of the nodes of the graph graph
.
- PERMUTATION_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- PERSISTENCE_TYPE_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- PlainTextWriter - Class in de.uni_due.inf.ti.raven.io
-
Writes an automaton to a plain text file.
- PLUS_ICON_FILENAME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The Plus Icon Filename
- port() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser.Node_idContext
-
- port() - Method in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- POSITION_MUST_NOT_BE_LESS_OR_EQUAL_TO_INNER_INTERFACE_SIZE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- POSITION_MUST_NOT_BE_LESS_OR_EQUAL_TO_OUTER_INTERFACE_SIZE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- POSITION_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- PREPROC - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- PREPROC - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-
- PRESET_NODE_SET_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
Preset Node Set Must Not Be Null Exception
- print(Object) - Method in class de.uni_due.inf.ti.raven.data.bdd.BuddyStatsPrinter
-
Prints the object object
to the logger of this class.
- print(Automaton, CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.gui.automaton.AutomatonRunView
-
Prints the run of the automaton automaton
on the cospan decomposition decomposition
.
- print(RavenBDD) - Method in class de.uni_due.inf.ti.raven.gui.graphs.BDDView
-
- print(Cospan) - Method in class de.uni_due.inf.ti.raven.gui.graphs.CospanView
-
- print(CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.gui.graphs.DecompositionView
-
- print(GraphDecomposition) - Method in class de.uni_due.inf.ti.raven.gui.graphs.DecompositionView
-
- print(BDDEncoding) - Method in class de.uni_due.inf.ti.raven.gui.graphs.EncodingView
-
- print(Graph) - Method in class de.uni_due.inf.ti.raven.gui.graphs.GraphView
-
- print(Graph) - Method in class de.uni_due.inf.ti.raven.gui.GraphWindow
-
- print(RavenBDD) - Method in interface de.uni_due.inf.ti.raven.io.BDDPrinter
-
Prints a BDD to this printer.
- print(String) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- print(Object) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- print(Graph) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- print(Signature) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- print(RavenBDD) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- print(Cospan) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- print(CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- print(GraphDecomposition) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- print(Cospan) - Method in interface de.uni_due.inf.ti.raven.io.CospanPrinter
-
Prints a cospan to this printer.
- print(CospanDecomposition) - Method in interface de.uni_due.inf.ti.raven.io.DecompositionPrinter
-
Prints a cospan decomposition to this printer.
- print(GraphDecomposition) - Method in interface de.uni_due.inf.ti.raven.io.DecompositionPrinter
-
Prints a graph decomposition to this printer.
- print(CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.io.DotPrinter
-
- print(Graph) - Method in class de.uni_due.inf.ti.raven.io.DotPrinter
-
- print(GraphDecomposition) - Method in class de.uni_due.inf.ti.raven.io.DotPrinter
-
- print(RavenBDD) - Method in class de.uni_due.inf.ti.raven.io.DotPrinter
-
- print(Automaton, CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.io.DotPrinter
-
- print(BDDEncoding) - Method in interface de.uni_due.inf.ti.raven.io.EncodingPrinter
-
Prints an encoding to this printer.
- print(Automaton, CospanDecomposition) - Method in interface de.uni_due.inf.ti.raven.io.ExecutionPrinter
-
Prints a run of the automaton automaton
on the cospan decomposition decomposition
.
- print(Graph) - Method in interface de.uni_due.inf.ti.raven.io.GraphPrinter
-
Prints a graph to this printer.
- print(String) - Method in interface de.uni_due.inf.ti.raven.io.RavenPrinter
-
Prints the string string
to the printer.
- print(Object) - Method in interface de.uni_due.inf.ti.raven.io.RavenPrinter
-
Prints the object object
to the printer
- print(Automaton, CospanDecomposition) - Method in interface de.uni_due.inf.ti.raven.io.RunPrinter
-
Prints the run of an automaton on a decomposition to this printer.
- print(Signature) - Method in class de.uni_due.inf.ti.raven.io.SignatureFilePrinter
-
- print(Signature) - Method in interface de.uni_due.inf.ti.raven.io.SignaturePrinter
-
Prints a signature to this printer.
- print(String) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- print(Object) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- print(RavenBDD) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- print(Cospan) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- print(CospanDecomposition) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- print(GraphDecomposition) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- print(Graph) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- print(Signature) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- PRINT_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
PRINT command description key
- PrintAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles printout of data from the repository.
- PrintAction(AutomatonPrinter, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.PrintAction
-
Creates an action which prints an automaton to a given printer.
- PrintAction(BDDPrinter, RavenBDD) - Constructor for class de.uni_due.inf.ti.raven.actions.PrintAction
-
Creates an action which prints a BDD to a given printer.
- PrintAction(CospanPrinter, Cospan) - Constructor for class de.uni_due.inf.ti.raven.actions.PrintAction
-
Creates an action which prints a cospan to a given printer.
- PrintAction(DecompositionPrinter, CospanDecomposition) - Constructor for class de.uni_due.inf.ti.raven.actions.PrintAction
-
Creates an action which prints a graph decomposition to a given printer.
- PrintAction(GraphPrinter, Graph) - Constructor for class de.uni_due.inf.ti.raven.actions.PrintAction
-
Creates an action which prints a graph to a given printer.
- PrintAction(DecompositionPrinter, GraphDecomposition) - Constructor for class de.uni_due.inf.ti.raven.actions.PrintAction
-
Creates an action which prints a graph decomposition to a given printer.
- PrintAction(SignaturePrinter, Signature) - Constructor for class de.uni_due.inf.ti.raven.actions.PrintAction
-
Creates an action which prints a signature to a given printer.
- printAutomaton(Automaton) - Method in interface de.uni_due.inf.ti.raven.io.AutomatonPrinter
-
Prints an automaton to this printer.
- printAutomaton(Automaton) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- printAutomaton(Automaton) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- PrintCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the printout of data from the repository.
- printDot(PrintStream) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Prints this BDD in DOT syntax to the output stream out
.
- PRINTDOT_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
PRINTDOT command description key
- PrintDotAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles printout of BDDs and graphs in DOT syntax.
- PrintDotAction(DotPrinter, Graph) - Constructor for class de.uni_due.inf.ti.raven.actions.PrintDotAction
-
Creates an action which prints a graph to a given printer.
- PrintDotAction(DotPrinter, RavenBDD) - Constructor for class de.uni_due.inf.ti.raven.actions.PrintDotAction
-
Creates an action which prints a BDD to a given printer.
- PrintDotCommand - Class in de.uni_due.inf.ti.raven.cli
-
Console command to handle the printout of BDDs or graphs in DOT-format.
- PRINTER_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- println(String) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- println(Object) - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- println() - Method in class de.uni_due.inf.ti.raven.io.ConsolePrinter
-
- println(String) - Method in interface de.uni_due.inf.ti.raven.io.RavenPrinter
-
Prints the string string
to the printer and then
terminates the line.
- println(Object) - Method in interface de.uni_due.inf.ti.raven.io.RavenPrinter
-
Prints the object object
to the printer and then terminates the line.
- println() - Method in interface de.uni_due.inf.ti.raven.io.RavenPrinter
-
Terminates the current line by writing the line separator string.
- println(String) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- println(Object) - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- println() - Method in class de.uni_due.inf.ti.raven.io.TextAreaPrinter
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
Prints a single state (seen as singleton state set) or a set of states.
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherDominatingSetEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherLinkEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.AnotherPathEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.BDDEncoding
-
Prints a single state (seen as singleton state set) or a set of states.
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultColorabilityEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultDominatingSetEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultEdgeCountingEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultLinkEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultMaximumBoundEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultMinimumBoundEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultNoIsolatedNodesEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultPathEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultSubgraphEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultVertexCountingEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.DefaultVertexCoverEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.ProductEncoding
-
- printStates(RavenBDD) - Method in class de.uni_due.inf.ti.raven.encodings.UnionEncoding
-
- PROBLEM_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Problem Label Key
- ProductAutomaton - Class in de.uni_due.inf.ti.raven.data.automata
-
This class implements a graph automaton accepting the language which is obtained by the
intersection of the languages of the two underlying graph automata.
- ProductAutomatonAction - Class in de.uni_due.inf.ti.raven.actions
-
Handles creation of a new product automaton.
- ProductAutomatonAction(Automaton, Automaton) - Constructor for class de.uni_due.inf.ti.raven.actions.ProductAutomatonAction
-
Creates an action which constructs the product automaton for two given automata.
- ProductAutomatonCreationPanel - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an AutomatonCreationPanel
for creating a new ProductAutomaton
.
- ProductAutomatonCreationPanel() - Constructor for class de.uni_due.inf.ti.raven.gui.automaton.ProductAutomatonCreationPanel
-
- ProductAutomatonInformationPanelBuilder - Class in de.uni_due.inf.ti.raven.gui.automaton
-
This class provides an InformationPanel
for displaying information about product graph
automata.
- ProductEncoding - Class in de.uni_due.inf.ti.raven.encodings
-
This class provides a concrete implementation of an encoding for intersection automata.
- PROPERTIES_DIALOG_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Properties Dialog Title Key
- PROPERTY_DEFAULT_LEVEL - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- PROPERTY_DOT_PATH - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- PROPERTY_DOWNLOAD_BETA_VERSION - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- PROPERTY_FILE_HANDLER_FORMATTER - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- PROPERTY_FILE_HANDLER_LEVEL - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- PROPERTY_FILE_HANDLER_LIMIT - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- PROPERTY_FILE_HANDLER_PATTERN - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- PROPERTY_HANDLERS - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- PROPERTY_RAVEN_LOGGING_HANDLER_LEVEL - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- PROPERTY_SLOPPY_MODE - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The sloppy mode property
- PROPERTY_TIME - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The time mode property
- PROPERTY_VERBOSE - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
The verbose mode property
- publish(LogRecord) - Method in class de.uni_due.inf.ti.raven.main.RavenLoggingHandler
-
- put(String, Data) - Method in class de.uni_due.inf.ti.raven.data.Repository
-
Adds a new object item
with the name name
to this repository.