PolyBoRi
|
This class defines PolyPairData. More...
#include <PolyPairData.h>
Public Member Functions | |
Polynomial | extract (const PolyEntryVector &v) const |
PolyPairData (const BoolePolynomial &poly) | |
![]() | |
virtual | ~PairData () |
Public Attributes | |
Polynomial | p |
This class defines PolyPairData.
|
inline |
|
inlinevirtual |
Implements polybori::groebner::PairData.
Polynomial polybori::groebner::PolyPairData::p |