This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings. More...
#include <BooleRing.h>
Public Types | |
typedef BooleRing | self |
generic access to current type | |
typedef CTypes::orderenums_type | base |
generic access to base type | |
enum | ordercodes |
Explicitely mention ordercodes' enumeration. More... | |
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. | |
vartext_type | getVariableName (idx_type idx) |
Get name of variable with index idx. | |
void | setVariableName (idx_type idx, vartext_type varname) |
Set name of variable with index idx. | |
void | clearCache () |
Clears the function cache. | |
void | printInfo () |
Print out statistics and settings for current ring. | |
self | clone () const |
Generate ring based on the same manager. | |
hash_type | hash () const |
Get unique identifier for *this. | |
Protected Attributes | |
manager_type | m_mgr |
Interprete m_mgr as structure of Boolean polynomial ring. |
This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings.
generic access to base type
Reimplemented in polybori::BoolePolyRing.
Type for ordering codes.
Reimplemented from polybori::CAuxTypes.
typedef BooleRing polybori::BooleRing::self |
generic access to current type
Reimplemented in polybori::BoolePolyRing.
Type for setting/getting names of variables.
Reimplemented from polybori::CAuxTypes.
Explicitely mention ordercodes' enumeration.
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
void polybori::BooleRing::clearCache | ( | ) | [inline] |
Clears the function cache.
self polybori::BooleRing::clone | ( | ) | const [inline] |
Generate ring based on the same manager.
Reimplemented in polybori::BoolePolyRing.
Access nvar-th variable of decision diagram manager.
vartext_type polybori::BooleRing::getVariableName | ( | idx_type | idx | ) | [inline] |
Get name of variable with index idx.
Referenced by polybori::BooleEnv::getVariableName().
hash_type polybori::BooleRing::hash | ( | ) | const [inline] |
Get unique identifier for *this.
const manager_type& polybori::BooleRing::manager | ( | ) | const [inline] |
Constant access to decision diagram manager.
manager_type& polybori::BooleRing::manager | ( | ) | [inline] |
Access to decision diagram manager.
Referenced by polybori::BooleEnv::manager().
size_type polybori::BooleRing::nVariables | ( | ) | const [inline] |
Get number of ring variables.
dd_type polybori::BooleRing::one | ( | ) | const [inline] |
Get decision diagram with all variables negated.
Referenced by polybori::BooleEnv::one().
Access nvar-th ring variable.
void polybori::BooleRing::printInfo | ( | ) | [inline] |
Print out statistics and settings for current ring.
Referenced by polybori::BooleEnv::printInfo().
void polybori::BooleRing::setVariableName | ( | idx_type | idx, | |
vartext_type | varname | |||
) | [inline] |
Set name of variable with index idx.
Referenced by polybori::BooleEnv::setVariableName().
Access nvar-th ring variable.
dd_type polybori::BooleRing::zero | ( | ) | const [inline] |
Get empty decision diagram.
Referenced by polybori::BooleEnv::zero().
manager_type polybori::BooleRing::m_mgr [protected] |
Interprete m_mgr
as structure of Boolean polynomial ring.