polybori::BooleRing Class Reference
This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings. More...
#include <BooleRing.h>
Inheritance diagram for polybori::BooleRing:
Public Types | |
| typedef BooleRing | self |
| generic access to current type | |
| typedef CTypes::orderenums_type | base |
| generic access to base type | |
adopt global type definitions | |
| typedef CTypes::ordercode_type | ordercode_type |
| Type for ordering codes. | |
| typedef CTypes::manager_type | manager_type |
| typedef CTypes::manager_reference | manager_reference |
| typedef CTypes::manager_ptr | manager_ptr |
| typedef CTypes::dd_type | dd_type |
| typedef CTypes::vartext_type | vartext_type |
| Type for setting/getting names of variables. | |
Public Member Functions | |
| BooleRing (size_type nvars=100) | |
| Constructor for nvars variables. | |
| BooleRing (const manager_type &mgr) | |
| ~BooleRing () | |
| destructor | |
| manager_type & | manager () |
| Access to decision diagram manager. | |
| const manager_type & | manager () const |
| Constant access to decision diagram manager. | |
| dd_type | ddVariable (idx_type nvar) const |
| Access nvar-th variable of decision diagram manager. | |
| dd_type | variable (idx_type nvar) const |
| Access nvar-th ring variable. | |
| dd_type | persistentVariable (idx_type nvar) const |
| Access nvar-th ring variable. | |
| dd_type | zero () const |
| Get empty decision diagram. | |
| dd_type | one () const |
| Get decision diagram with all variables negated. | |
| size_type | nVariables () const |
| Get number of ring variables. | |
| void | clearCache () |
| Clears the function cache. | |
| void | printInfo () |
| Print out statistics and settings for current ring. | |
Protected Attributes | |
| manager_type | m_mgr |
Interprete m_mgr as structure of Boolean polynomial ring. | |
Detailed Description
This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings.Member Typedef Documentation
| typedef BooleRing polybori::BooleRing::self |
Constructor & Destructor Documentation
| polybori::BooleRing::BooleRing | ( | size_type | nvars = 100 |
) | [inline] |
Constructor for nvars variables.
| polybori::BooleRing::BooleRing | ( | const manager_type & | mgr | ) | [inline] |
| polybori::BooleRing::~BooleRing | ( | ) | [inline] |
destructor
Member Function Documentation
| manager_type& polybori::BooleRing::manager | ( | ) | [inline] |
| const manager_type& polybori::BooleRing::manager | ( | ) | const [inline] |
Constant access to decision diagram manager.
Access nvar-th variable of decision diagram manager.
Access nvar-th ring variable.
Access nvar-th ring variable.
| dd_type polybori::BooleRing::zero | ( | ) | const [inline] |
Get empty decision diagram.
Referenced by polybori::groebner::PairManager::nextSpoly(), and polybori::BooleEnv::zero().
| dd_type polybori::BooleRing::one | ( | ) | const [inline] |
| size_type polybori::BooleRing::nVariables | ( | ) | const [inline] |
Get number of ring variables.
| void polybori::BooleRing::clearCache | ( | ) | [inline] |
Clears the function cache.
| void polybori::BooleRing::printInfo | ( | ) | [inline] |
Member Data Documentation
manager_type polybori::BooleRing::m_mgr [protected] |
Interprete m_mgr as structure of Boolean polynomial ring.
The documentation for this class was generated from the following file:
