smtrat::cad::MISGeneration< heuristic > Class Template Reference

#include <MISGeneration.h>

Public Member Functions
template<typename CAD >
void	operator() (const CAD &cad, std::vector< FormulaSetT > &mis)
void	operator() (const CAD &cad, std::vector< FormulaSetT > &mis)
void	operator() (const CAD &cad, std::vector< FormulaSetT > &mis)
void	operator() (const CAD &cad, std::vector< FormulaSetT > &mis)
void	operator() (const CAD &cad, std::vector< FormulaSetT > &mis)
void	operator() (const CAD &cad, std::vector< FormulaSetT > &mis)
void	operator() (const CAD &cad, std::vector< FormulaSetT > &mis)

Detailed Description

template<MISHeuristic heuristic>
class smtrat::cad::MISGeneration< heuristic >

Definition at line 13 of file MISGeneration.h.

Member Function Documentation

operator()() [1/7]

template<MISHeuristic heuristic>

template<typename CAD >

void smtrat::cad::MISGeneration< heuristic >::operator()	(	const CAD &	cad,
		std::vector< FormulaSetT > &	mis
	)

operator()() [2/7]

void smtrat::cad::MISGeneration< MISHeuristic::TRIVIAL >::operator()	(	const CAD &	cad,
		std::vector< FormulaSetT > &	mis
	)

Definition at line 21 of file MISGeneration.h.

Here is the call graph for this function:

operator()() [3/7]

void smtrat::cad::MISGeneration< MISHeuristic::GREEDY >::operator()	(	const CAD &	cad,
		std::vector< FormulaSetT > &	mis
	)

Definition at line 28 of file MISGeneration.h.

Here is the call graph for this function:

operator()() [4/7]

void smtrat::cad::MISGeneration< MISHeuristic::GREEDY_PRE >::operator()	(	const CAD &	cad,
		std::vector< FormulaSetT > &	mis
	)

Definition at line 38 of file MISGeneration.h.

Here is the call graph for this function:

operator()() [5/7]

void smtrat::cad::MISGeneration< MISHeuristic::EXACT >::operator()	(	const CAD &	cad,
		std::vector< FormulaSetT > &	mis
	)

Definition at line 54 of file MISGeneration.h.

Here is the call graph for this function:

operator()() [6/7]

void smtrat::cad::MISGeneration< MISHeuristic::HYBRID >::operator()	(	const CAD &	cad,
		std::vector< FormulaSetT > &	mis
	)

Definition at line 64 of file MISGeneration.h.

Here is the call graph for this function:

operator()() [7/7]

void smtrat::cad::MISGeneration< MISHeuristic::GREEDY_WEIGHTED >::operator()	(	const CAD &	cad,
		std::vector< FormulaSetT > &	mis
	)

Definition at line 116 of file MISGeneration.h.

Here is the call graph for this function:

---

The documentation for this class was generated from the following file:

• smtrat-cad/utils/MISGeneration.h