polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication > Class Template Reference

This class defines LLReduction. More...

#include <LLReduction.h>

List of all members.

Public Member Functions
template<class RingType>
	LLReduction (const RingType &ring)
Polynomial	multiply (const Polynomial &p, const Polynomial &q)
Polynomial	operator() (const Polynomial &p, MonomialSet::navigator r_nav)
Protected Types
typedef polybori::CacheManager < CCacheTypes::ll_red_nf >	cache_mgr_type
Protected Attributes
cache_mgr_type	cache_mgr

---

Detailed Description

template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>
class polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >

This class defines LLReduction.

---

Member Typedef Documentation

template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>

typedef polybori ::CacheManager<CCacheTypes::ll_red_nf> polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::cache_mgr_type [protected]

---

Constructor & Destructor Documentation

template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>

template<class RingType>

polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::LLReduction

(

const RingType &

ring

)

[inline]

---

Member Function Documentation

template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>

Polynomial polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::multiply	(	const Polynomial &	p,
		const Polynomial &	q
	)			[inline]

References polybori::BoolePolynomial::navigation(), and polybori::BoolePolynomial::ring().

Referenced by polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::operator()().

template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>

Polynomial polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::operator()	(	const Polynomial &	p,
		MonomialSet::navigator	r_nav
	)			[inline]

References polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::cache_mgr, polybori::CCuddNavigator::elseBranch(), polybori::CCuddNavigator::incrementThen(), polybori::CCuddNavigator::isConstant(), polybori::BoolePolynomial::isConstant(), polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::multiply(), polybori::BoolePolynomial::navigation(), PBORI_ASSERT, PBORI_LIKELY, PBORI_UNLIKELY, polybori::BoolePolynomial::ring(), and polybori::CCuddNavigator::thenBranch().

---

Member Data Documentation

template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>

cache_mgr_type polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::cache_mgr [protected]

Referenced by polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::operator()().

---

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

• LLReduction.h