TermsFacade.h

Go to the documentation of this file.

// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************

#ifndef polybori_groebner_TermsFacade_h_
#define polybori_groebner_TermsFacade_h_

// include basic definitions
#include "groebner_defs.h"

BEGIN_NAMESPACE_PBORIGB

template <class NewType>
class TermsFacade:
  public MonomialSet {

  typedef MonomialSet base;

public:
  template <class Type>
  TermsFacade(const Type& value): base(value) { }

  void update(const PolyEntry& entry) { 
    if (get().isCompatible(entry))
      operator=(unite(entry.lead.set()));
  }
  
private:
  TermsFacade& operator=(const TermsFacade& rhs) {
    return static_cast<TermsFacade&>(static_cast<base&>(*this) = rhs);
  }

  const NewType& get() const { return static_cast<const NewType&>(*this); }
};

END_NAMESPACE_PBORIGB

#endif /* polybori_groebner_TermsFacade_h_ */

---