Package | Description |
---|---|
de.uni_due.inf.ti.raven.encodings |
Classes to encode the state space and the transitions of the various graph automata.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultEdgeCountingEncoding
This class provides a concrete implementation of an encoding for a edge-counting
automaton.
|
class |
DefaultVertexCountingEncoding
This class provides a concrete implementation of an encoding for a vertex-counting
automaton.
|
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 |
VertexCountingEncoding
This class represents the encoding of state space and the transition functions of
vertex-counting automata and provides methods to access the encoding.
|