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

#include <STropSettings.h>

Static Public Attributes

static constexpr auto moduleName = "STropModule<STropSettings3OutputOnly>"
 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_FORMULA
 transformation of the formula to a linear formula, preserving the Boolean structure More...
 
static constexpr bool output_only = true
 

Detailed Description

Definition at line 81 of file STropSettings.h.

Field Documentation

◆ mode

constexpr Mode smtrat::STropSettings3OutputOnly::mode = Mode::TRANSFORM_FORMULA
staticconstexpr

transformation of the formula to a linear formula, preserving the Boolean structure

Definition at line 87 of file STropSettings.h.

◆ moduleName

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

Name of the Module.

Definition at line 83 of file STropSettings.h.

◆ output_only

constexpr bool smtrat::STropSettings3OutputOnly::output_only = true
staticconstexpr

Definition at line 89 of file STropSettings.h.

◆ separatorType

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

Type of linear separating hyperplane to search for.

Definition at line 85 of file STropSettings.h.

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