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

#include <STropSettings.h>

Static Public Attributes

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

Detailed Description

Definition at line 92 of file STropSettings.h.

Field Documentation

◆ mode

constexpr Mode smtrat::STropSettings3bOutputOnly::mode = Mode::TRANSFORM_FORMULA_ALT
staticconstexpr

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

Definition at line 98 of file STropSettings.h.

◆ moduleName

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

Name of the Module.

Definition at line 94 of file STropSettings.h.

◆ output_only

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

Definition at line 100 of file STropSettings.h.

◆ separatorType

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

Type of linear separating hyperplane to search for.

Definition at line 96 of file STropSettings.h.

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