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 |
---|---|
EdgeCountingAutomaton |
AutomatonFactory.createEdgeCountingAutomaton(EdgeCountingEncoding encoding,
Signature signature,
int remainder,
Set<Operation.Connect> edgeSet)
Creates a new edge-counting automaton counting only those edges which
are contained in the set
edgeSet . |
Modifier and Type | Class and Description |
---|---|
class |
DefaultEdgeCountingEncoding
This class provides a concrete implementation of an encoding for a edge-counting
automaton.
|
Modifier and Type | Method and Description |
---|---|
static EdgeCountingEncoding |
EdgeCountingEncoding.getDefaultEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
int divisor)
Returns the default BDD encoding for a vertex count instance with a
maximum interface size of
maximumInterface and a count of edges modulo
modNumber modNumber . |
static EdgeCountingEncoding |
EdgeCountingEncoding.getEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
int divisor,
String encodingName)
Returns the BDD encoding for a vertex count instance given by the class name
name with a maximum interface size of maximumInterface and a
modulo number of modNumber . |