PolyBoRi
|
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 |
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 |
![]() | |
enum | ordercodes { lp, dlex, dp_asc, block_dlex, block_dp_asc } |
Codes For orderings. More... | |
![]() | |
enum | comparecodes { less_than = -1, equality = 0, greater_than = +1, less_or_equal_max = 0, greater_or_equal_min = 0 } |
Comparision codes enumeration. More... | |
enum | { max_idx = CUDD_MAXINDEX } |
![]() | |
typedef bool | bool_type |
Type for standard true/false statements. | |
typedef unsigned int | size_type |
Type for lengths, dimensions, etc. | |
typedef int | integer_type |
Type for integer numbers. | |
typedef int | idx_type |
Type for indices. | |
typedef std::size_t | hash_type |
Type for hashing. | |
typedef unsigned int | errornum_type |
Type used to store error codes. | |
typedef int | comp_type |
Type for comparisons. | |
typedef int | ordercode_type |
Type for ordering codes. | |
typedef const char * | errortext_type |
Type used to verbose error information. | |
typedef std::ostream | ostream_type |
Type for out-stream. | |
typedef const char * | 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. |
This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings.
generic access to base type
typedef BooleRing polybori::BooleRing::self |
generic access to current type
Explicitely mention ordercodes' enumeration.
|
inline |
Constructor for nvars variables.
|
inline |
|
inline |
destructor
|
inline |
Clears the function cache.
Access nvar-th variable of decision diagram manager.
|
inline |
Access to decision diagram manager.
|
inline |
Constant access to decision diagram manager.
|
inline |
Get number of ring variables.
Referenced by polybori::groebner::minimal_elements_internal3().
|
inline |
Get decision diagram with all variables negated.
Referenced by polybori::groebner::do_is_rewriteable().
Access nvar-th ring variable.
|
inline |
Print out statistics and settings for current ring.
|
inline |
Get empty decision diagram.
Referenced by polybori::groebner::do_is_rewriteable(), polybori::groebner::nf3_lexbuckets(), polybori::groebner::red_tail_general(), polybori::groebner::red_tail_generic(), polybori::groebner::reduce_by_monom(), and polybori::groebner::translate_indices().
|
protected |
Interprete m_mgr
as structure of Boolean polynomial ring.