PolyBoRi
Public Member Functions
polybori::groebner::MinimalLeadingTerms Class Reference

This class defines MinimalLeadingTerms. More...

#include <MinimalLeadingTerms.h>

Inheritance diagram for polybori::groebner::MinimalLeadingTerms:
polybori::BooleSet polybori::CCuddDDFacade< BoolePolyRing, BooleSet > polybori::CApplyNodeFacade< BooleSet, DdNode * > polybori::CAuxTypes

List of all members.

Public Member Functions

template<class Type >
 MinimalLeadingTerms (const Type &value)
MonomialSet update (const Monomial &lm)
 Insert leading term and return monomials, that are not minimal (any more)

Detailed Description

This class defines MinimalLeadingTerms.


Constructor & Destructor Documentation

template<class Type >
polybori::groebner::MinimalLeadingTerms::MinimalLeadingTerms ( const Type &  value) [inline]

Member Function Documentation


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