This class is just a wrapper accessing global structures. More...
#include <BooleEnv.h>
Inheritance diagram for polybori::BooleEnv:
Public Types | |
| typedef BooleEnv | self |
| generic access to current type | |
| typedef CTypes::orderenums_type | base |
| generic access to base type | |
| typedef std::vector< idx_type > | block_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
| typedef std::vector<idx_type> polybori::BooleEnv::block_idx_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.
| typedef BooleEnv polybori::BooleEnv::self |
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:
