PolyPairData Class Reference

#include <pairs.h>

Inheritance diagram for PolyPairData:
PairData

List of all members.

Public Member Functions

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

Public Attributes

Polynomial p

Constructor & Destructor Documentation

PolyPairData::PolyPairData ( const BoolePolynomial p  )  [inline]

Member Function Documentation

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

Implements PairData.

References p.


Member Data Documentation

Referenced by extract().


The documentation for this class was generated from the following file:
Generated on Thu Aug 5 12:57:33 2010 for PolyBoRi by  doxygen 1.6.3