lava Namespace Reference

Everything in the LaVaBDD package is defined in the "lava" namespace. More...

Classes

class  Lattice
 The Lattice class template represents a finite distributive lattice. More...
class  NodePtr
 The NodePtr class provides automatic reference-counting for Node pointers. More...
class  Node
 The Node class represents an LVBDD node. More...
class  LVBDD
 The LVBDD class template represents a Lattice-Valued Binary Decision Diagram. More...

Variables

const int UNF = 0
 Pass this value to the LVBDD template to obtain a Unshared Normal Form LVBDD.
const int SNF_MEET = 1
 Pass this value to the LVBDD template to obtain a meet-semantics Shared Normal Form LVBDD.
const int SNF_JOIN = 2
 Pass this value to the LVBDD template to obtain a join-semantics Shared Normal Form LVBDD.

Detailed Description

Everything in the LaVaBDD package is defined in the "lava" namespace.

Generated on Tue Feb 23 19:27:51 2010 for LaVaBDD by  doxygen 1.6.3