PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
groebner
include
polybori
groebner
PolyPairData.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
14
//*****************************************************************************
15
16
#ifndef polybori_groebner_PolyPairData_h_
17
#define polybori_groebner_PolyPairData_h_
18
19
// include basic definitions
20
#include "
groebner_defs.h
"
21
22
BEGIN_NAMESPACE_PBORIGB
23
28
class
PolyPairData
:
public
PairData
{
29
public
:
30
Polynomial
p
;
31
Polynomial
extract
(
const
PolyEntryVector
& v)
const
{
32
return
p;
33
}
34
PolyPairData
(
const
BoolePolynomial
& poly): p(poly) { }
35
};
36
37
END_NAMESPACE_PBORIGB
38
39
#endif
/* polybori_PolyPairData_h_ */
Generated by
1.8.3.1