SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Attributes
smtrat::mcsat::Base Struct Reference

#include <MCSATSettings.h>

Inheritance diagram for smtrat::mcsat::Base:
Inheritance graph
[legend]

Static Public Attributes

static constexpr bool early_evaluation = false
 

Detailed Description

Definition at line 20 of file MCSATSettings.h.

Field Documentation

◆ early_evaluation

constexpr bool smtrat::mcsat::Base::early_evaluation = false
staticconstexpr

Definition at line 21 of file MCSATSettings.h.

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