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 |
---|---|
LinkAutomaton |
AutomatonFactory.createLinkAutomaton(LinkEncoding encoding,
Signature signature)
Creates a new link automaton.
|
Modifier and Type | Class and Description |
---|---|
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 |
DefaultLinkEncoding
This class represents the default encoding of state space and the transition functions of
link automata and provides methods to access the encoding.
|
Modifier and Type | Method and Description |
---|---|
static LinkEncoding |
LinkEncoding.getDefaultEncoding(int maximumInterface,
int innerInterface,
int outerInterface)
Returns the default BDD encoding for a link encoding instance with a
maximum interface size of
maximumInterface , an
inner interface size of innerInterface and an outer interface size
of outerInterface . |
static LinkEncoding |
LinkEncoding.getEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
String encodingName)
Returns the BDD encoding for a link encoding instance given by the class name
name with a maximum interface size of maximumInterface , an
inner interface size of innerInterface and an outer interface size
of outerInterface . |