Explanation.cpp File Reference

#include "Explanation.h"
#include "OneCellCAD.h"
#include <smtrat-mcsat/explanations/nlsat/ExplanationGenerator.h>
#include <carl-common/config.h>

Include dependency graph for Explanation.cpp:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::mcsat
	smtrat::mcsat::onecellcad
	smtrat::mcsat::onecellcad::recursive
	OneCell Explanation.

Functions
void	smtrat::mcsat::onecellcad::recursive::setNullification (bool n)