This class is just a wrapper accessing global structures. More...
#include <BooleEnv.h>
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 CDynamicOrderBase | order_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 |
 Public Types inherited from polybori::COrderEnums | |
| enum | ordercodes { lp, dlex, dp_asc, block_dlex, block_dp_asc } |
| Codes For orderings. More... | |
| Public Types inherited from polybori::CCompareEnums | |
| 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 } |
| Public Types inherited from polybori::CAuxTypes | |
| 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. | |
Static Public Member Functions | |
| static dd_type | variable (idx_type idx) |
| Access idx-th variable of the active ring. | |
| static dd_type | persistentVariable (idx_type idx) |
| Access idx-th variable. | |
| static ordercode_type | getOrderCode () |
| Get numerical code for current ordering. | |
| static ordercode_type | getBaseOrderCode () |
| static dd_type | zero () |
| Get empty decision diagram. | |
| static dd_type | one () |
| Get decision diagram with all variables negated. | |
| static size_type | nVariables () |
| Get number of ring variables the of active ring. | |
| static ring_type & | ring () |
| static manager_type & | manager () |
| static order_type & | ordering () |
| static void | setVariableName (idx_type idx, vartext_type varname) |
| Set name of variable with index idx. | |
| static vartext_type | getVariableName (idx_type idx) |
| Get name of variable with index idx. | |
| static void | changeOrdering (ordercode_type code) |
| Change order of current ring. | |
| static void | printInfo () |
| static void | set (ring_type &theRing) |
interface for block orderings | |
| static block_iterator | blockBegin () |
| static block_iterator | blockEnd () |
| static void | appendBlock (idx_type idx) |
| static void | clearBlocks () |
| static idx_type | lastBlockStart () |
Detailed Description
This class is just a wrapper accessing global structures.
Member Typedef Documentation
generic access to base type
| 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 CDynamicOrderBase polybori::BooleEnv::order_type |
| typedef BooleEnv polybori::BooleEnv::self |
generic access to current type
Member Enumeration Documentation
Explicitely mention ordercodes' enumeration.
Member Function Documentation
|
static |
|
static |
|
static |
|
static |
Change order of current ring.
|
static |
|
static |
Get numerical code for current base ordering (the same for non-block orderings)
|
static |
Get numerical code for current ordering.
|
static |
Get name of variable with index idx.
|
static |
References polybori::BoolePolyRing::lastBlockStart().
|
static |
|
static |
Get number of ring variables the of active ring.
References polybori::CDDInterface< CuddLikeZDD >::nVariables().
|
static |
Get decision diagram with all variables negated.
|
static |
Referenced by polybori::BoolePolynomial::boundedLead(), polybori::BoolePolynomial::boundedLeadExp(), polybori::BooleExponent::compare(), polybori::BooleMonomial::compare(), polybori::BoolePolynomial::eliminationLength(), polybori::BoolePolynomial::eliminationLengthWithDegBound(), polybori::greater_variable(), polybori::BoolePolynomial::lead(), polybori::BoolePolynomial::leadExp(), polybori::BoolePolynomial::leadFirst(), polybori::BoolePolynomial::orderedBegin(), polybori::BoolePolynomial::orderedEnd(), polybori::BoolePolynomial::orderedExpBegin(), polybori::BoolePolynomial::orderedExpEnd(), polybori::groebner::polynomial_in_one_block(), and polybori::groebner::PolyEntry::recomputeInformation().
|
static |
Access idx-th variable.
|
static |
|
inlinestatic |
References polybori::active_ring.
Referenced by polybori::groebner::GroebnerStrategy::add4ImplDelayed(), polybori::groebner::GroebnerStrategy::addHigherImplDelayedUsing4(), polybori::groebner::minimal_elements_internal3(), polybori::groebner::red_tail_in_last_block(), and polybori::groebner::GroebnerStrategy::suggestPluginVariable().
|
static |
Referenced by polybori::BoolePolyRing::activate().
|
static |
Set name of variable with index idx.
|
static |
Access idx-th variable of the active ring.
|
static |
Get empty decision diagram.
The documentation for this class was generated from the following files:
