PolyPairData Class Reference

#include <pairs.h>

Inheritance diagram for PolyPairData:

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

Polynomial PolyPairData::p

Referenced by extract().

---

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

• pairs.h