Package | Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
static RavenBDDDomain |
RavenBDDDomain.createDomain(int length)
Creates a new BDD Domain with
length bits. |
static RavenBDDDomain[] |
RavenBDDDomain.createDomains(int amount,
int length)
Creates
amount new BDD Domains with length bits. |
Modifier and Type | Method and Description |
---|---|
List<RavenBDDDomain> |
RavenBDDFactory.createDomains(int amount,
BigInteger size)
Creates a list of
amount finite BDD domains which each represents
size different values. |
Modifier and Type | Method and Description |
---|---|
void |
RavenBDDPairing.set(RavenBDDDomain first,
RavenBDDDomain second)
Adds two BDD domains as a pair to this BDD pairing.
|
Modifier and Type | Method and Description |
---|---|
RavenBDDDomain |
BDDEncoding.getCurrentStateDomain()
Returns the BDD domain for the (current) states
(of the transition relations)
|
RavenBDDDomain |
BDDEncoding.getSuccessorStateDomain()
Returns the BDD domain for the successor states
of the transition relations
|