| Package | Description |
|---|---|
| sdd | |
| util |
| Modifier and Type | Method and Description |
|---|---|
static SDD |
Random.generateRandom3CNF(PseudoRandom rand,
SDD[] base,
int nbClauses)
Creates at random an SDD defined as the conjunction
of the specified number of ''clauses'',
where each ''clause'' is the disjunction of three SDDs
taken from the specified array.
|
static SDD |
Random.generateRandom3CNFFromList(PseudoRandom rand,
java.util.List<SDD> base,
int nbClauses)
Creates at random an SDD defined as the conjunction
of the specified number of ''clauses'',
where each ''clause'' is the disjunction of three SDDs
taken from the specified list.
|
| Modifier and Type | Class and Description |
|---|---|
class |
Mersenne
An implementation of Mersenne twister.
|