Uses of Class
sdd.VtreePath

Packages that use VtreePath

Package	Description
sdd
sdd.ope

Uses of VtreePath in sdd

Methods in sdd with parameters of type VtreePath

Modifier and Type	Method and Description
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.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.

Uses of VtreePath in sdd.ope

Methods in sdd.ope with parameters of type VtreePath

Modifier and Type	Method and Description
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	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.