public class Identity extends java.lang.Object implements VtreeOperation
| Constructor and Description |
|---|
Identity() |
| 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 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).