PolyBoRi
|
extract(const PolyEntryVector &v) | PBORINAME::groebner::PolyPairData | [inline, virtual] |
p | PBORINAME::groebner::PolyPairData | |
PolyPairData(const BoolePolynomial &p) | PBORINAME::groebner::PolyPairData | [inline] |
~PairData()=0 | PBORINAME::groebner::PairData | [pure virtual] |