MaxSMT.h File Reference

#include <smtrat-common/smtrat-common.h>
#include <carl-formula/model/Model.h>
#include <smtrat-solver/Module.h>

Include dependency graph for MaxSMT.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	smtrat::maxsmt::MaxSMTBackend< Solver, Strategy >
class	smtrat::MaxSMT< Solver, Strategy >

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::maxsmt
	Contains strategy implementations for max SMT computations.

Enumerations
enum class	smtrat::MaxSMTStrategy { smtrat::FU_MALIK_INCREMENTAL , smtrat::MSU3 , smtrat::LINEAR_SEARCH }

Functions
std::ostream &	smtrat::operator<< (std::ostream &os, MaxSMTStrategy ucs)