sdd

Class Random

java.lang.Object

sdd.Random

public class Random
extends java.lang.Object

Static methods to generate random SDDs.

Constructor Summary

Constructors

Constructor and Description
Random()

Method Summary

Methods

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Random

public Random()

Method Detail

generateRandom3CNFFromList

public 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.

Parameters:

rand - the pseudo random generator.

base - the list of SDDs used to generate each clause.

nbClauses - the number of clauses.

Returns:

the SDD logically equivalent to the ''3CNF'' generated in this problem.

generateRandom3CNF

public 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.

Parameters:

rand - the pseudo random generator.

base - the list of SDDs used to generate each clause.

nbClauses - the number of clauses.

Returns:

the SDD logically equivalent to the ''3CNF'' generated in this problem.