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

Mixin that provides settings for incrementality and backtracking. More...

#include <NewCADSettings.h>

Inheritance diagram for smtrat::cad::IncrementalityMixin< I, B >:
Inheritance graph
[legend]

Static Public Attributes

static constexpr Incrementality incrementality = I
 
static constexpr Backtracking backtracking = B
 

Detailed Description

template<Incrementality I, Backtracking B>
struct smtrat::cad::IncrementalityMixin< I, B >

Mixin that provides settings for incrementality and backtracking.

Definition at line 17 of file NewCADSettings.h.

Field Documentation

◆ backtracking

template<Incrementality I, Backtracking B>
constexpr Backtracking smtrat::cad::IncrementalityMixin< I, B >::backtracking = B
staticconstexpr

Definition at line 19 of file NewCADSettings.h.

◆ incrementality

template<Incrementality I, Backtracking B>
constexpr Incrementality smtrat::cad::IncrementalityMixin< I, B >::incrementality = I
staticconstexpr

Definition at line 18 of file NewCADSettings.h.

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