SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
qe.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include "../QEQuery.h"
4 #include <smtrat-common/smtrat-common.h>
5 
6 namespace smtrat::qe::fmplex {
7 
8 std::optional<FormulaT> qe(const FormulaT& f);
9 
10 }
smtrat::qe::fmplex::qe
std::optional< FormulaT > qe(const FormulaT &f)
Definition: qe.cpp:7
smtrat::FormulaT
carl::Formula< Poly > FormulaT
Definition: types.h:37