SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Attributes
smtrat::cad::ProjectionOrderMixin< PCS > Struct Template Reference

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

#include <NewCADSettings.h>

Inheritance diagram for smtrat::cad::ProjectionOrderMixin< PCS >:
Inheritance graph
[legend]

Static Public Attributes

static constexpr cad::ProjectionCompareStrategy projectionComparator = PCS
 

Detailed Description

template<ProjectionCompareStrategy PCS>
struct smtrat::cad::ProjectionOrderMixin< PCS >

Mixin that provides settings for the projection order.

Definition at line 64 of file NewCADSettings.h.

Field Documentation

◆ projectionComparator

template<ProjectionCompareStrategy PCS>
constexpr cad::ProjectionCompareStrategy smtrat::cad::ProjectionOrderMixin< PCS >::projectionComparator = PCS
staticconstexpr

Definition at line 65 of file NewCADSettings.h.

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