smtrat::LRASettingsICP Struct Reference

#include <LRASettings.h>

Inheritance diagram for smtrat::LRASettingsICP:

Collaboration diagram for smtrat::LRASettingsICP:

Data Structures
struct	Tableau_settings

Public Types
typedef Rational	BoundType
typedef Rational	EntryType

Static Public Attributes
static constexpr auto	moduleName = "LRAModule<LRASettingsICP>"
static const bool	simple_theory_propagation = false
static const bool	learn_refinements = false
static const bool	one_conflict_reason = true
static const bool	use_gomory_cuts = true
static const bool	use_SoI_simplex = false

Detailed Description

Definition at line 68 of file LRASettings.h.

Member Typedef Documentation

BoundType

typedef Rational smtrat::LRASettings1::BoundType

inherited

Definition at line 39 of file LRASettings.h.

EntryType

typedef Rational smtrat::LRASettings1::EntryType

inherited

Definition at line 47 of file LRASettings.h.

Field Documentation

learn_refinements

const bool smtrat::LRASettingsICP::learn_refinements = false

static

Definition at line 72 of file LRASettings.h.

moduleName

constexpr auto smtrat::LRASettingsICP::moduleName = "LRAModule<LRASettingsICP>"

staticconstexpr

Definition at line 70 of file LRASettings.h.

one_conflict_reason

const bool smtrat::LRASettingsICP::one_conflict_reason = true

static

Definition at line 73 of file LRASettings.h.

simple_theory_propagation

const bool smtrat::LRASettingsICP::simple_theory_propagation = false

static

Definition at line 71 of file LRASettings.h.

use_gomory_cuts

const bool smtrat::LRASettings1::use_gomory_cuts = true

staticinherited

Definition at line 33 of file LRASettings.h.

use_SoI_simplex

const bool smtrat::LRASettings1::use_SoI_simplex = false

staticinherited

Definition at line 34 of file LRASettings.h.

---

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

• smtrat-modules/LRAModule/LRASettings.h