carl::AbstractGBProcedure< Polynomial > Class Template Reference

#include <GBProcedure.h>

Inheritance diagram for carl::AbstractGBProcedure< Polynomial >:

Public Member Functions
virtual	~AbstractGBProcedure ()=default
virtual void	addPolynomial (const Polynomial &p)=0
virtual void	reset ()=0
virtual void	calculate ()=0
virtual std::list< std::pair< BitVector, BitVector > >	reduceInput ()=0
virtual const Ideal< Polynomial > &	getIdeal () const =0

Detailed Description

template<typename Polynomial>
class carl::AbstractGBProcedure< Polynomial >

Definition at line 18 of file GBProcedure.h.

Constructor & Destructor Documentation

~AbstractGBProcedure()

template<typename Polynomial >

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

virtualdefault

Member Function Documentation

addPolynomial()

template<typename Polynomial >

virtual void carl::AbstractGBProcedure< Polynomial >::addPolynomial ( const Polynomial &  p )

pure virtual

Implemented in carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >.

calculate()

template<typename Polynomial >

virtual void carl::AbstractGBProcedure< Polynomial >::calculate ( )

pure virtual

Implemented in carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >.

getIdeal()

template<typename Polynomial >

virtual const Ideal<Polynomial>& carl::AbstractGBProcedure< Polynomial >::getIdeal ( ) const

pure virtual

Implemented in carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >.

reduceInput()

template<typename Polynomial >

virtual std::list<std::pair<BitVector, BitVector> > carl::AbstractGBProcedure< Polynomial >::reduceInput ( )

pure virtual

Implemented in carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >.

reset()

template<typename Polynomial >

virtual void carl::AbstractGBProcedure< Polynomial >::reset ( )

pure virtual

Implemented in carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >.

---

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

• carl-arith/groebner/GBProcedure.h