carl::StdAdding< Polynomial > Struct Template Reference

#include <GBUpdateProcedures.h>

Public Member Functions
virtual	~StdAdding ()=default
bool	addToGb (const Polynomial &p, std::shared_ptr< Ideal< Polynomial >> gb, UpdateFnc *update)

Detailed Description

template<typename Polynomial>
struct carl::StdAdding< Polynomial >

Definition at line 21 of file GBUpdateProcedures.h.

Constructor & Destructor Documentation

~StdAdding()

template<typename Polynomial >

virtual carl::StdAdding< Polynomial >::~StdAdding ( )

virtualdefault

Member Function Documentation

addToGb()

template<typename Polynomial >

bool carl::StdAdding< Polynomial >::addToGb ( const Polynomial &  p, std::shared_ptr< Ideal< Polynomial >>  gb, UpdateFnc *  update  )

inline

Definition at line 26 of file GBUpdateProcedures.h.

---

The documentation for this struct was generated from the following file:

• carl-arith/groebner/GBUpdateProcedures.h