smtrat::cad::ProjectionMixin< P > Struct Template Reference

Mixin that provides settings for the projection operator. More...

#include <NewCADSettings.h>

Inheritance diagram for smtrat::cad::ProjectionMixin< P >:

Static Public Attributes
static constexpr ProjectionType	projectionOperator = P

Detailed Description

template<ProjectionType P>
struct smtrat::cad::ProjectionMixin< P >

Mixin that provides settings for the projection operator.

Definition at line 32 of file NewCADSettings.h.

Field Documentation

projectionOperator

template<ProjectionType P>

constexpr ProjectionType smtrat::cad::ProjectionMixin< P >::projectionOperator = P

staticconstexpr

Definition at line 33 of file NewCADSettings.h.

---

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

• smtrat-modules/NewCADModule/NewCADSettings.h