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

#include <CoCoAGBSettings.h>

Inheritance diagram for smtrat::CoCoAGBSettings1:
Inheritance graph
[legend]

Static Public Attributes

static constexpr auto moduleName = "CoCoAGBModule<CoCoAGBSettings1>"
 Name of the Module. More...
 
static const bool convert_inequalities = false
 Example for a setting. More...
 
static constexpr bool always_return_unknown = false
 

Detailed Description

Definition at line 13 of file CoCoAGBSettings.h.

Field Documentation

◆ always_return_unknown

constexpr bool smtrat::CoCoAGBSettings1::always_return_unknown = false
staticconstexpr

Definition at line 22 of file CoCoAGBSettings.h.

◆ convert_inequalities

const bool smtrat::CoCoAGBSettings1::convert_inequalities = false
static

Example for a setting.

Definition at line 20 of file CoCoAGBSettings.h.

◆ moduleName

constexpr auto smtrat::CoCoAGBSettings1::moduleName = "CoCoAGBModule<CoCoAGBSettings1>"
staticconstexpr

Name of the Module.

Definition at line 16 of file CoCoAGBSettings.h.

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