smtrat::qe::cad Namespace Reference

Data Structures
class	CAD
struct	CADSettings
class	CADElimination
class	Projection

Functions
template<typename key , typename value >
std::multimap< value, key >	flip_map (const std::map< key, value > &src)
template<typename S >
std::ostream &	operator<< (std::ostream &os, const Projection< S > &p)
FormulaT	eliminateQuantifiers (const FormulaT &qfree, const QEQuery &quantifiers)

Function Documentation

eliminateQuantifiers()

FormulaT smtrat::qe::cad::eliminateQuantifiers	(	const FormulaT &	qfree,
		const QEQuery &	quantifiers
	)

Definition at line 7 of file qe.cpp.

Here is the call graph for this function:

flip_map()

template<typename key , typename value >

std::multimap<value, key> smtrat::qe::cad::flip_map

(

const std::map< key, value > &

src

)

Definition at line 280 of file CADElimination.cpp.

Here is the caller graph for this function:

operator<<()

template<typename S >

std::ostream& smtrat::qe::cad::operator<<	(	std::ostream &	os,
		const Projection< S > &	p
	)

Definition at line 179 of file Projection.h.