Package | Description |
---|---|
de.uni_due.inf.ti.raven.data.automata |
Classes to create, represent, manipulate automata.
|
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.graphs |
GUI Classes to visualize graphs.
|
de.uni_due.inf.ti.raven.io |
Classes to load, save and print data.
|
Modifier and Type | Method and Description |
---|---|
BDDEncoding |
Automaton.getEncoding()
Returns the BDD encoding used by this automaton.
|
Modifier and Type | Class and Description |
---|---|
class |
AnotherDominatingSetEncoding
This class provides a concrete implementation of an encoding for dominating set automata.
|
class |
AnotherLinkEncoding
This class represents the new default encoding of state space and the transition functions of
link automata and provides methods to access the encoding.
|
class |
AnotherPathEncoding
This class provides a concrete implementation of an encoding for path automata.
|
class |
BoundEncoding
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.
|
class |
ColorabilityEncoding
This class represents the encoding of state space and the transition functions of colorability
automata and provides methods to access the encoding.
|
class |
CountingEncoding
This class represents the encoding of state space and the transition functions of (edge- or
vertex-)counting automata and provides methods to access the encoding.
|
class |
DefaultColorabilityEncoding
This class provides a concrete implementation of an encoding for colorability automata.
|
class |
DefaultDominatingSetEncoding
This class provides a concrete implementation of an encoding for dominating set automata.
|
class |
DefaultEdgeCountingEncoding
This class provides a concrete implementation of an encoding for a edge-counting
automaton.
|
class |
DefaultLinkEncoding
This class represents the default encoding of state space and the transition functions of
link automata and provides methods to access the encoding.
|
class |
DefaultMaximumBoundEncoding
This class provides a concrete implementation of an encoding for a maximum edge automaton
or maximum vertex automaton respectively.
|
class |
DefaultMinimumBoundEncoding
This class provides a concrete implementation of an encoding for a minimum edge automaton
or minimum vertex automaton respectively.
|
class |
DefaultNoIsolatedNodesEncoding
This class provides a concrete implementation of an encoding for a no isolated nodes
automaton.
|
class |
DefaultPathEncoding
This class provides a concrete implementation of an encoding for path automata.
|
class |
DefaultSubgraphEncoding
This class provides a concrete implementation of an encoding for subgraph automata.
|
class |
DefaultVertexCountingEncoding
This class provides a concrete implementation of an encoding for a vertex-counting
automaton.
|
class |
DefaultVertexCoverEncoding
This class provides a concrete implementation of an encoding for vertex cover automata.
|
class |
DominatingSetEncoding
This class represents the encoding of state space and the transition functions of dominating
set automata and provides methods to access the encoding.
|
class |
EdgeCountingEncoding
This class represents the encoding of state space and the transition functions of edge-counting
automata and provides methods to access the encoding.
|
class |
LinkEncoding
This class represents the encoding of state space and the transition functions of link
automata and provides methods to access the encoding.
|
class |
NoIsolatedNodesEncoding
This class represents the encoding of state space and the transition functions of no isolated
nodes automata and provides methods to access the encoding.
|
class |
PathEncoding
This class represents the encoding of state space and the transition functions of path
automata and provides methods to access the encoding.
|
class |
ProductEncoding
This class provides a concrete implementation of an encoding for intersection automata.
|
class |
SubgraphEncoding
This class represents the encoding of state space and the transition functions of subgraph
automata and provides methods to access the encoding.
|
class |
UnionEncoding
This class provides a concrete implementation of an encoding for union automata.
|
class |
VertexCountingEncoding
This class represents the encoding of state space and the transition functions of
vertex-counting automata and provides methods to access the encoding.
|
class |
VertexCoverEncoding
This class represents the encoding of state space and the transition functions of vertex
cover automata and provides methods to access the encoding.
|
Modifier and Type | Method and Description |
---|---|
void |
BDDDialog.displayBDD(RavenBDD bdd,
BDDEncoding encoding)
Displays the BDD
bdd using the BDD Encoding coding to highlight
additional informations. |
static void |
EncodingDialog.showDialog(Window owner,
BDDEncoding encoding)
Shows the dialog for displaying encoding information.
|
Modifier and Type | Method and Description |
---|---|
void |
EncodingView.print(BDDEncoding encoding) |
Constructor and Description |
---|
BDDView(Component parent,
BDDEncoding encoding)
Creates a new
GraphView component. |
Modifier and Type | Method and Description |
---|---|
void |
EncodingPrinter.print(BDDEncoding encoding)
Prints an encoding to this printer.
|