polybori::groebner::TermsFacade< NewType > Class Template Reference

This class defines TermsFacade. More...

#include <TermsFacade.h>

Inheritance diagram for polybori::groebner::TermsFacade< NewType >:

polybori::BooleSet polybori::CCuddDDFacade< RingType, DiagramType > polybori::CApplyNodeFacade< DiagramType, DdNode * > polybori::CAuxTypes polybori::groebner::LeadingTerms polybori::groebner::LeadingTerms00 polybori::groebner::LeadingTerms11 polybori::groebner::MonomialPlusOneTerms polybori::groebner::MonomialTerms

List of all members.

Public Member Functions

template<class Type>
 TermsFacade (const Type &value)
 Construct copy or MonomialSet from value.
void update (const PolyEntry &entry)
 Insert data (polynomial or leading term) from entry.


Detailed Description

template<class NewType>
class polybori::groebner::TermsFacade< NewType >

This class defines TermsFacade.

Constructor & Destructor Documentation

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

Construct copy or MonomialSet from value.


Member Function Documentation

template<class NewType>
void polybori::groebner::TermsFacade< NewType >::update ( const PolyEntry entry  )  [inline]

Insert data (polynomial or leading term) from entry.

Referenced by polybori::groebner::ReductionStrategy::llReduce(), and polybori::groebner::ReductionStrategy::setupSetsForElement().


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