PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
groebner
include
polybori
groebner
RedTailNth.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
14
//*****************************************************************************
15
16
#ifndef polybori_groebner_RedTailNth_h_
17
#define polybori_groebner_RedTailNth_h_
18
19
// include basic definitions
20
#include "
groebner_defs.h
"
21
22
#include "
PolyEntry.h
"
23
#include "
PolyEntryReference.h
"
24
#include "
ReductionStrategy.h
"
25
26
BEGIN_NAMESPACE_PBORIGB
27
35
class
RedTailNth
{
36
public
:
37
RedTailNth
(
ReductionStrategy
& strat): m_strat(strat) {}
38
39
template
<
class
KeyType>
40
const
Polynomial
&
operator()
(
const
KeyType& key) {
41
return
get
(m_strat(key)).p;
42
}
43
44
private
:
45
const
PolyEntry
&
get
(
PolyEntryReference
entry) {
46
return
entry =
red_tail
(m_strat, entry.get().p);
47
}
48
49
ReductionStrategy& m_strat;
50
};
51
52
END_NAMESPACE_PBORIGB
53
54
#endif
/* polybori_groebner_RedTailNth_h_ */
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition:
groebner_defs.h:16
PolyEntry.h
polybori::groebner::red_tail
Polynomial red_tail(const ReductionStrategy &strat, Polynomial p)
Definition:
red_tail.h:184
polybori::groebner::RedTailNth::operator()
const Polynomial & operator()(const KeyType &key)
Definition:
RedTailNth.h:40
BEGIN_NAMESPACE_PBORIGB
#define BEGIN_NAMESPACE_PBORIGB
Definition:
groebner_defs.h:15
polybori::groebner::PolyEntry
This class defines PolyEntry.
Definition:
PolyEntry.h:32
polybori::BoolePolynomial
This class wraps the underlying decicion diagram type and defines the necessary operations.
Definition:
BoolePolynomial.h:85
groebner_defs.h
PolyEntryReference.h
polybori::groebner::RedTailNth
Definition:
RedTailNth.h:35
polybori::groebner::RedTailNth::RedTailNth
RedTailNth(ReductionStrategy &strat)
Definition:
RedTailNth.h:37
ReductionStrategy.h
polybori::groebner::ReductionStrategy
This class defines ReductionStrategy.
Definition:
ReductionStrategy.h:34
polybori::groebner::PolyEntryReference
This class defines PolyEntryReference.
Definition:
PolyEntryReference.h:34
Generated by
1.8.9.1