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 |
---|---|
SubgraphAutomaton |
AutomatonFactory.createSubgraphAutomaton(SubgraphEncoding encoding,
Signature signature)
Creates a new subgraph automaton.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultSubgraphEncoding
This class provides a concrete implementation of an encoding for subgraph automata.
|
Modifier and Type | Method and Description |
---|---|
static SubgraphEncoding |
SubgraphEncoding.getDefaultEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
Graph subgraph,
List<Node> nodeOrder,
List<Edge> edgeOrder)
Returns the default BDD encoding for a subgraph instance with a
maximum interface size of
maximumInterface and a wanted
subgraph subgraph . |
static SubgraphEncoding |
SubgraphEncoding.getEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
Graph subgraph,
List<Node> nodeOrder,
List<Edge> edgeOrder,
String encodingName)
Returns the BDD encoding for a subgraph instance given by the class name
name with a maximum interface size of maximumInterface and
a wanted subgraph subgraph If no subgraph encoding with the given
name can be found the default encoding is returned. |