A B C D E F G H I L M N O P R S T U V W _

L

LeftRotation - Class in sdd.ope

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

LeftRotation() - Constructor for class sdd.ope.LeftRotation

leftRotation(SDDTree, SDDMemory, VtreePath) - Static method in class sdd.ope.LeftRotation

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

leftRotation(VtreeNode) - Method in class sdd.SDD

Performs a left rotation operation on the specified node of the vtree.

leftRotationOnCurrentNode(SDDMemory, SDDTreeDisjunction) - Static method in class sdd.ope.LeftRotation

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

leftRotationOnRoot() - Method in class sdd.SDD

Performs a left rotation operation on the root of this SDD.

LITERAL_TYPE - Variable in class sdd.SDDTree

localOptimal() - Method in class sdd.opt.Optimisation

Searches for local optimal.

A B C D E F G H I L M N O P R S T U V W _