PolyBoRi
Public Member Functions | Public Attributes
polybori::groebner::PolyPairData Class Reference

This class defines PolyPairData. More...

#include <PolyPairData.h>

Inheritance diagram for polybori::groebner::PolyPairData:
polybori::groebner::PairData

List of all members.

Public Member Functions

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

Public Attributes

Polynomial p

Detailed Description

This class defines PolyPairData.


Constructor & Destructor Documentation


Member Function Documentation


Member Data Documentation


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