BaseBackend.h File Reference

#include "MCSATSettings.h"
#include <smtrat-mcsat/smtrat-mcsat.h>
#include <carl-arith/extended/Encoding.h>
#include <carl-formula/formula/functions/Visit.h>

Include dependency graph for BaseBackend.h:

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

Go to the source code of this file.

Data Structures
class	smtrat::mcsat::MCSATBackend< Settings >

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

Functions
template<typename Settings >
std::ostream &	smtrat::mcsat::operator<< (std::ostream &os, const MCSATBackend< Settings > &backend)