Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
de.uni_due.inf.ti.raven.algorithms |
Classes to run different algorithms.
|
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).
|
de.uni_due.inf.ti.raven.encodings |
Classes to encode the state space and the transitions of the various graph automata.
|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
de.uni_due.inf.ti.raven.gui.graphs |
GUI Classes to visualize graphs.
|
de.uni_due.inf.ti.raven.io |
Classes to load, save and print data.
|
Class and Description |
---|
RavenBDD
This class implements a BDD abstraction layer for the BDD implementation.
|
Class and Description |
---|
RavenBDD
This class implements a BDD abstraction layer for the BDD implementation.
|
Class and Description |
---|
RavenBDD
This class implements a BDD abstraction layer for the BDD implementation.
|
RavenBDDPairing
This class implements a BDD abstraction layer for the BDD Pairing implementation.
|
Class and Description |
---|
BuddyStatsPrinter
This class offers methods to print statistics about BuDDy to the logger provided by Raven.
|
RavenBDD
This class implements a BDD abstraction layer for the BDD implementation.
|
RavenBDD.Type
Enumeration of the different types of implemented BDDs.
|
RavenBDDDomain
This class implements a BDD abstraction layer for the BDD Domain implementation.
|
RavenBDDFactory
This class implements a BDD abstraction layer for the BDD Factory implementation.
|
RavenBDDFactory.BDDOperator
Enumeration of the different BDD operations.
|
RavenBDDPairing
This class implements a BDD abstraction layer for the BDD Pairing implementation.
|
Class and Description |
---|
RavenBDD
This class implements a BDD abstraction layer for the BDD implementation.
|
RavenBDDDomain
This class implements a BDD abstraction layer for the BDD Domain implementation.
|
Class and Description |
---|
RavenBDD
This class implements a BDD abstraction layer for the BDD implementation.
|
Class and Description |
---|
RavenBDD
This class implements a BDD abstraction layer for the BDD implementation.
|
Class and Description |
---|
RavenBDD
This class implements a BDD abstraction layer for the BDD implementation.
|