Uses of Class
sdd.Vtree

Packages that use Vtree

Package	Description
sdd
sdd.ope
sdd.opt

Uses of Vtree in sdd

Subclasses of Vtree in sdd

Modifier and Type	Class and Description
class	VtreeLeaf A VtreeLeaf, i.e., a (vtree) leaf, is a tree that contains a single variable.
class	VtreeNode A VtreeNode, i.e., a vtree node, is a binary node in a vtree.

Methods in sdd that return Vtree

Modifier and Type	Method and Description
Vtree	VtreePath.get() Returns the current position of this path.
Vtree	VtreeNode.getLeft() Returns the left child of this vtree node.
Vtree	VtreeNode.getRight() Returns the right child of this vtree node.
Vtree	SDD.getTree() Returns the Vtree of this SDD.

Methods in sdd with parameters of type Vtree

Modifier and Type	Method and Description
<X> X	SDDConstant.apply(SDDFunction<X> f, Vtree tree, java.util.Map<SDDTree,X> m)
abstract <X> X	SDDTree.apply(SDDFunction<X> f, Vtree tree, java.util.Map<SDDTree,X> m) Applies the specified function on this SDD tree.
<X> X	SDDTreeDisjunction.apply(SDDFunction<X> f, Vtree tree, java.util.Map<SDDTree,X> m)
<X> X	SDDVariable.apply(SDDFunction<X> f, Vtree tree, java.util.Map<SDDTree,X> m)
static SDD	SDD.constant(boolean constant, Vtree tree) Returns the SDD representing the specified constant.
abstract boolean	Vtree.contains(Vtree vt) Indicates whether this vtree contains the specified vtree.
boolean	VtreeLeaf.contains(Vtree vt)
boolean	VtreeNode.contains(Vtree vt)
static SDD	SDD.create(SDDTree sdd, Vtree tree) Creates an SDD defined as the specified SDD tree on the specified vtree.
static VtreeNode	VtreeNode.create(Vtree l, Vtree r)
static void	SDDTree.DEBUG_VERIFY_VTREE(Vtree tree, SDDTree sdd)
abstract boolean	Vtree.findPathTo(Vtree vt, java.util.List<VtreeNode> path) Stores in the specified list the ``path'' from this vtree to the specified vtree (excluded).
boolean	VtreeLeaf.findPathTo(Vtree vt, java.util.List<VtreeNode> path)
boolean	VtreeNode.findPathTo(Vtree vt, java.util.List<VtreeNode> path)
java.util.List<Assignment>	SDDConstant.getAssignmentList(Vtree tree)
abstract java.util.List<Assignment>	SDDTree.getAssignmentList(Vtree tree) Returns the list of assignments of this SDD tree.
java.util.List<Assignment>	SDDTreeDisjunction.getAssignmentList(Vtree tree)
java.util.List<Assignment>	SDDVariable.getAssignmentList(Vtree tree)
Assignment	SDDConstant.getOneAssignment(Vtree tree)
abstract Assignment	SDDTree.getOneAssignment(Vtree tree) Returns one assignment for this SDDTree defined on the specified vtree.
Assignment	SDDTreeDisjunction.getOneAssignment(Vtree tree)
Assignment	SDDVariable.getOneAssignment(Vtree tree)
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)
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.
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.

Constructors in sdd with parameters of type Vtree

Constructor and Description
VtreePath(Vtree r, Vtree l) Creates a vtree path whose root is the first specified vtree and whose leaf is the second specified vtree.

Uses of Vtree in sdd.ope

Methods in sdd.ope that return Vtree

Modifier and Type	Method and Description
Vtree	ChildrenOperation.apply(Vtree tree)
Vtree	ConsecutiveOperations.apply(Vtree tree)
Vtree	Identity.apply(Vtree tree)
Vtree	VtreeOperation.apply(Vtree tree) Computes the new vtree after application of this operation on the specified vtree.

Methods in sdd.ope with parameters of type Vtree

Modifier and Type	Method and Description
Vtree	ChildrenOperation.apply(Vtree tree)
Vtree	ConsecutiveOperations.apply(Vtree tree)
Vtree	Identity.apply(Vtree tree)
VtreeNode	LeftRotation.apply(Vtree tree)
VtreeNode	RightRotation.apply(Vtree tree)
VtreeNode	Swap.apply(Vtree tree)
Vtree	VtreeOperation.apply(Vtree tree) Computes the new vtree after application of this operation on the specified vtree.
boolean	ChildrenOperation.isApplicable(Vtree tree)
boolean	ConsecutiveOperations.isApplicable(Vtree tree)
boolean	Identity.isApplicable(Vtree tree)
boolean	LeftRotation.isApplicable(Vtree tree)
boolean	RightRotation.isApplicable(Vtree tree)
boolean	Swap.isApplicable(Vtree tree)
boolean	VtreeOperation.isApplicable(Vtree tree) Indicates whether this operation is applicable for the specified vtree.

Uses of Vtree in sdd.opt

Methods in sdd.opt that return Vtree

Modifier and Type	Method and Description
Vtree	ExplicitOptimisationProblem.getTree()
Vtree	OptimisationProblem.getTree()
Vtree	OptimisationReport.getVtree() Returns the vtree in this report (the same as the old vtree if !vtreeChanged()).

Methods in sdd.opt with parameters of type Vtree

Modifier and Type	Method and Description
static OptimisationReport	OptimisationReport.optimisationChange(java.util.Map<SDDTree,SDDTree> replacementMap, java.util.Set<CanonicalWatched> subnodes, Vtree tree, java.util.Collection<SDDTree> newSDDs)

Constructors in sdd.opt with parameters of type Vtree

Constructor and Description
ExplicitOptimisationProblem(java.util.Collection<SDDTree> sdds, Vtree tree) Creates an optimisation problem of the specified collection of SDD defined on the specified vtree.