Packages

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.antlr	Classes used and auto-generated by ANTLR, a parser generator used in Raven for parsing DOT files.
de.uni_due.inf.ti.raven.cli	Console UI Classes.
de.uni_due.inf.ti.raven.data	Classes to create, represent, manipulate data.
de.uni_due.inf.ti.raven.data.automata	Classes to create, represent, manipulate automata.
de.uni_due.inf.ti.raven.data.bdd	Classes to create, represent and manipulate binary decision diagrams (BDDs).
de.uni_due.inf.ti.raven.encodings	Classes to encode the state space and the transitions of the various graph automata.
de.uni_due.inf.ti.raven.gui	GUI Classes.
de.uni_due.inf.ti.raven.gui.actions	Classes used to invoke the different actions of the graphical user interface, e.g. load actions, save action, ...
de.uni_due.inf.ti.raven.gui.automaton	Classes which provide (visual) forms either used to collect information required to create the several graph automata or used to present information about existing graph automata.
de.uni_due.inf.ti.raven.gui.graphs	GUI Classes to visualize graphs.
de.uni_due.inf.ti.raven.io	Classes to load, save and print data.
de.uni_due.inf.ti.raven.main	Main Classes.
de.uni_due.inf.ti.raven.messages	Classes used to provide a uniform interface to load and deliver the messages of the user interfaces.