SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::qe::util::Subquery Struct Reference

#include <quantifier_splitting.h>

Collaboration diagram for smtrat::qe::util::Subquery:
Collaboration graph
[legend]

Public Member Functions

 Subquery (const FormulasT &fs, const std::vector< carl::Variable > vs)
 

Data Fields

FormulasT constraints
 
std::vector< carl::Variable > elimination_vars
 

Detailed Description

Definition at line 7 of file quantifier_splitting.h.

Constructor & Destructor Documentation

◆ Subquery()

smtrat::qe::util::Subquery::Subquery ( const FormulasT &  fs,
const std::vector< carl::Variable >  vs 
)
inline

Definition at line 10 of file quantifier_splitting.h.

Field Documentation

◆ constraints

FormulasT smtrat::qe::util::Subquery::constraints

Definition at line 8 of file quantifier_splitting.h.

◆ elimination_vars

std::vector<carl::Variable> smtrat::qe::util::Subquery::elimination_vars

Definition at line 9 of file quantifier_splitting.h.

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