sdd.ope

Class VtreeOperations

java.lang.Object

sdd.ope.VtreeOperations

public class VtreeOperations
extends java.lang.Object

Abstract methods for vtree operations.

Constructor Summary

Constructors

Constructor and Description
VtreeOperations()

Method Summary

Methods

Modifier and Type	Method and Description
static SDD	apply(VtreeOperation op, SDD sdd) Performs the specified vtree operation on the specified sdd.
static boolean	isApplicable(VtreeOperation op, SDD sdd) Indicates whether the specified vtree operation is applicable on the specified SDD.

Methods inherited from class java.lang.Object

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

Constructor Detail

VtreeOperations

public VtreeOperations()

Method Detail

apply

public static SDD apply(VtreeOperation op,
        SDD sdd)

Performs the specified vtree operation on the specified sdd. This method assumes that the operation is applicable.

Parameters:

op - the vtree operation to apply.

sdd - the SDD upon which the operation should be applied.

Returns:

the SDD corresponding to the application of op on sdd.

See Also:

isApplicable(sdd.ope.VtreeOperation, sdd.SDD)

isApplicable

public static boolean isApplicable(VtreeOperation op,
                   SDD sdd)

Indicates whether the specified vtree operation is applicable on the specified SDD.

Parameters:

op - the vtree operation that we are interested in.

sdd - the SDD on which we want to apply the vtree operation.

Returns:

true if op is applicable on the specified SDD, false otherwise.