PolyBoRi
Public Member Functions | Public Attributes

PBORINAME::groebner::PolyPairData Class Reference

#include <pairs.h>

Inheritance diagram for PBORINAME::groebner::PolyPairData:
PBORINAME::groebner::PairData

List of all members.

Public Member Functions

Polynomial extract (const PolyEntryVector &v)
 PolyPairData (const BoolePolynomial &p)

Public Attributes

Polynomial p

Constructor & Destructor Documentation

PBORINAME::groebner::PolyPairData::PolyPairData ( const BoolePolynomial &  p) [inline]

Member Function Documentation

Polynomial PBORINAME::groebner::PolyPairData::extract ( const PolyEntryVector v) [inline, virtual]

Member Data Documentation


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