PolyBoRi
Main Page
Related Pages
Namespaces
Classes
Files
File List
File Members
groebner
include
polybori
groebner
TermsFacade.h
Go to the documentation of this file.
1
// -*- c++ -*-
2
//*****************************************************************************
14
//*****************************************************************************
15
16
#ifndef polybori_groebner_TermsFacade_h_
17
#define polybori_groebner_TermsFacade_h_
18
19
// include basic definitions
20
#include "
groebner_defs.h
"
21
22
BEGIN_NAMESPACE_PBORIGB
23
29
template
<
class
NewType>
30
class
TermsFacade
:
31
public
MonomialSet
{
32
33
typedef
MonomialSet
base
;
34
35
public
:
37
template
<
class
Type>
38
TermsFacade
(
const
Type& value): base(value) { }
39
41
void
update
(
const
PolyEntry
& entry) {
42
if
(
get
().isCompatible(entry))
43
operator=(unite(entry.
lead
.
set
()));
44
}
45
46
private
:
47
TermsFacade
& operator=(
const
TermsFacade
& rhs) {
48
return
static_cast<
TermsFacade
&
>
(
static_cast<
base&
>
(*this) = rhs);
49
}
50
52
const
NewType&
get
()
const
{
return
static_cast<
const
NewType&
>
(*this); }
53
};
54
55
END_NAMESPACE_PBORIGB
56
57
#endif
/* polybori_groebner_TermsFacade_h_ */
polybori::BooleMonomial::set
set_type set() const
Get corresponding subset of of the powerset over all variables.
Definition:
BooleMonomial.h:216
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition:
groebner_defs.h:16
polybori::groebner::TermsFacade
This class defines TermsFacade.
Definition:
TermsFacade.h:30
BEGIN_NAMESPACE_PBORIGB
#define BEGIN_NAMESPACE_PBORIGB
Definition:
groebner_defs.h:15
polybori::groebner::TermsFacade::update
void update(const PolyEntry &entry)
Insert data (polynomial or leading term) from entry.
Definition:
TermsFacade.h:41
polybori::groebner::PolyEntry
This class defines PolyEntry.
Definition:
PolyEntry.h:32
groebner_defs.h
polybori::CCuddDDFacade< BoolePolyRing, BooleSet >
polybori::groebner::TermsFacade::TermsFacade
TermsFacade(const Type &value)
Construct copy or MonomialSet from value.
Definition:
TermsFacade.h:38
polybori::groebner::PolyEntryBase::lead
Monomial lead
Definition:
PolyEntryBase.h:55
polybori::BooleSet
Definition:
BooleSet.h:57
Generated by
1.8.9.1