SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::analyzer::AnalysisSettings Struct Reference

#include <settings.h>

Collaboration diagram for smtrat::analyzer::AnalysisSettings:
Collaboration graph
[legend]

Data Fields

bool enabled = false
 
bool analyze_cnf = false
 
std::string analyze_projections = "none"
 

Detailed Description

Definition at line 12 of file settings.h.

Field Documentation

◆ analyze_cnf

bool smtrat::analyzer::AnalysisSettings::analyze_cnf = false

Definition at line 14 of file settings.h.

◆ analyze_projections

std::string smtrat::analyzer::AnalysisSettings::analyze_projections = "none"

Definition at line 15 of file settings.h.

◆ enabled

bool smtrat::analyzer::AnalysisSettings::enabled = false

Definition at line 13 of file settings.h.

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