MCSATMixin.h File Reference

#include "../SolverTypes.h"
#include "BaseBackend.h"
#include "../ClauseChecker.h"
#include "MCSATStatistics.h"
#include <carl-formula/model/Assignment.h>
#include <smtrat-mcsat/smtrat-mcsat.h>
#include <functional>
#include <map>
#include <set>
#include <vector>
#include "MCSATMixin.tpp"

Include dependency graph for MCSATMixin.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::mcsat::InformationGetter
struct	smtrat::mcsat::TheoryLevel
class	smtrat::mcsat::MCSATMixin< Settings >
struct	smtrat::mcsat::MCSATMixin< Settings >::VarMapping
struct	smtrat::mcsat::MCSATMixin< Settings >::VarProperties

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::mcsat