PolyBoRi
Public Member Functions | Public Attributes | List of all members
polybori::groebner::ReductionTerms Class Reference

This class defines term for ReductionStrategy. More...

#include <ReductionTerms.h>

Inheritance diagram for polybori::groebner::ReductionTerms:
polybori::groebner::ReductionStrategy

Public Member Functions

 ReductionTerms (const BoolePolyRing &ring)
 Initialize term data for given ring. More...
 
RelatedTerms related (const PolyEntry &entry) const
 

Public Attributes

LeadingTerms leadingTerms
 
MinimalLeadingTerms minimalLeadingTerms
 
LeadingTerms11 leadingTerms11
 
LeadingTerms00 leadingTerms00
 
LLReductor llReductor
 
MonomialTerms monomials
 
MonomialPlusOneTerms monomials_plus_one
 

Detailed Description

This class defines term for ReductionStrategy.

Constructor & Destructor Documentation

polybori::groebner::ReductionTerms::ReductionTerms ( const BoolePolyRing ring)
inline

Initialize term data for given ring.

Member Function Documentation

RelatedTerms polybori::groebner::ReductionTerms::related ( const PolyEntry entry) const
inline

Member Data Documentation

LeadingTerms polybori::groebner::ReductionTerms::leadingTerms
LeadingTerms00 polybori::groebner::ReductionTerms::leadingTerms00
LeadingTerms11 polybori::groebner::ReductionTerms::leadingTerms11
LLReductor polybori::groebner::ReductionTerms::llReductor
MinimalLeadingTerms polybori::groebner::ReductionTerms::minimalLeadingTerms
MonomialTerms polybori::groebner::ReductionTerms::monomials
MonomialPlusOneTerms polybori::groebner::ReductionTerms::monomials_plus_one

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