SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Member Functions | Data Fields | Static Public Attributes
smtrat::cad::PreprocessorSettings Struct Reference

#include <Preprocessor.h>

Static Public Member Functions

static void register_settings (SettingsParser &parser)
 
static bool register_hook ()
 

Data Fields

bool disable_variable_elimination = false
 
bool disable_resultants = false
 

Static Public Attributes

static const bool dummy
 

Detailed Description

Definition at line 10 of file Preprocessor.h.

Member Function Documentation

◆ register_hook()

static bool smtrat::cad::PreprocessorSettings::register_hook ( )
inlinestatic

Definition at line 24 of file Preprocessor.h.

Here is the call graph for this function:

◆ register_settings()

static void smtrat::cad::PreprocessorSettings::register_settings ( SettingsParser &  parser)
inlinestatic

Definition at line 14 of file Preprocessor.h.

Here is the caller graph for this function:

Field Documentation

◆ disable_resultants

bool smtrat::cad::PreprocessorSettings::disable_resultants = false

Definition at line 12 of file Preprocessor.h.

◆ disable_variable_elimination

bool smtrat::cad::PreprocessorSettings::disable_variable_elimination = false

Definition at line 11 of file Preprocessor.h.

◆ dummy

const bool smtrat::cad::PreprocessorSettings::dummy
static

Definition at line 28 of file Preprocessor.h.

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