polybori::groebner::LeadingTerms11 Class Reference

This class defines LeadingTerms11. More...

#include <LeadingTerms11.h>

Inheritance diagram for polybori::groebner::LeadingTerms11:

List of all members.

Public Member Functions
template<class Type>
	LeadingTerms11 (const Type &rhs)
bool	isCompatible (const PolyEntry &entry) const

---

Detailed Description

This class defines LeadingTerms11.

---

Constructor & Destructor Documentation

template<class Type>

polybori::groebner::LeadingTerms11::LeadingTerms11

(

const Type &

rhs

)

[inline]

---

Member Function Documentation

bool polybori::groebner::LeadingTerms11::isCompatible

(

const PolyEntry &

entry

)

const [inline]

References polybori::groebner::LiteralFactorization::is11Factorization(), and polybori::groebner::PolyEntryBase::literal_factors.

---

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

• LeadingTerms11.h