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 |
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. | |
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 () |
This class is just a wrapper accessing global structures.
generic access to base type
typedef std::vector<idx_type> BooleEnv::block_idx_type |
Type for block indices.
typedef block_idx_type::const_iterator BooleEnv::block_iterator |
Type for block iterators.
typedef CTypes::dd_type BooleEnv::dd_type |
typedef CTypes::manager_ptr BooleEnv::manager_ptr |
Type for ordering codes.
Reimplemented from CAuxTypes.
typedef BoolePolyRing BooleEnv::ring_type |
typedef BooleEnv BooleEnv::self |
generic access to current type
Type for setting/getting names of variables.
Reimplemented from CAuxTypes.
Explicitely mention ordercodes' enumeration.
void BooleEnv::appendBlock | ( | idx_type | idx | ) | [static] |
References CDynamicOrderBase::appendBlock(), and ordering().
BooleEnv::block_iterator BooleEnv::blockBegin | ( | ) | [static] |
References CDynamicOrderBase::blockBegin(), and ordering().
BooleEnv::block_iterator BooleEnv::blockEnd | ( | ) | [static] |
References CDynamicOrderBase::blockEnd(), and ordering().
void BooleEnv::changeOrdering | ( | ordercode_type | code | ) | [static] |
Change order of current ring.
References BoolePolyRing::changeOrdering(), and ring().
void BooleEnv::clearBlocks | ( | ) | [static] |
References CDynamicOrderBase::clearBlocks(), and ordering().
BooleEnv::ordercode_type BooleEnv::getBaseOrderCode | ( | ) | [static] |
Get numerical code for current base ordering (the same for non-block orderings)
References CDynamicOrderBase::getBaseOrderCode(), and ordering().
BooleEnv::ordercode_type BooleEnv::getOrderCode | ( | ) | [static] |
Get numerical code for current ordering.
References CDynamicOrderBase::getOrderCode(), and ordering().
BooleEnv::vartext_type BooleEnv::getVariableName | ( | idx_type | idx | ) | [static] |
Get name of variable with index idx.
References manager().
BooleEnv::idx_type BooleEnv::lastBlockStart | ( | ) | [static] |
References BoolePolyRing::lastBlockStart().
BooleEnv::manager_type & BooleEnv::manager | ( | ) | [static] |
References BooleRing::manager(), and ring().
Referenced by getVariableName(), nVariables(), persistentVariable(), setVariableName(), and variable().
BooleEnv::size_type BooleEnv::nVariables | ( | ) | [static] |
Get number of ring variables the of active ring.
References manager().
BooleEnv::dd_type BooleEnv::one | ( | ) | [static] |
Get decision diagram with all variables negated.
References BooleRing::one(), and ring().
BooleEnv::order_type & BooleEnv::ordering | ( | ) | [static] |
References BoolePolyRing::ordering(), and ring().
Referenced by PolynomialSugar::add(), appendBlock(), blockBegin(), blockEnd(), BoolePolynomial::boundedLead(), BoolePolynomial::boundedLeadExp(), clearBlocks(), BooleMonomial::compare(), BooleExponent::compare(), BoolePolynomial::eliminationLength(), BoolePolynomial::eliminationLengthWithDegBound(), getBaseOrderCode(), getOrderCode(), polybori::greater_variable(), polybori::groebner::GroebnerStrategy::GroebnerStrategy(), BoolePolynomial::lead(), BoolePolynomial::leadExp(), BoolePolynomial::leadFirst(), LiteralFactorization::LiteralFactorization(), BoolePolynomial::orderedBegin(), BoolePolynomial::orderedEnd(), BoolePolynomial::orderedExpBegin(), BoolePolynomial::orderedExpEnd(), polynomial_in_one_block(), PolyEntry::recomputeInformation(), red_tail(), red_tail_general(), and select1().
BooleEnv::dd_type BooleEnv::persistentVariable | ( | idx_type | idx | ) | [static] |
Access idx-th variable.
References manager().
void BooleEnv::printInfo | ( | ) | [static] |
References BooleRing::printInfo(), and ring().
static ring_type& BooleEnv::ring | ( | ) | [inline, static] |
References active_ring.
Referenced by changeOrdering(), manager(), minimal_elements_internal3(), one(), ordering(), parallel_reduce(), printInfo(), red_tail_in_last_block(), LexBucket::updateTailStart(), and zero().
void BooleEnv::set | ( | ring_type & | theRing | ) | [static] |
void BooleEnv::setVariableName | ( | idx_type | idx, | |
vartext_type | varname | |||
) | [static] |
Set name of variable with index idx.
References manager().
BooleEnv::dd_type BooleEnv::variable | ( | idx_type | idx | ) | [static] |
Access idx-th variable of the active ring.
References manager().
BooleEnv::dd_type BooleEnv::zero | ( | ) | [static] |
Get empty decision diagram.
References ring(), and BooleRing::zero().
Referenced by CTermStackBase< NavigatorType, BaseType >::invalidate().