smtrat::CoCoAGBSettings2 Struct Reference

#include <CoCoAGBSettings.h>

Inheritance diagram for smtrat::CoCoAGBSettings2:

Collaboration diagram for smtrat::CoCoAGBSettings2:

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

Detailed Description

Definition at line 25 of file CoCoAGBSettings.h.

Field Documentation

always_return_unknown

constexpr bool smtrat::CoCoAGBSettings2::always_return_unknown = true

staticconstexpr

Definition at line 26 of file CoCoAGBSettings.h.

convert_inequalities

const bool smtrat::CoCoAGBSettings1::convert_inequalities = false

staticinherited

Example for a setting.

Definition at line 20 of file CoCoAGBSettings.h.

moduleName

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

staticconstexprinherited

Name of the Module.

Definition at line 16 of file CoCoAGBSettings.h.

---

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

• smtrat-modules/CoCoAGBModule/CoCoAGBSettings.h