sdd.ope

Interface VtreeOperation

All Known Implementing Classes:

ChildrenOperation, ConsecutiveOperations, Identity, LeftRotation, RightRotation, Swap

public interface VtreeOperation

A vtree operation is an operation that affects a Vtree. The vtree operation also needs to be able to compute the new SDD.

Method Summary

Methods

Modifier and Type	Method and Description
Vtree	apply(Vtree tree) Computes the new vtree after application of this operation on the specified vtree.
SDDTree	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.
boolean	isApplicable(Vtree tree) Indicates whether this operation is applicable for the specified vtree.

Method Detail

isApplicable

boolean isApplicable(Vtree tree)

Indicates whether this operation is applicable for the specified vtree.

Parameters:

tree - the vtree on which we want to perform this operation.

Returns:

true if this operation can be applied on tree.

apply

Vtree apply(Vtree tree)

Computes the new vtree after application of this operation on the specified vtree.

Parameters:

tree - the vtree on which the operation is applied.

Returns:

the vtree obtained by applying this operation on tree.

applyToSDD

SDDTree 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.

Parameters:

sdd - the SDD tree that is reformulated.

mem - the memory used to store known results.

Returns:

an SDD tree equivalent to sdd but over apply(tree).