SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::validation::ValidationSettings Struct Reference

#include <ValidationSettings.h>

Collaboration diagram for smtrat::validation::ValidationSettings:
Collaboration graph
[legend]

Public Member Functions

bool channel_active (const std::string &key) const
 

Data Fields

bool export_as_smtlib
 
std::string smtlib_filename
 
std::vector< std::string > channels
 

Detailed Description

Definition at line 11 of file ValidationSettings.h.

Member Function Documentation

◆ channel_active()

bool smtrat::validation::ValidationSettings::channel_active ( const std::string &  key) const
inline

Definition at line 16 of file ValidationSettings.h.

Field Documentation

◆ channels

std::vector<std::string> smtrat::validation::ValidationSettings::channels

Definition at line 15 of file ValidationSettings.h.

◆ export_as_smtlib

bool smtrat::validation::ValidationSettings::export_as_smtlib

Definition at line 12 of file ValidationSettings.h.

◆ smtlib_filename

std::string smtrat::validation::ValidationSettings::smtlib_filename

Definition at line 13 of file ValidationSettings.h.

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