sdd.ope

Class ChildrenOperation

java.lang.Object

sdd.ope.ChildrenOperation

All Implemented Interfaces:

VtreeOperation

public class ChildrenOperation
extends java.lang.Object
implements VtreeOperation

A children operation is a vtree operation where two specified operations are applied on the primes (for the first one) and the subs (for the second one) of the input vtree.

Constructor Summary

Constructors

Constructor and Description
ChildrenOperation(VtreeOperation op1, VtreeOperation op2) Builds a vtree operation that consists in applying the first specified operation on the primes of the input vtree, and the second specified operation on the subs of the input vtree.

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

ChildrenOperation

public ChildrenOperation(VtreeOperation op1,
                 VtreeOperation op2)

Builds a vtree operation that consists in applying the first specified operation on the primes of the input vtree, and the second specified operation on the subs of the input vtree.

Parameters:

op1 - the prime operation.

op2 - the sub operation.

Method Detail

isApplicable

public boolean isApplicable(Vtree tree)

Description copied from interface: VtreeOperation

Indicates whether this operation is applicable for the specified vtree.

Specified by:

isApplicable in interface VtreeOperation

Parameters:

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

Returns:

true if this operation can be applied on tree.

apply

public Vtree apply(Vtree tree)

Description copied from interface: VtreeOperation

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

Specified by:

apply in interface VtreeOperation

Parameters:

tree - the vtree on which the operation is applied.

Returns:

the vtree obtained by applying this operation on tree.

applyToSDD

public SDDTree applyToSDD(SDDTree sdd,
                 SDDMemory mem)

Description copied from interface: VtreeOperation

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.

Specified by:

applyToSDD in interface VtreeOperation

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