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

Functions

int hash_int (int key)
 Simple hash function for int values. It is used internally to hash pointers and indexes.

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 Sat Feb 27 01:22:15 2010 for LaVaBDD by  doxygen 1.6.3