CADElimination.cpp File Reference

#include "CADElimination.h"
#include <sstream>

Include dependency graph for CADElimination.cpp:

Go to the source code of this file.

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

Functions
template<typename key , typename value >
std::multimap< value, key >	smtrat::qe::cad::flip_map (const std::map< key, value > &src)