polybori::cudd_tag_number< Counted, Offset > Class Template Reference

#include <CCacheManagement.h>

List of all members.

Public Types

enum  { value }

template<unsigned Counted, unsigned Offset = 18>
class polybori::cudd_tag_number< Counted, Offset >


Member Enumeration Documentation

template<unsigned Counted, unsigned Offset = 18>
anonymous enum

Enumerator:
value 


The documentation for this class was generated from the following file:

Generated on Thu Mar 5 05:10:11 2009 for PolyBoRi by  doxygen 1.5.8