polybori::groebner::LeadingTerms Class Reference

This class defines LeadingTerms. More...

#include <LeadingTerms.h>

Inheritance diagram for polybori::groebner::LeadingTerms:

polybori::groebner::TermsFacade< NewType > polybori::BooleSet polybori::CCuddDDFacade< RingType, DiagramType > polybori::CApplyNodeFacade< DiagramType, DdNode * > polybori::CAuxTypes

List of all members.

Public Member Functions

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


Detailed Description

This class defines LeadingTerms.

Constructor & Destructor Documentation

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


Member Function Documentation

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


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

Generated on Wed Jan 30 16:39:54 2013 for PolyBoRi by  doxygen 1.5.6