SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::mcsat::MCSATMixin< Settings >::VarProperties Struct Reference

Data Fields

std::optional< std::size_t > maxDegree = std::nullopt
 
std::optional< std::vector< Minisat::Var > > theoryVars = std::nullopt
 

Detailed Description

template<typename Settings>
struct smtrat::mcsat::MCSATMixin< Settings >::VarProperties

Definition at line 160 of file MCSATMixin.h.

Field Documentation

◆ maxDegree

template<typename Settings >
std::optional<std::size_t> smtrat::mcsat::MCSATMixin< Settings >::VarProperties::maxDegree = std::nullopt

Definition at line 161 of file MCSATMixin.h.

◆ theoryVars

template<typename Settings >
std::optional<std::vector<Minisat::Var> > smtrat::mcsat::MCSATMixin< Settings >::VarProperties::theoryVars = std::nullopt

Definition at line 162 of file MCSATMixin.h.

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