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

#include <CADPreprocessor.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 = CADPreprocessorSettings::register_hook()
 

Detailed Description

Definition at line 14 of file CADPreprocessor.h.

Member Function Documentation

◆ register_hook()

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

Definition at line 28 of file CADPreprocessor.h.

Here is the call graph for this function:

◆ register_settings()

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

Definition at line 18 of file CADPreprocessor.h.

Here is the caller graph for this function:

Field Documentation

◆ disable_resultants

bool smtrat::cad::CADPreprocessorSettings::disable_resultants = false

Definition at line 16 of file CADPreprocessor.h.

◆ disable_variable_elimination

bool smtrat::cad::CADPreprocessorSettings::disable_variable_elimination = false

Definition at line 15 of file CADPreprocessor.h.

◆ dummy

const bool smtrat::cad::CADPreprocessorSettings::dummy = CADPreprocessorSettings::register_hook()
static

Definition at line 32 of file CADPreprocessor.h.

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