smtrat::cad::projection::Reducta< Poly > Struct Template Reference

Construct the set of reducta of the given polynomial. More...

#include <utils.h>

Inheritance diagram for smtrat::cad::projection::Reducta< Poly >:

Collaboration diagram for smtrat::cad::projection::Reducta< Poly >:

Public Member Functions
	Reducta (const Poly &p)

Data Fields
T	elements
	STL member. More...

Detailed Description

template<typename Poly>
struct smtrat::cad::projection::Reducta< Poly >

Construct the set of reducta of the given polynomial.

This only adds a custom constructor to a std::

Definition at line 74 of file utils.h.

Constructor & Destructor Documentation

Reducta()

template<typename Poly >

smtrat::cad::projection::Reducta< Poly >::Reducta ( const Poly &  p )

inline

Definition at line 75 of file utils.h.

Field Documentation

elements

T std::vector< T >::elements

inherited

STL member.

---

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

• smtrat-cad/projectionoperator/utils.h