- rand(int) - Method in class util.Mersenne
-
- rand(int) - Method in interface util.PseudoRandom
-
Returns an integer between 0 and the specified value.
- Random - Class in sdd
-
Static methods to generate random SDDs.
- Random() - Constructor for class sdd.Random
-
- readCNF(Vtree, List<SDD>, IntegerTokenizer) - Static method in class sdd.SDD
-
Reads the CNF in the specified integer tokenizer
with the specified list of sdds (representing the variables)
and the specified vtree.
- remove(Object) - Method in class sdd.Singleton
-
- removeAll(Collection<?>) - Method in class sdd.Singleton
-
- removeParentFromPrimaryChild(PC) - Method in class buffer.ObjectWithParents
-
- replace(Variable, Variable) - Method in class sdd.SDD
-
Computes the SDD where every instance of the first specified variable
is replaced in this SDD by an instance of the second variable.
- retainAll(Collection<?>) - Method in class sdd.Singleton
-
- RightRotation - Class in sdd.ope
-
The operation that implements a right rotation,
i.e., such that a vtree of form (A,(B,C)) is transformed into a vtree of form ((A,B),C).
- RightRotation() - Constructor for class sdd.ope.RightRotation
-
- rightRotation(SDDTree, SDDMemory, VtreePath) - Static method in class sdd.ope.RightRotation
-
Applies the right rotation operation on the specified SDD tree
at the leaf of the specified path.
- rightRotation(VtreeNode) - Method in class sdd.SDD
-
Performs a right rotation operation on the specified node of the vtree.
- rightRotationOnCurrentNode(SDDMemory, SDDTreeDisjunction) - Static method in class sdd.ope.RightRotation
-
Applies the right rotation operation on the specified SDD tree
at the current node.
- rightRotationOnCurrentNode2(SDDMemory, SDDTreeDisjunction) - Static method in class sdd.ope.RightRotation
-
- rightRotationOnRoot() - Method in class sdd.SDD
-
Performs a right rotation operation on the root of this SDD.