- warning(SAXParseException) - Method in class de.uni_due.inf.ti.raven.io.GXLErrorHandler
-
- WHITE - Static variable in class de.uni_due.inf.ti.raven.gui.graphs.VisualGraph
-
White Color Index
- WIDTH_GREATER_THAN_MAXIMUM_INTERFACE_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Width Is Greater Than The Maximum Interface Size Text Key
- WIDTH_MUST_NOT_BE_NEGATIVE_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- write(Automaton, String) - Method in class de.uni_due.inf.ti.raven.io.AutomatonFileWriter
-
Writes an automaton to the zip archive specified by zipname
.
- write(Automaton, String) - Method in interface de.uni_due.inf.ti.raven.io.AutomatonWriter
-
Writes an automaton to the file specified by filename
.
- write(Cospan, String) - Method in interface de.uni_due.inf.ti.raven.io.CospanWriter
-
Writes a cospan to the file specified by filename
.
- write(Graph, String) - Method in interface de.uni_due.inf.ti.raven.io.GraphWriter
-
Writes a graph to the file specified by filename
.
- write(Graph, String) - Method in class de.uni_due.inf.ti.raven.io.GXLWriter
-
- write(Cospan, String) - Method in class de.uni_due.inf.ti.raven.io.GXLWriter
-
- write(Automaton, String) - Method in class de.uni_due.inf.ti.raven.io.PlainTextWriter
-
- write(Graph, String) - Method in class de.uni_due.inf.ti.raven.io.SVGWriter
-
- write(Cospan, String) - Method in class de.uni_due.inf.ti.raven.io.SVGWriter
-
- write(VisualGraph, String) - Method in class de.uni_due.inf.ti.raven.io.SVGWriter
-
Writes a graph to the file specified by filename
.
- writeAutomatonToZip(String) - Method in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
This method is called when an object of the class Automaton shall be
saved.
- writeOperations(String, CospanDecomposition) - Static method in class de.uni_due.inf.ti.raven.io.CospanDecompositionFileWriter
-
Writes a cospan decomposition to a file.
- writeSignature(String, Signature) - Static method in class de.uni_due.inf.ti.raven.io.SignatureFilePrinter
-
Reads a signature from a file and returns it.
- WRONG_PARAMETER_DESCRIPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
Wrong parameter description key
- WS - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTLexer
-
- WS - Static variable in class de.uni_due.inf.ti.raven.antlr.DOTParser
-