public class Random
extends java.lang.Object
| Constructor and Description |
|---|
Random() |
| Modifier and Type | Method and Description |
|---|---|
static SDD |
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 |
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.
|
public static SDD generateRandom3CNFFromList(PseudoRandom rand, java.util.List<SDD> base, int nbClauses)
rand - the pseudo random generator.base - the list of SDDs used to generate each clause.nbClauses - the number of clauses.public static SDD generateRandom3CNF(PseudoRandom rand, SDD[] base, int nbClauses)
rand - the pseudo random generator.base - the list of SDDs used to generate each clause.nbClauses - the number of clauses.