polybori::groebner::LiteralFactorization Class Reference

#include <literal_factorization.h>

List of all members.

Public Types
typedef LiteralFactorizationIterator	const_iterator
typedef std::map< idx_type, int >	map_type
typedef std::map< idx_type, idx_type >	var2var_map_type
Public Member Functions
	LiteralFactorization (const Polynomial &)
	LiteralFactorization ()
bool	occursAsLeadOfFactor (idx_type v) const
bool	trivial () const
bool	is11Factorization ()
bool	is00Factorization ()
const_iterator	begin ()
const_iterator	end ()
Public Attributes
map_type	factors
Polynomial	rest
deg_type	lmDeg
var2var_map_type	var2var_map

---

Member Typedef Documentation

typedef LiteralFactorizationIterator polybori::groebner::LiteralFactorization::const_iterator

typedef std::map<idx_type, int> polybori::groebner::LiteralFactorization::map_type

typedef std::map<idx_type, idx_type> polybori::groebner::LiteralFactorization::var2var_map_type

---

Constructor & Destructor Documentation

polybori::groebner::LiteralFactorization::LiteralFactorization

(

const Polynomial &

p

)

References polybori::BooleExponent::begin(), polybori::BooleSet::change(), polybori::BooleExponent::end(), polybori::CCuddDDFacade< RingType, DiagramType >::isZero(), polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::leadDeg(), polybori::BoolePolynomial::leadExp(), polybori::BooleSet::length(), polybori::BoolePolynomial::ring(), polybori::CCuddDDFacade< RingType, DiagramType >::ring(), UNLIKELY, and polybori::BoolePolynomial::usedVariablesExp().

polybori::groebner::LiteralFactorization::LiteralFactorization

(

)

[inline]

---

Member Function Documentation

LiteralFactorization::const_iterator polybori::groebner::LiteralFactorization::begin

(

)

Referenced by polybori::groebner::easy_linear_factors().

LiteralFactorization::const_iterator polybori::groebner::LiteralFactorization::end

(

)

Referenced by polybori::groebner::easy_linear_factors().

bool polybori::groebner::LiteralFactorization::is00Factorization

(

)

References polybori::groebner::maps_to_one().

Referenced by polybori::groebner::GroebnerStrategy::addGenerator().

bool polybori::groebner::LiteralFactorization::is11Factorization

(

)

References polybori::groebner::maps_to_zero().

Referenced by polybori::groebner::GroebnerStrategy::addGenerator().

bool polybori::groebner::LiteralFactorization::occursAsLeadOfFactor

(

idx_type

v

)

const

References polybori::BooleExponent::begin().

bool polybori::groebner::LiteralFactorization::trivial

(

)

const

Referenced by polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed().

---

Member Data Documentation

map_type polybori::groebner::LiteralFactorization::factors

Referenced by polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed(), polybori::groebner::common_literal_factors_deg(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().

deg_type polybori::groebner::LiteralFactorization::lmDeg

Polynomial polybori::groebner::LiteralFactorization::rest

Referenced by polybori::groebner::GroebnerStrategy::addGeneratorTrySplit(), polybori::groebner::GroebnerStrategy::addHigherImplDelayedUsing4(), polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed(), polybori::groebner::common_literal_factors_deg(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().

var2var_map_type polybori::groebner::LiteralFactorization::var2var_map

Referenced by polybori::groebner::GroebnerStrategy::addNonTrivialImplicationsDelayed(), polybori::groebner::common_literal_factors_deg(), and polybori::groebner::GroebnerStrategy::treatVariablePairs().

---

The documentation for this class was generated from the following files:

• literal_factorization.h
• literal_factorization.cc