smtrat::mcsat::TheoryLevel Struct Reference

#include <MCSATMixin.h>

Collaboration diagram for smtrat::mcsat::TheoryLevel:

Data Fields
carl::Variable	variable = carl::Variable::NO_VARIABLE
	Theory variable for this level. More...
Minisat::Lit	decisionLiteral = Minisat::lit_Undef
	Literal that assigns this theory variable. More...
std::vector< Minisat::Var >	decidedVariables
	Boolean variables univariate in this theory variable. More...

Detailed Description

Definition at line 42 of file MCSATMixin.h.

Field Documentation

decidedVariables

std::vector<Minisat::Var> smtrat::mcsat::TheoryLevel::decidedVariables

Boolean variables univariate in this theory variable.

Definition at line 48 of file MCSATMixin.h.

decisionLiteral

Minisat::Lit smtrat::mcsat::TheoryLevel::decisionLiteral = Minisat::lit_Undef

Literal that assigns this theory variable.

Definition at line 46 of file MCSATMixin.h.

variable

carl::Variable smtrat::mcsat::TheoryLevel::variable = carl::Variable::NO_VARIABLE

Theory variable for this level.

Definition at line 44 of file MCSATMixin.h.

---

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

• smtrat-modules/SATModule/mcsat/MCSATMixin.h