ClauseChain.cpp File Reference

#include "ClauseChain.h"

Include dependency graph for ClauseChain.cpp:

Go to the source code of this file.

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

Functions
FormulaT	smtrat::mcsat::_transformToImplicationChain (const FormulaT &formula, const Model &model, ClauseChain &chain, bool outermost, bool withEquivalences)