16 #ifndef polybori_BooleEnv_h_
17 #define polybori_BooleEnv_h_
27 #if defined(__SUNPRO_C) || defined(__SUNPRO_CC)
28 # define PBORI_ENV_RING_NOTINLINED
168 #endif // of #ifndef polybori_BooleEnv_h_
BooleEnv::block_iterator block_begin(const BooleEnv::ring_type &ring)
please use BooleEnv::ring()
Definition: BooleEnv.cc:138
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
BoolePolyRing ring_type
Definition: BooleEnv.h:101
block_idx_type::const_iterator block_iterator
Type for block iterators.
Definition: BooleEnv.h:73
std::vector< idx_type > block_idx_type
Type for block indices.
Definition: BooleEnv.h:70
ordercodes
Codes For orderings.
Definition: pbori_defs.h:154
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
This struct contains type definitions and enumerations to be used for order codes.
Definition: pbori_defs.h:152
CTypes::vartext_type vartext_type
Definition: BooleEnv.h:66
class BooleVariable var_type
set variables type
Definition: BoolePolyRing.h:59
Definition: COrderingBase.h:43
This class reinterprets decicion diagram managers as Boolean polynomial rings, adds an ordering and v...
Definition: BoolePolyRing.h:40
This struct contains auxiliary type definitions.
Definition: pbori_defs.h:210
This class is just a wrapper accessing global structures.
Definition: BooleEnv.h:46
COrderingBase order_type
Definition: BooleEnv.h:103
class BooleSet dd_type
set decision diagram type
Definition: BoolePolyRing.h:62
BoolePolyRing::dd_type dd_type
Definition: BooleEnv.h:64
BooleEnv::block_iterator block_end(const BooleEnv::ring_type &ring)
Extract block data without exposing ordering stuff.
Definition: BooleEnv.cc:145
CTypes::ordercode_type ordercode_type
Definition: BooleEnv.h:63
BoolePolyRing::var_type var_type
Definition: BooleEnv.h:65
const char * vartext_type
Type for setting/getting names of variables.
Definition: pbori_defs.h:249
This struct contains type definitions and enumerations to be used for comparisons.
Definition: pbori_defs.h:193
int ordercode_type
Type for ordering codes.
Definition: pbori_defs.h:240
CTypes::orderenums_type base
generic access to base type
Definition: BooleEnv.h:59