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.
|
Modifier and Type | Method and Description |
---|---|
MaximumEdgeAutomaton |
AutomatonFactory.createMaximumEdgeAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new maximum-edge automaton.
|
MaximumVertexAutomaton |
AutomatonFactory.createMaximumVertexAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new maximum-vertex automaton.
|
MinimumEdgeAutomaton |
AutomatonFactory.createMinimumEdgeAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new minimum-edge automaton.
|
MinimumVertexAutomaton |
AutomatonFactory.createMinimumVertexAutomaton(BoundEncoding encoding,
Signature signature)
Creates a new minimum-vertex automaton.
|
Modifier and Type | Class and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
static BoundEncoding |
BoundEncoding.getDefaultMaximumEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
int bound) |
static BoundEncoding |
BoundEncoding.getDefaultMinimumEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
int bound) |
static BoundEncoding |
BoundEncoding.getEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
int bound,
BoundEncoding.Type type,
String encodingName)
Returns the BDD encoding for a bound instance given by the class name
name with a maximum interface size of maximumInterface and a
modulo number of modNumber . |