smtrat::BVSettings1 Struct Reference

#include <BVSettings.h>

Static Public Attributes
static constexpr auto	moduleName = "BVModule<BVSettings1>"
static const bool	incremental_flattening = false
	Add the received formulas incrementally, each time checking and testing if the found model in the satisfiable case satisfies all remaining received formulas. More...
static const size_t	equation_preference_weight = 10
	This weight specifies how much more preference a received formula being an equation should have. More...

Detailed Description

Definition at line 15 of file BVSettings.h.

Field Documentation

equation_preference_weight

const size_t smtrat::BVSettings1::equation_preference_weight = 10

static

This weight specifies how much more preference a received formula being an equation should have.

Definition at line 26 of file BVSettings.h.

incremental_flattening

const bool smtrat::BVSettings1::incremental_flattening = false

static

Add the received formulas incrementally, each time checking and testing if the found model in the satisfiable case satisfies all remaining received formulas.

Definition at line 22 of file BVSettings.h.

moduleName

constexpr auto smtrat::BVSettings1::moduleName = "BVModule<BVSettings1>"

staticconstexpr

Definition at line 17 of file BVSettings.h.

---

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

• smtrat-modules/BVModule/BVSettings.h