sdd.ope

Class RightRotation

java.lang.Object

sdd.ope.RightRotation

All Implemented Interfaces:

VtreeOperation

public class RightRotation
extends java.lang.Object
implements VtreeOperation

The operation that implements a right rotation, i.e., such that a vtree of form (A,(B,C)) is transformed into a vtree of form ((A,B),C).

Constructor Summary

Constructors

Constructor and Description
RightRotation()

Method Summary

Methods

Modifier and Type	Method and Description
VtreeNode	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.
static SDDTree	rightRotation(SDDTree sdd, SDDMemory mem, VtreePath path) Applies the right rotation operation on the specified SDD tree at the leaf of the specified path.
static SDDTree	rightRotationOnCurrentNode(SDDMemory mem, SDDTreeDisjunction sdd) Applies the right rotation operation on the specified SDD tree at the current node.
static SDDTree	rightRotationOnCurrentNode2(SDDMemory mem, SDDTreeDisjunction sdd)

Methods inherited from class java.lang.Object

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

Constructor Detail

RightRotation

public RightRotation()

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

rightRotation

public static SDDTree rightRotation(SDDTree sdd,
                    SDDMemory mem,
                    VtreePath path)

Applies the right rotation operation on the specified SDD tree at the leaf of the specified path.

Parameters:

sdd - the SDD tree on which the operation is applied.

mem - the SDD memory used to record already computed objects.

path - the path that indicate where the operation needs to be applied.

Returns:

a right rotated version of the SDD.

rightRotationOnCurrentNode

public static SDDTree rightRotationOnCurrentNode(SDDMemory mem,
                                 SDDTreeDisjunction sdd)

Applies the right rotation operation on the specified SDD tree at the current node.

Parameters:

sdd - the SDD tree on which the operation is applied.

mem - the SDD memory used to record already computed objects.

Returns:

a right rotated version of the SDD.

rightRotationOnCurrentNode2

public static SDDTree rightRotationOnCurrentNode2(SDDMemory mem,
                                  SDDTreeDisjunction sdd)

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