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

#include <STropSettings.h>

Static Public Attributes

static constexpr auto moduleName = "STropModule<STropSettings2OutputOnly>"
 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 = true
 

Detailed Description

Definition at line 70 of file STropSettings.h.

Field Documentation

◆ mode

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

transformation of the formula to an equation

Definition at line 76 of file STropSettings.h.

◆ moduleName

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

Name of the Module.

Definition at line 72 of file STropSettings.h.

◆ output_only

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

Definition at line 78 of file STropSettings.h.

◆ separatorType

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

Type of linear separating hyperplane to search for.

Definition at line 74 of file STropSettings.h.

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