smtrat::LRASettings1 Struct Reference

#include <LRASettings.h>

Inheritance diagram for smtrat::LRASettings1:

Data Structures
struct	Tableau_settings

Public Types
typedef Rational	BoundType
typedef Rational	EntryType

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

Detailed Description

Definition at line 15 of file LRASettings.h.

Member Typedef Documentation

BoundType

typedef Rational smtrat::LRASettings1::BoundType

Definition at line 39 of file LRASettings.h.

EntryType

typedef Rational smtrat::LRASettings1::EntryType

Definition at line 47 of file LRASettings.h.

Field Documentation

learn_refinements

const bool smtrat::LRASettings1::learn_refinements = true

static

Definition at line 25 of file LRASettings.h.

moduleName

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

staticconstexpr

Definition at line 17 of file LRASettings.h.

one_conflict_reason

const bool smtrat::LRASettings1::one_conflict_reason = false

static

Definition at line 29 of file LRASettings.h.

simple_theory_propagation

const bool smtrat::LRASettings1::simple_theory_propagation = true

static

Definition at line 21 of file LRASettings.h.

use_gomory_cuts

const bool smtrat::LRASettings1::use_gomory_cuts = true

static

Definition at line 33 of file LRASettings.h.

use_SoI_simplex

const bool smtrat::LRASettings1::use_SoI_simplex = false

static

Definition at line 34 of file LRASettings.h.

---

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

• smtrat-modules/LRAModule/LRASettings.h