polybori::BooleEnv Class Reference

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

#include <BooleEnv.h>

Inheritance diagram for polybori::BooleEnv:

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_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
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

typedef BooleEnv polybori::BooleEnv::self

generic access to current type

typedef CTypes::orderenums_type polybori::BooleEnv::base

generic access to base type

typedef CTypes::ordercode_type polybori::BooleEnv::ordercode_type

Type for ordering codes.

Reimplemented from polybori::CAuxTypes.

typedef BoolePolyRing::dd_type polybori::BooleEnv::dd_type

typedef BoolePolyRing::var_type polybori::BooleEnv::var_type

typedef CTypes::vartext_type polybori::BooleEnv::vartext_type

Type for setting/getting names of variables.

Reimplemented from polybori::CAuxTypes.

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.

typedef BoolePolyRing polybori::BooleEnv::ring_type

typedef COrderingBase polybori::BooleEnv::order_type

---

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

• BooleEnv.h