polybori::CCompareEnums Class Reference

This struct contains type definitions and enumerations to be used for comparisons. More...

#include <pbori_defs.h>

Inheritance diagram for polybori::CCompareEnums:

polybori::BooleEnv polybori::BooleRing polybori::CTypes polybori::BoolePolyRing polybori::pbori_traits< dummy_iterator > polybori::pbori_traits< int > polybori::pbori_traits< long int > polybori::pbori_traits< std::set< ValueType > > polybori::pbori_traits< std::vector< ValueType > > polybori::pbori_traits< unsigned int > polybori::pbori_traits< void >

List of all members.

Public Types

enum  comparecodes {
  less_than = -1, equality = 0, greater_than = +1, less_or_equal_max = 0,
  greater_or_equal_min = 0
}
 Comparision codes enumeration. More...
enum  { max_idx = CUDD_MAXINDEX }


Detailed Description

This struct contains type definitions and enumerations to be used for comparisons.

Member Enumeration Documentation

anonymous enum

Enumerator:
max_idx 

Comparision codes enumeration.

Enumerator:
less_than 
equality 
greater_than 
less_or_equal_max 
greater_or_equal_min 


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

Generated on Mon Jul 13 21:48:45 2009 for PolyBoRi by  doxygen 1.5.9