Explanation.h File Reference

#include <smtrat-common/smtrat-common.h>
#include <smtrat-mcsat/smtrat-mcsat.h>
#include "OCStatistics.h"
#include "onecell.h"
#include <carl-formula/formula/functions/Negations.h>
#include <carl-arith/ran/Conversion.h>
#include <carl-arith/poly/Conversion.h>
#include <carl-arith/constraint/Conversion.h>
#include <carl-arith/extended/Conversion.h>
#include "../../utils/RootExpr.h"

Include dependency graph for Explanation.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::onecell::BaseSettings
struct	smtrat::mcsat::onecell::DefaultSettings
struct	smtrat::mcsat::onecell::Explanation< Settings >

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