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 |
---|---|
DominatingSetAutomaton |
AutomatonFactory.createDominatingSetAutomaton(DominatingSetEncoding encoding,
Signature signature)
Creates a new dominating set automaton.
|
Modifier and Type | Class and Description |
---|---|
class |
AnotherDominatingSetEncoding
This class provides a concrete implementation of an encoding for dominating set automata.
|
class |
DefaultDominatingSetEncoding
This class provides a concrete implementation of an encoding for dominating set automata.
|
Modifier and Type | Method and Description |
---|---|
static DominatingSetEncoding |
DominatingSetEncoding.getDefaultEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
int dominatingSize)
Returns the default BDD encoding for a dominating set instance with a
maximum interface size of
maximumInterface and a maximum dominating
set size of dominating size . |
static DominatingSetEncoding |
DominatingSetEncoding.getEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
int dominatingSize,
String encodingName)
Returns the BDD encoding for a dominating set instance given by the class name
name with a maximum interface size of maximumInterface and a
maximum dominating set size of dominating size . |