Go to the documentation of this file.
16 #ifndef polybori_groebner_TermsFacade_h_
17 #define polybori_groebner_TermsFacade_h_
29 template <
class NewType>
42 if (
get().isCompatible(entry))
43 operator=(unite(entry.
lead.
set()));
48 return static_cast<TermsFacade&
>(
static_cast<base&
>(*this) = rhs);
52 const NewType&
get()
const {
return static_cast<const NewType&
>(*this); }