- fatalError(SAXParseException) - Method in class de.uni_due.inf.ti.raven.io.GXLErrorHandler
-
- FILE_ALREADY_EXISTING_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- FILE_ALREADY_EXISTING_TEXT_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- FILE_ALREADY_EXISTING_TITLE_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
- FILE_CAN_NOT_BE_OPENED_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
File Can Not Be Opened Exception Text Key
- FILE_CAN_NOT_BE_OPENED_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
File Can Not Be Opened Exception Title Key
- FILE_COMMENT_SIGN - Static variable in class de.uni_due.inf.ti.raven.main.RavenMain
-
- FILE_MENU_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
File Menu Key
- FILE_NOT_FOUND_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- FILE_NOT_FOUND_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- FILE_NOT_FOUND_TEXT_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
File Not Found Exception Text Key
- FILE_NOT_FOUND_TITLE_EXCEPTION_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
File Not Found Exception Title Key
- FILENAME_MUST_NOT_BE_EMPTY_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- FILENAME_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- FINAL_STATES_FILE - Static variable in class de.uni_due.inf.ti.raven.data.automata.Automaton
-
- FIRST_AUTOMATON_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
First Automaton Label Key
- FIRST_AUTOMATON_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- FIRST_ENCODING_MUST_NOT_BE_NULL_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.messages.RavenExceptionMessages
-
- forAll(RavenBDD) - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Performs an universal quantification of the BDD nodes
specified by the given BDD.
- FORMAT_COUNTER_EXAMPLE_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
FormatCounterExample Label Key
- FORMULA_ADDED_KEY - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- FORMULA_ALREADY_EXISTS_EXCEPTION - Static variable in class de.uni_due.inf.ti.raven.cli.ConsoleMessages
-
- FORWARD_LABEL_KEY - Static variable in class de.uni_due.inf.ti.raven.gui.GuiMessages
-
Forward Label Key
- ForwardEmptinessCheck - Class in de.uni_due.inf.ti.raven.algorithms
-
Checks whether an automaton accepts the empty language.
- ForwardEmptinessCheck() - Constructor for class de.uni_due.inf.ti.raven.algorithms.ForwardEmptinessCheck
-
- ForwardSimulationAlgorithm - Class in de.uni_due.inf.ti.raven.algorithms
-
This class implements the algorithm to compute simulation relation in the obvious way.
- ForwardSimulationAlgorithm() - Constructor for class de.uni_due.inf.ti.raven.algorithms.ForwardSimulationAlgorithm
-
Creates a new instance of the default algorithm for computing the simulation order.
- free() - Method in class de.uni_due.inf.ti.raven.data.bdd.RavenBDD
-
Frees this BDD.
- FUSE_TOKEN - Static variable in class de.uni_due.inf.ti.raven.cli.Console
-
The FUSE Operation Token
- FUSE_TOKEN - Static variable in class de.uni_due.inf.ti.raven.data.Operation
-
The FUSE Operation Token