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

This class defines LeadingTerms11. More...

#include <LeadingTerms11.h>

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

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]

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