sdd.opt

Class OptimisationReport

java.lang.Object

sdd.opt.OptimisationReport

public class OptimisationReport
extends java.lang.Object

An optimisation report is an object that summarise the result of one or several optimisation operations. In particular, it indicates whether a better vtree has been found, if so which one, how many subtrees this representation requires, and a map that associates each SDDTree of the old vtree to the SDDTree of the new vtree.

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Map<SDDTree,SDDTree>	_replacementMap A map that indicates how each SDDTree has been replaced.

Method Summary

Methods

Modifier and Type	Method and Description
static OptimisationReport	applyChildren(OptimisationReport primeRep, OptimisationReport subRep, OptimisationProblem pb) Computes the optimisation report corresponding to the application of the specified optimisation reports on the children of the current vtree.
static OptimisationReport	applyIterative(OptimisationReport rep1, OptimisationReport rep2)
OptimisationProblem	getNewProblem() Returns the optimisation problem that appears after this optimisation has been applied.
java.util.Map<SDDTree,SDDTree>	getNonNullMap()
java.util.Collection<SDDTree>	getSDDs() Returns the collection of SDDTrees after this optimisation was performed.
Vtree	getVtree() Returns the vtree in this report (the same as the old vtree if !vtreeChanged()).
static OptimisationReport	noChange(OptimisationProblem pb)
static OptimisationReport	optimisationChange(java.util.Map<SDDTree,SDDTree> replacementMap, java.util.Set<CanonicalWatched> subnodes, Vtree tree, java.util.Collection<SDDTree> newSDDs)
int	size()
void	unwatch() Unwatches the elements in this report.
boolean	vtreeChanged() Indicates whether the optimisation was successful.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_replacementMap

public final java.util.Map<SDDTree,SDDTree> _replacementMap

A map that indicates how each SDDTree has been replaced.

Method Detail

vtreeChanged

public boolean vtreeChanged()

Indicates whether the optimisation was successful.

Returns:

true if a new vtree was generated as a consequence of the optimisation.

getVtree

public Vtree getVtree()

Returns the vtree in this report (the same as the old vtree if !vtreeChanged()).

Returns:

the prefered vtree for this report.

noChange

public static OptimisationReport noChange(OptimisationProblem pb)

optimisationChange

public static OptimisationReport optimisationChange(java.util.Map<SDDTree,SDDTree> replacementMap,
                                    java.util.Set<CanonicalWatched> subnodes,
                                    Vtree tree,
                                    java.util.Collection<SDDTree> newSDDs)

getNonNullMap

public java.util.Map<SDDTree,SDDTree> getNonNullMap()

size

public int size()

applyIterative

public static OptimisationReport applyIterative(OptimisationReport rep1,
                                OptimisationReport rep2)

applyChildren

public static OptimisationReport applyChildren(OptimisationReport primeRep,
                               OptimisationReport subRep,
                               OptimisationProblem pb)

Computes the optimisation report corresponding to the application of the specified optimisation reports on the children of the current vtree.

Parameters:

primeRep - the optimisation report for the primes.

subRep - the optimisation report for the subs.

pb - the optimisation problem upon which this optimisation is defined.

Returns:

an optimisation report corresponding to the combination of the optimisation reports on the primes and the subs of sdds.

getSDDs

public java.util.Collection<SDDTree> getSDDs()

Returns the collection of SDDTrees after this optimisation was performed.

Returns:

the SDDTrees.

unwatch

public void unwatch()

Unwatches the elements in this report.

getNewProblem

public OptimisationProblem getNewProblem()

Returns the optimisation problem that appears after this optimisation has been applied.

Returns:

the optimisation problem after the application of this optimisation.