SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::VarSchedulerMcsatUnivariateClausesOnly< TheoryScheduler, respectActivities >::TheoryLevel Struct Reference
Collaboration diagram for smtrat::VarSchedulerMcsatUnivariateClausesOnly< TheoryScheduler, respectActivities >::TheoryLevel:
Collaboration graph
[legend]

Data Fields

std::vector< Minisat::CRef > clauses
 
carl::Variable variable
 

Detailed Description

template<typename TheoryScheduler, bool respectActivities>
struct smtrat::VarSchedulerMcsatUnivariateClausesOnly< TheoryScheduler, respectActivities >::TheoryLevel

Definition at line 507 of file VarSchedulerMcsat.h.

Field Documentation

◆ clauses

template<typename TheoryScheduler , bool respectActivities>
std::vector<Minisat::CRef> smtrat::VarSchedulerMcsatUnivariateClausesOnly< TheoryScheduler, respectActivities >::TheoryLevel::clauses

Definition at line 508 of file VarSchedulerMcsat.h.

◆ variable

template<typename TheoryScheduler , bool respectActivities>
carl::Variable smtrat::VarSchedulerMcsatUnivariateClausesOnly< TheoryScheduler, respectActivities >::TheoryLevel::variable

Definition at line 509 of file VarSchedulerMcsat.h.

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