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

#include <ParserSettings.h>

Collaboration diagram for smtrat::parser::ParserSettings:
Collaboration graph
[legend]

Data Fields

bool read_dimacs
 
bool read_opb
 
std::string input_file
 
bool disable_uf_flattening
 
bool disable_theory
 

Detailed Description

Definition at line 9 of file ParserSettings.h.

Field Documentation

◆ disable_theory

bool smtrat::parser::ParserSettings::disable_theory

Definition at line 14 of file ParserSettings.h.

◆ disable_uf_flattening

bool smtrat::parser::ParserSettings::disable_uf_flattening

Definition at line 13 of file ParserSettings.h.

◆ input_file

std::string smtrat::parser::ParserSettings::input_file

Definition at line 12 of file ParserSettings.h.

◆ read_dimacs

bool smtrat::parser::ParserSettings::read_dimacs

Definition at line 10 of file ParserSettings.h.

◆ read_opb

bool smtrat::parser::ParserSettings::read_opb

Definition at line 11 of file ParserSettings.h.

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