CADPreprocessor.cpp File Reference

#include "CADPreprocessor.h"
#include <carl-arith/constraint/Substitution.h>
#include <carl-formula/formula/functions/Complexity.h>

Include dependency graph for CADPreprocessor.cpp:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::cad
	smtrat::cad::preprocessor

Functions
std::size_t	smtrat::cad::preprocessor::complexity (const std::vector< FormulaT > &origin)