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

Mixin that provides settings for the sample comparison. More...

#include <NewCADSettings.h>

Inheritance diagram for smtrat::cad::SampleCompareMixin< SCS, FSCS >:
Inheritance graph
[legend]

Static Public Attributes

static constexpr cad::SampleCompareStrategy sampleComparator = SCS
 
static constexpr cad::FullSampleCompareStrategy fullSampleComparator = FSCS
 

Detailed Description

template<SampleCompareStrategy SCS, FullSampleCompareStrategy FSCS>
struct smtrat::cad::SampleCompareMixin< SCS, FSCS >

Mixin that provides settings for the sample comparison.

Definition at line 44 of file NewCADSettings.h.

Field Documentation

◆ fullSampleComparator

template<SampleCompareStrategy SCS, FullSampleCompareStrategy FSCS>
constexpr cad::FullSampleCompareStrategy smtrat::cad::SampleCompareMixin< SCS, FSCS >::fullSampleComparator = FSCS
staticconstexpr

Definition at line 46 of file NewCADSettings.h.

◆ sampleComparator

template<SampleCompareStrategy SCS, FullSampleCompareStrategy FSCS>
constexpr cad::SampleCompareStrategy smtrat::cad::SampleCompareMixin< SCS, FSCS >::sampleComparator = SCS
staticconstexpr

Definition at line 45 of file NewCADSettings.h.

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