smtrat::LRASettings2 Struct Reference

#include <LRASettings.h>

Inheritance diagram for smtrat::LRASettings2:

Collaboration diagram for smtrat::LRASettings2:

Data Structures
struct	Tableau_settings

Public Types
typedef Rational	BoundType
typedef Rational	EntryType

Static Public Attributes
static constexpr auto	moduleName = "LRAModule<LRASettings2>"
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 57 of file LRASettings.h.

Member Typedef Documentation

BoundType

typedef Rational smtrat::LRASettings2::BoundType

Definition at line 60 of file LRASettings.h.

EntryType

typedef Rational smtrat::LRASettings2::EntryType

Definition at line 61 of file LRASettings.h.

Field Documentation

learn_refinements

const bool smtrat::LRASettings2::learn_refinements = false

static

Definition at line 63 of file LRASettings.h.

moduleName

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

staticconstexpr

Definition at line 59 of file LRASettings.h.

one_conflict_reason

const bool smtrat::LRASettings2::one_conflict_reason = true

static

Definition at line 64 of file LRASettings.h.

simple_theory_propagation

const bool smtrat::LRASettings2::simple_theory_propagation = false

static

Definition at line 62 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