Uses of Class
sdd.SDDMemory

Packages that use SDDMemory

Package	Description
sdd
sdd.ope

Uses of SDDMemory in sdd

Methods in sdd with parameters of type SDDMemory

Modifier and Type	Method and Description
static SDDTree	SDDTrees.and(SDDTree tr1, SDDTree tr2, SDDMemory mem) Computes the conjunction of the two specified SDD trees.
static SDDTree	SDDTrees.ban_and(SDDTree tr1, SDDTree tr2, SDDMemory mem) Computes the conjunction of the two specified SDD trees.
static SDDTree	SDDTrees.ban_exists(SDDTree sdd, Variable var, SDDMemory mem, VtreePath path) Computes the result of the exists operation on the specified sdd for the specified variable.
static SDDTree	SDDTrees.ban_forall(SDDTree sdd, Variable var, SDDMemory mem, VtreePath path) Computes the result of the forall operation on the specified sdd for the specified variable.
static SDDTree	SDDTrees.ban_not(SDDTree sdd, SDDMemory mem) Computes the negation of the specified SDD tree.
static SDDTree	SDDTrees.ban_or(SDDTree tr1, SDDTree tr2, SDDMemory mem) Computes the disjunction of the two specified SDD trees.
static SDDTree	SDDTrees.buildSimpleSDDNode(SDDTree prime, SDDTree sub, SDDMemory mem)
static SDDTree	SDDTrees.exists(SDDTree sdd, Variable var, SDDMemory mem, VtreePath path) Computes the result of the exists operation on the specified sdd for the specified variable.
static SDDTree	SDDTrees.forall(SDDTree sdd, Variable var, SDDMemory mem, VtreePath path) Computes the result of the forall operation on the specified sdd for the specified variable.
static SDDTree	SDDTrees.not(SDDTree sdd, SDDMemory mem) Computes the negation of the specified SDD tree.
static SDDTree	SDDTrees.or(SDDTree tr1, SDDTree tr2, SDDMemory mem) Computes the disjunction of the two specified SDD trees.

Constructors in sdd with parameters of type SDDMemory

Constructor and Description
SDDTreeDisjunctionConstructor(SDDMemory mem) Starts a constructor that uses the specified SDD Memory.

Uses of SDDMemory in sdd.ope

Methods in sdd.ope with parameters of type SDDMemory

Modifier and Type	Method and Description
SDDTree	ChildrenOperation.applyToSDD(SDDTree sdd, SDDMemory mem)
SDDTree	ConsecutiveOperations.applyToSDD(SDDTree sdd, SDDMemory mem)
SDDTree	Identity.applyToSDD(SDDTree sdd, SDDMemory mem)
SDDTree	LeftRotation.applyToSDD(SDDTree sdd, SDDMemory mem)
SDDTree	RightRotation.applyToSDD(SDDTree sdd, SDDMemory mem)
SDDTree	Swap.applyToSDD(SDDTree sdd, SDDMemory mem)
SDDTree	VtreeOperation.applyToSDD(SDDTree sdd, SDDMemory mem) Computes the SDD tree (associated with the vtree on which this operation is applied) that are equivalent to the specified SDD tree defined for the specified vtree.
static SDDTree	LeftRotation.leftRotation(SDDTree sdd, SDDMemory mem, VtreePath path) Applies the left rotation operation on the specified SDD tree at the leaf of the specified path.
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.rightRotation(SDDTree sdd, SDDMemory mem, VtreePath path) Applies the right rotation operation on the specified SDD tree at the leaf of the specified path.
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.