Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

lava::Lattice< V >	The Lattice class template represents a finite distributive lattice
lava::LVBDD< L, F >	The LVBDD class template represents a Lattice-Valued Binary Decision Diagram
lava::Node< L, F >	The Node class represents an LVBDD node
lava::NodePtr< L, F >	The NodePtr class provides automatic reference-counting for Node pointers