PolyBoRi
|
This class is just a wrapper for using variables from cudd's
decicion diagram.
More...
#include <BooleVariable.h>
Public Types | |
typedef BooleSet | set_type |
Type of sets of Boolean variables. More... | |
typedef BoolePolyRing | ring_type |
Type for Boolean polynomial rings (without ordering) More... | |
![]() | |
typedef bool | bool_type |
Type for standard true/false statements. More... | |
typedef std::size_t | size_type |
Type for lengths, dimensions, etc. More... | |
typedef int | deg_type |
Type for polynomial degrees (ranges from -1 to maxint) More... | |
typedef int | integer_type |
Type for integer numbers. More... | |
typedef int | idx_type |
Type for indices. More... | |
typedef std::size_t | hash_type |
Type for hashing. More... | |
typedef unsigned int | errornum_type |
Type used to store error codes. More... | |
typedef short int | comp_type |
Type for comparisons. More... | |
typedef int | ordercode_type |
Type for ordering codes. More... | |
typedef const char * | errortext_type |
Type used to verbose error information. More... | |
typedef std::ostream | ostream_type |
Type for out-stream. More... | |
typedef const char * | vartext_type |
Type for setting/getting names of variables. More... | |
typedef unsigned long | large_size_type |
large size_type (necessary?) More... | |
typedef std::size_t | refcount_type |
Type for counting references. More... | |
Public Member Functions | |
BooleVariable (idx_type idx, const ring_type &ring) | |
Constructor idx-th variable of active ring. More... | |
BooleVariable (const ring_type &ring) | |
Construct first variable of a given ring. More... | |
BooleVariable (const self &rhs) | |
Copy constructor. More... | |
operator const BoolePolynomial & () const | |
Cast to polynomial type. More... | |
idx_type | index () const |
Get index of the variable. More... | |
bool | operator== (const self &other) const |
Equality check. More... | |
bool | operator!= (const self &other) const |
hash_type | stableHash () const |
Hash value of the variable. More... | |
hash_type | hash () const |
Get unique hash value (valid only per runtime) More... | |
set_type | set () const |
Convert to Boolean set. More... | |
const ring_type & | ring () const |
Access ring, where this belongs to. More... | |
Friends | |
class | BoolePolyRing |
This class is just a wrapper for using variables from cudd's
decicion diagram.
BooleVariable
is actually a specialization of BoolePolynomial
with a special constructor. Type for Boolean polynomial rings (without ordering)
Type of sets of Boolean variables.
Constructor idx-th variable of active ring.
explicit BooleVariable(idx_type idx = 0): m_poly( BooleEnv::ring().variable(idx) ) {}Construct idx-th variable of a given ring
|
inline |
Construct first variable of a given ring.
|
inline |
Copy constructor.
|
inline |
Get unique hash value (valid only per runtime)
|
inline |
Get index of the variable.
Referenced by polybori::BooleExponent::divide(), polybori::groebner::FGLMStrategy::multiplicationTableForVariable(), polybori::BooleExponent::multiply(), polybori::BooleMonomial::operator*=(), polybori::BooleMonomial::operator/=(), polybori::BooleExponent::reducibleBy(), and polybori::groebner::FGLMStrategy::testMultiplicationTables().
|
inline |
Cast to polynomial type.
|
inline |
|
inline |
Equality check.
|
inline |
Access ring, where this belongs to.
Referenced by polybori::operator/().
|
inline |
Convert to Boolean set.
|
inline |
Hash value of the variable.
|
friend |