Uses of Class
sdd.SDD

Packages that use SDD

Package	Description
sdd
sdd.ope
sdd.opt

Uses of SDD in sdd

Methods in sdd that return SDD

Modifier and Type	Method and Description
SDD	SDD.and(SDD other) Returns the SDD corresponding to the AND operation between this SDD and the specified SDD.
static SDD	SDD.constant(boolean constant, Vtree tree) Returns the SDD representing the specified constant.
static SDD	SDD.create(SDDTree sdd, Vtree tree) Creates an SDD defined as the specified SDD tree on the specified vtree.
SDD	SDD.exists(Variable vr) Computes the SDD resulting from the existantial operation over this SDD for the specified variable.
SDD	SDD.forall(Variable vr) Computes the SDD resulting from the universal operation over this SDD for the specified variable.
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.
SDD	SDD.leftRotation(VtreeNode nodeWhereLeftRotationIsPerformed) Performs a left rotation operation on the specified node of the vtree.
SDD	SDD.leftRotationOnRoot() Performs a left rotation operation on the root of this SDD.
SDD	SDD.neg() Returns the SDD corresponding to the NOT operation on this SDD.
SDD	SDD.or(SDD other) Returns the SDD corresponding to the OR operation between this SDD and the specified SDD.
static SDD	SDD.or(Vtree tree, SDD... sdds) Performs an OR operation on the specified collection of SDD.
static SDD	SDD.readCNF(Vtree vtree, java.util.List<SDD> vars, IntegerTokenizer tokizer) Reads the CNF in the specified integer tokenizer with the specified list of sdds (representing the variables) and the specified vtree.
SDD	SDD.replace(Variable var1, Variable var2) Computes the SDD where every instance of the first specified variable is replaced in this SDD by an instance of the second variable.
SDD	SDD.rightRotation(VtreeNode nodeWhereRightRotationIsPerformed) Performs a right rotation operation on the specified node of the vtree.
SDD	SDD.rightRotationOnRoot() Performs a right rotation operation on the root of this SDD.
SDD	SDD.swapVnodeOnRoot() Performs a swap operation on the root of this SDD.
static SDD	SDD.variable(Variable var, Vtree tree) Creates the SDD associated with the specified variable (i.e., the positive literal associated with the variable) for a given vtree.

Methods in sdd that return types with arguments of type SDD

Modifier and Type	Method and Description
protected java.util.Map<java.lang.Object,SDD>	SDD.getBuffer()

Methods in sdd with parameters of type SDD

Modifier and Type	Method and Description
SDD	SDD.and(SDD other) Returns the SDD corresponding to the AND operation between this SDD and the specified SDD.
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.
SDD	SDD.or(SDD other) Returns the SDD corresponding to the OR operation between this SDD and the specified SDD.
static SDD	SDD.or(Vtree tree, SDD... sdds) Performs an OR operation on the specified collection of SDD.
static void	SDD.toDot(java.lang.String filename, SDD... sdds) Print a DOT representation of the specified collection of SDDs in the file at the specified address.

Method parameters in sdd with type arguments of type SDD

Modifier and Type	Method and Description
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.
static SDD	SDD.readCNF(Vtree vtree, java.util.List<SDD> vars, IntegerTokenizer tokizer) Reads the CNF in the specified integer tokenizer with the specified list of sdds (representing the variables) and the specified vtree.

Uses of SDD in sdd.ope

Methods in sdd.ope that return SDD

Modifier and Type	Method and Description
static SDD	VtreeOperations.apply(VtreeOperation op, SDD sdd) Performs the specified vtree operation on the specified sdd.

Methods in sdd.ope with parameters of type SDD

Modifier and Type	Method and Description
static SDD	VtreeOperations.apply(VtreeOperation op, SDD sdd) Performs the specified vtree operation on the specified sdd.
static boolean	VtreeOperations.isApplicable(VtreeOperation op, SDD sdd) Indicates whether the specified vtree operation is applicable on the specified SDD.

Uses of SDD in sdd.opt

Methods in sdd.opt that return SDD

Modifier and Type	Method and Description
static SDD	Optimisation.optimiseSingleSDD(SDD sdd)

Methods in sdd.opt that return types with arguments of type SDD

Modifier and Type	Method and Description
java.util.List<SDD>	Optimisation.getSDDs() Returns the current list of SDDs.

Methods in sdd.opt with parameters of type SDD

Modifier and Type	Method and Description
static SDD	Optimisation.optimiseSingleSDD(SDD sdd)

Constructor parameters in sdd.opt with type arguments of type SDD

Constructor and Description
Optimisation(java.util.List<SDD> sdds) Creates a new Optimisation instance.