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

Mixin that provides settings for MIS generation. More...

#include <NewCADSettings.h>

Inheritance diagram for smtrat::cad::MISHeuristicMixin< MIS >:
Inheritance graph
[legend]

Static Public Attributes

static constexpr cad::MISHeuristic misHeuristic = MIS
 

Detailed Description

template<MISHeuristic MIS>
struct smtrat::cad::MISHeuristicMixin< MIS >

Mixin that provides settings for MIS generation.

Definition at line 77 of file NewCADSettings.h.

Field Documentation

◆ misHeuristic

template<MISHeuristic MIS>
constexpr cad::MISHeuristic smtrat::cad::MISHeuristicMixin< MIS >::misHeuristic = MIS
staticconstexpr

Definition at line 78 of file NewCADSettings.h.

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