public class ChildrenOperation extends java.lang.Object implements VtreeOperation
| 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.
|
| 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.
|
public ChildrenOperation(VtreeOperation op1, VtreeOperation op2)
op1 - the prime operation.op2 - the sub operation.public boolean isApplicable(Vtree tree)
VtreeOperationisApplicable in interface VtreeOperationtree - the vtree on which we want to perform this operation.public Vtree apply(Vtree tree)
VtreeOperationapply in interface VtreeOperationtree - the vtree on which the operation is applied.public SDDTree applyToSDD(SDDTree sdd, SDDMemory mem)
VtreeOperationapplyToSDD in interface VtreeOperationsdd - the SDD tree that is reformulated.mem - the memory used to store known results.apply(tree).