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