carl::RealRadicalAwareAdding< Polynomial > Struct Template Reference

#include <GBUpdateProcedures.h>

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

Detailed Description

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

Definition at line 52 of file GBUpdateProcedures.h.

Constructor & Destructor Documentation

~RealRadicalAwareAdding()

template<typename Polynomial >

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

inlinevirtual

Definition at line 57 of file GBUpdateProcedures.h.

Member Function Documentation

addToGb()

template<typename Polynomial >

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

inline

Definition at line 62 of file GBUpdateProcedures.h.

Here is the call graph for this function:

---

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

• carl-arith/groebner/GBUpdateProcedures.h