PolyBoRi
Public Types | List of all members
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::BoolePolyRing polybori::CTypes polybori::BooleConstant 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 > polybori::PBoRiError

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: