| Package | Description |
|---|---|
| sdd.ope |
| Modifier and Type | Class and Description |
|---|---|
class |
ChildrenOperation
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.
|
class |
ConsecutiveOperations
The consecutive application of a specified list of vtree operations.
|
class |
Identity
The identity vtree operation, i.e., the vtree operation
that does not modify the vtree.
|
class |
LeftRotation
The operation that implements a left rotation,
i.e., such that a vtree of form ((A,B),C) is transformed into a vtree of form (A,(B,C)).
|
class |
RightRotation
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).
|
class |
Swap
The operation that implements a swap,
i.e., such that a vtree of form (A,B) is transformed into a vtree of form (B,A).
|
| Modifier and Type | Method and Description |
|---|---|
static SDD |
VtreeOperations.apply(VtreeOperation op,
SDD sdd)
Performs the specified vtree operation on the specified sdd.
|
static boolean |
VtreeOperations.isApplicable(VtreeOperation op,
SDD sdd)
Indicates whether the specified vtree operation is applicable
on the specified SDD.
|
| 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.
|
| Constructor and Description |
|---|
ConsecutiveOperations(java.util.List<VtreeOperation> ops)
Creates the operation defined as the application
of the specified list of vtree operations.
|