Package | Description |
---|---|
de.uni_due.inf.ti.raven.data |
Classes to create, represent, manipulate data.
|
de.uni_due.inf.ti.raven.data.automata |
Classes to create, represent, manipulate automata.
|
de.uni_due.inf.ti.raven.data.bdd |
Classes to create, represent and manipulate binary decision diagrams (BDDs).
|
Modifier and Type | Class and Description |
---|---|
static class |
Cospan.Type
Enumeration of the different types of implemented cospans.
|
static class |
CounterExample.Type
Enumeration of the different types of implemented counter examples.
|
static class |
Decomposition.Type
Enumeration of the different types of implemented decompositions.
|
static class |
Edge.Type
Enumeration of the different types of implemented edges.
|
static class |
Graph.Type
Enumeration of the different types of implemented graphs.
|
static class |
Node.Type
Enumeration of the different types of implemented nodes.
|
static class |
Operation.Type
Enumeration of the different types of implemented operations.
|
static class |
Signature.Type
Enumeration of the different types of implemented signatures.
|
Modifier and Type | Method and Description |
---|---|
Data.Type |
PathDecomposition.getType() |
Data.Type |
TreeDecomposition.getType() |
Data.Type |
Data.getType()
Returns the type of the data object.
|
Modifier and Type | Class and Description |
---|---|
static class |
Automaton.Type
Enumeration of the different types of implemented automata.
|
Modifier and Type | Class and Description |
---|---|
static class |
RavenBDD.Type
Enumeration of the different types of implemented BDDs.
|