smtrat::mcsat::smtaf::DefaultSettings Struct Reference

#include <AssignmentFinder.h>

Static Public Attributes
static constexpr unsigned int	assignAllVariables = true
static constexpr bool	advance_level_by_level = false
	If set to true, a conflict on the lowest possible level is returned. More...

Detailed Description

Definition at line 97 of file AssignmentFinder.h.

Field Documentation

advance_level_by_level

constexpr bool smtrat::mcsat::smtaf::DefaultSettings::advance_level_by_level = false

staticconstexpr

If set to true, a conflict on the lowest possible level is returned.

Got more or less irrelevant as unassigned variables are not ordered anymore.

Definition at line 106 of file AssignmentFinder.h.

assignAllVariables

constexpr unsigned int smtrat::mcsat::smtaf::DefaultSettings::assignAllVariables = true

staticconstexpr

Definition at line 98 of file AssignmentFinder.h.

---

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

• smtrat-mcsat/assignments/smtaf/AssignmentFinder.h