PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
groebner
include
polybori
groebner
PairData.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
14
//*****************************************************************************
15
16
#ifndef polybori_groebner_PairData_h_
17
#define polybori_groebner_PairData_h_
18
19
// include basic definitions
20
21
#include "
groebner_defs.h
"
22
#include "
PolyEntryVector.h
"
23
24
BEGIN_NAMESPACE_PBORIGB
25
30
class
PairData
{
31
public
:
32
//gives back encoded
33
virtual
~PairData
() {}
34
//we don't demand that the pair is in a consistent state later
35
virtual
Polynomial
extract(
const
PolyEntryVector
& v)
const
=0;
36
};
37
38
END_NAMESPACE_PBORIGB
39
40
#endif
/* polybori_PairData_h_ */
polybori::groebner::PolyEntryVector
Definition:
PolyEntryVector.h:28
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition:
groebner_defs.h:16
BEGIN_NAMESPACE_PBORIGB
#define BEGIN_NAMESPACE_PBORIGB
Definition:
groebner_defs.h:15
polybori::BoolePolynomial
This class wraps the underlying decicion diagram type and defines the necessary operations.
Definition:
BoolePolynomial.h:85
polybori::groebner::PairData
This class defines PairData.
Definition:
PairData.h:30
groebner_defs.h
polybori::groebner::PairData::~PairData
virtual ~PairData()
Definition:
PairData.h:33
PolyEntryVector.h
Generated by
1.8.9.1