Uses of Class
sdd.SDDTreeDisjunction

Packages that use SDDTreeDisjunction

Package	Description
sdd
sdd.ope

Uses of SDDTreeDisjunction in sdd

Methods in sdd that return SDDTreeDisjunction

Modifier and Type	Method and Description
static SDDTreeDisjunction	SDDTreeDisjunction.create(java.util.Set<SDDTreeConjunction> conjuncts)
SDDTreeDisjunction	SDDConstant.getDisjunction()
abstract SDDTreeDisjunction	SDDTree.getDisjunction() Returns the disjunction associated with this SDD tree.
SDDTreeDisjunction	SDDTreeDisjunction.getDisjunction()
SDDTreeDisjunction	SDDVariable.getDisjunction()

Methods in sdd that return types with arguments of type SDDTreeDisjunction

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

Methods in sdd with parameters of type SDDTreeDisjunction

Modifier and Type	Method and Description
void	SDDMemory.addAnd(SDDTreeDisjunction c1, SDDTreeDisjunction c2, SDDTree c) Stores the specified result of the conjunction of the two specified SDDTree.
void	SDDMemory.addExists(SDDTreeDisjunction t, SDDTreeDisjunction e) Stores the specified result of the existence operation on the specified SDDTree.
void	SDDMemory.addForall(SDDTreeDisjunction t, SDDTreeDisjunction f) Stores the specified result of the universal operation on the specified SDDTree.
void	SDDMemory.addNot(SDDTreeDisjunction t, SDDTreeDisjunction n) Stores the specified result of the negation of the specified SDDTree.
void	SDDMemory.addOr(SDDTreeDisjunction d1, SDDTreeDisjunction d2, SDDTree d) Stores the specified result of the disjunction of the two specified SDDTree.
void	SDDMemory.addTree(SDDTreeDisjunction t, SDDTreeDisjunction f) Stores the specified result of the tree-based operation on the specified SDDTree.
SDDTree	SDDMemory.and(SDDTreeDisjunction t1, SDDTreeDisjunction t2) Returns the result of the AND operation between the two specified SDDTreeDisjunction if this result is known, null otherwise.
SDDTree	SDDMemory.exists(SDDTreeDisjunction t) Returns the result of the EXISTS operation on the specified SDDTreeDisjunction if this result is known, null otherwise.
SDDTree	SDDMemory.forall(SDDTreeDisjunction t) Returns the result of the FORALL operation on the specified SDDTreeDisjunction if this result is known, null otherwise.
SDDTree	SDDMemory.not(SDDTreeDisjunction t) Returns the result of the NOT operation on the specified SDDTreeDisjunction if this result is known, null otherwise.
SDDTree	SDDMemory.or(SDDTreeDisjunction t1, SDDTreeDisjunction t2) Returns the result of the OR operation between the two specified SDDTreeDisjunction if this result is known, null otherwise.
SDDTree	SDDMemory.tree(SDDTreeDisjunction t) Returns the result of the tree-based operation on the specified SDDTreeDisjunction if this result is known, null otherwise.

Method parameters in sdd with type arguments of type SDDTreeDisjunction

Modifier and Type	Method and Description
java.math.BigInteger	SDDConstant.nbModels(Vtree tree, java.util.Map<SDDTreeDisjunction,java.math.BigInteger> records)
abstract java.math.BigInteger	SDDTree.nbModels(Vtree tree, java.util.Map<SDDTreeDisjunction,java.math.BigInteger> records) Returns the number of models of this SDD tree.
java.math.BigInteger	SDDTreeDisjunction.nbModels(Vtree tree, java.util.Map<SDDTreeDisjunction,java.math.BigInteger> records)
java.math.BigInteger	SDDVariable.nbModels(Vtree tree, java.util.Map<SDDTreeDisjunction,java.math.BigInteger> records)

Uses of SDDTreeDisjunction in sdd.ope

Methods in sdd.ope with parameters of type SDDTreeDisjunction

Modifier and Type	Method and Description
static SDDTree	LeftRotation.leftRotationOnCurrentNode(SDDMemory mem, SDDTreeDisjunction sdd) Applies the left rotation operation on the specified SDD tree at the current node.
static SDDTree	RightRotation.rightRotationOnCurrentNode(SDDMemory mem, SDDTreeDisjunction sdd) Applies the right rotation operation on the specified SDD tree at the current node.
static SDDTree	RightRotation.rightRotationOnCurrentNode2(SDDMemory mem, SDDTreeDisjunction sdd)
static SDDTree	Swap.swapVnodeOnCurrentNode(SDDMemory mem, SDDTreeDisjunction sdd) Applies the swap operation on the specified SDD tree at the current node.