#include <groebner_alg.h>
polybori::groebner::GroebnerStrategy::GroebnerStrategy | ( | const GroebnerStrategy & | orig | ) |
polybori::groebner::GroebnerStrategy::GroebnerStrategy | ( | ) | [inline] |
References polybori::BoolePolynomial::diagram().
std::vector< Polynomial > polybori::groebner::GroebnerStrategy::add4ImplDelayed | ( | const Polynomial & | p, | |
const Exponent & | lm_exp, | |||
const Exponent & | used_variables, | |||
int | s, | |||
bool | include_orig | |||
) | [protected] |
Referenced by treatVariablePairs().
void polybori::groebner::GroebnerStrategy::addAsYouWish | ( | const Polynomial & | p | ) |
int polybori::groebner::GroebnerStrategy::addGenerator | ( | const BoolePolynomial & | p, | |
bool | is_impl = false , |
|||
std::vector< int > * | impl_v = NULL | |||
) |
deactivated existAbstract, because sigfaults on SatTestCase, AD
!!!! here we add the lm !!!!
void polybori::groebner::GroebnerStrategy::addGeneratorDelayed | ( | const BoolePolynomial & | p | ) |
void polybori::groebner::GroebnerStrategy::addGeneratorTrySplit | ( | const Polynomial & | p, | |
bool | is_minimal | |||
) |
std::vector< Polynomial > polybori::groebner::GroebnerStrategy::addHigherImplDelayedUsing4 | ( | int | s, | |
const LiteralFactorization & | literal_factors, | |||
bool | include_orig | |||
) | [protected] |
Referenced by treatVariablePairs().
void polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed | ( | const PolyEntry & | p | ) |
References polybori::groebner::map_every_x_to_x_plus_one().
void polybori::groebner::GroebnerStrategy::addVariablePairs | ( | int | s | ) | [protected] |
Referenced by treatVariablePairs().
std::vector< Polynomial > polybori::groebner::GroebnerStrategy::allGenerators | ( | ) |
bool polybori::groebner::GroebnerStrategy::containsOne | ( | ) | const [inline] |
std::vector<Polynomial> polybori::groebner::GroebnerStrategy::faugereStepDense | ( | const std::vector< Polynomial > & | ) |
void polybori::groebner::GroebnerStrategy::llReduceAll | ( | ) |
void polybori::groebner::GroebnerStrategy::log | ( | const char * | c | ) | [inline] |
std::vector< Polynomial > polybori::groebner::GroebnerStrategy::minimalize | ( | ) |
std::vector< Polynomial > polybori::groebner::GroebnerStrategy::minimalizeAndTailReduce | ( | ) |
Polynomial polybori::groebner::GroebnerStrategy::nextSpoly | ( | ) | [inline] |
Polynomial polybori::groebner::GroebnerStrategy::nf | ( | Polynomial | p | ) | const |
References generators, and polybori::groebner::ReductionStrategy::nf().
std::vector<Polynomial> polybori::groebner::GroebnerStrategy::noroStep | ( | const std::vector< Polynomial > & | ) |
void polybori::groebner::GroebnerStrategy::propagate | ( | const PolyEntry & | e | ) |
void polybori::groebner::GroebnerStrategy::propagate_step | ( | const PolyEntry & | e, | |
std::set< int > | others | |||
) |
References polybori::groebner::PolyEntry::deg, polybori::groebner::PolyEntry::ecart(), and polybori::groebner::PolyEntry::length.
Polynomial polybori::groebner::GroebnerStrategy::redTail | ( | const Polynomial & | p | ) |
int polybori::groebner::GroebnerStrategy::suggestPluginVariable | ( | ) |
void polybori::groebner::GroebnerStrategy::symmGB_F2 | ( | ) |
void polybori::groebner::GroebnerStrategy::treat_m_p_1_case | ( | const PolyEntry & | e | ) |
void polybori::groebner::GroebnerStrategy::treatNormalPairs | ( | int | s, | |
MonomialSet | intersecting_terms, | |||
MonomialSet | other_terms, | |||
MonomialSet | ext_prod_terms | |||
) | [protected] |
std::vector< Polynomial > polybori::groebner::GroebnerStrategy::treatVariablePairs | ( | int | s | ) | [protected] |
References add4ImplDelayed(), addHigherImplDelayedUsing4(), addVariablePairs(), polybori::BooleExponent::deg(), polybori::groebner::LiteralFactorization::factors, generators, polybori::groebner::PolyEntry::leadExp, polybori::groebner::PolyEntry::literal_factors, polybori::BoolePolynomial::nUsedVariables(), polybori::groebner::PolyEntry::p, polybori::groebner::polynomial_in_one_block(), polybori::groebner::LiteralFactorization::rest, polybori::groebner::PolyEntry::usedVariables, and polybori::groebner::LiteralFactorization::var2var_map.
bool polybori::groebner::GroebnerStrategy::variableHasValue | ( | idx_type | i | ) |
boost::shared_ptr<CacheManager> polybori::groebner::GroebnerStrategy::cache |
Referenced by llReduceAll(), nf(), polybori::groebner::nf3_lexbuckets(), polybori::groebner::LessCombinedManySizesInStrat::operator()(), polybori::groebner::LessUsedTailVariablesThenLessWeightedLengthInStrat::operator()(), polybori::groebner::LessEcartThenLessWeightedLengthInStrat::operator()(), and treatVariablePairs().
unsigned int polybori::groebner::GroebnerStrategy::reductionSteps |