PolyBoRi
Public Types
polybori::BooleEnv Class Reference

This class is just a wrapper accessing global structures. More...

#include <BooleEnv.h>

Inheritance diagram for polybori::BooleEnv:
polybori::COrderEnums polybori::CCompareEnums polybori::CAuxTypes

List of all members.

Public Types

typedef BooleEnv self
 generic access to current type
typedef CTypes::orderenums_type base
 generic access to base type
typedef std::vector< idx_typeblock_idx_type
 Type for block indices.
typedef
block_idx_type::const_iterator 
block_iterator
 Type for block iterators.
typedef BoolePolyRing ring_type
typedef COrderingBase order_type
enum  ordercodes
 Explicitely mention ordercodes' enumeration. More...
adopt global type definitions
typedef CTypes::ordercode_type ordercode_type
 Type for ordering codes.
typedef BoolePolyRing::dd_type dd_type
typedef BoolePolyRing::var_type var_type
typedef CTypes::vartext_type vartext_type
 Type for setting/getting names of variables.

Detailed Description

This class is just a wrapper accessing global structures.


Member Typedef Documentation

generic access to base type

Type for block indices.

typedef block_idx_type::const_iterator polybori::BooleEnv::block_iterator

Type for block iterators.

Type for ordering codes.

Reimplemented from polybori::CAuxTypes.

generic access to current type

Type for setting/getting names of variables.

Reimplemented from polybori::CAuxTypes.


Member Enumeration Documentation

Explicitely mention ordercodes' enumeration.


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