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

This class defines LeadingTerms00. More...

#include <LeadingTerms00.h>

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

List of all members.

Public Member Functions

template<class Type >
 LeadingTerms00 (const Type &rhs)
bool isCompatible (const PolyEntry &entry) const

Detailed Description

This class defines LeadingTerms00.


Constructor & Destructor Documentation

template<class Type >
polybori::groebner::LeadingTerms00::LeadingTerms00 ( const Type &  rhs) [inline]

Member Function Documentation

bool polybori::groebner::LeadingTerms00::isCompatible ( const PolyEntry entry) const [inline]

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