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

This class defines LLReductor. More...

#include <LLReductor.h>

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

List of all members.

Public Member Functions

 LLReductor (const BoolePolyRing &ring)
 Construct reductor from Ring.
template<class Type >
 LLReductor (const Type &value)
 Construct copy or MonomialSet.
bool isCompatible (const PolyEntry &entry)
 Test whether polynomial is a compatible reductor element.
Polynomial update (const PolyEntry &entry)
 Insert polynomial if compatible, return updated polynomial.

Detailed Description

This class defines LLReductor.


Constructor & Destructor Documentation

Construct reductor from Ring.

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

Construct copy or MonomialSet.

References PBORI_ASSERT.


Member Function Documentation

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

Insert polynomial if compatible, return updated polynomial.

References polybori::groebner::PolyEntryBase::p.


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