SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Attributes
smtrat::STropSettings2 Struct Reference

#include <STropSettings.h>

Static Public Attributes

static constexpr auto moduleName = "STropModule<STropSettings2>"
 Name of the Module. More...
 
static constexpr subtropical::SeparatorType separatorType = subtropical::SeparatorType::SEMIWEAK
 Type of linear separating hyperplane to search for. More...
 
static constexpr Mode mode = Mode::TRANSFORM_EQUATION
 transformation of the formula to an equation More...
 
static constexpr bool output_only = false
 

Detailed Description

Definition at line 35 of file STropSettings.h.

Field Documentation

◆ mode

constexpr Mode smtrat::STropSettings2::mode = Mode::TRANSFORM_EQUATION
staticconstexpr

transformation of the formula to an equation

Definition at line 41 of file STropSettings.h.

◆ moduleName

constexpr auto smtrat::STropSettings2::moduleName = "STropModule<STropSettings2>"
staticconstexpr

Name of the Module.

Definition at line 37 of file STropSettings.h.

◆ output_only

constexpr bool smtrat::STropSettings2::output_only = false
staticconstexpr

Definition at line 43 of file STropSettings.h.

◆ separatorType

constexpr subtropical::SeparatorType smtrat::STropSettings2::separatorType = subtropical::SeparatorType::SEMIWEAK
staticconstexpr

Type of linear separating hyperplane to search for.

Definition at line 39 of file STropSettings.h.

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