ModuleInput.cpp File Reference

#include "ModuleInput.h"
#include <carl-formula/model/Assignment.h>

Include dependency graph for ModuleInput.cpp:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.

Functions
template<typename AnnotationType >
void	smtrat::annotateFormula (const FormulaT &, const std::vector< AnnotationType > &)

Detailed Description

Author

Florian Corzilius

Version

: 2014-05-16

Definition in file ModuleInput.cpp.