smtrat::NRAILSettings24 Struct Reference

#include <NRAILSettings.h>

Static Public Attributes
static constexpr auto	moduleName = "NRAILModule<NRAILSettings24>"
static constexpr UNSATFormulaSelectionStrategy	formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL
static constexpr AxiomFactory::AxiomType	axiomType [6]

Detailed Description

Definition at line 320 of file NRAILSettings.h.

Field Documentation

axiomType

constexpr AxiomFactory::AxiomType smtrat::NRAILSettings24::axiomType[6]

staticconstexpr

Initial value:

= {AxiomFactory::AxiomType::ICP,
                                                                 AxiomFactory::AxiomType::ZERO,
                                                                 AxiomFactory::AxiomType::ICP,
                                                                 AxiomFactory::AxiomType::TANGENT_PLANE,
                                                                 AxiomFactory::AxiomType::ICP,
                                                                 AxiomFactory::AxiomType::CONGRUENCE}

Definition at line 326 of file NRAILSettings.h.

formulaSelectionStrategy

constexpr UNSATFormulaSelectionStrategy smtrat::NRAILSettings24::formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL

staticconstexpr

Definition at line 324 of file NRAILSettings.h.

moduleName

constexpr auto smtrat::NRAILSettings24::moduleName = "NRAILModule<NRAILSettings24>"

staticconstexpr

Definition at line 322 of file NRAILSettings.h.

---

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

• smtrat-modules/NRAILModule/NRAILSettings.h