carl::model Namespace Reference

Functions
template<typename Rational , typename Poly >
void	substituteSubformulas (Formula< Poly > &f, const Model< Rational, Poly > &m)
template<typename Rational , typename Poly >
void	evaluateVarCompare (Formula< Poly > &f, const Model< Rational, Poly > &m)
template<typename Rational , typename Poly >
void	evaluateVarAssign (Formula< Poly > &f, const Model< Rational, Poly > &m)
template<typename Rational , typename Poly >
Assignment< typename Poly::RootType >	collectRANIR (const std::set< Variable > &vars, const Model< Rational, Poly > &model)

Function Documentation

collectRANIR()

template<typename Rational , typename Poly >

Assignment<typename Poly::RootType> carl::model::collectRANIR	(	const std::set< Variable > &	vars,
		const Model< Rational, Poly > &	model
	)

Definition at line 9 of file ModelEvaluation_helper.h.

Here is the call graph for this function:

Here is the caller graph for this function:

evaluateVarAssign()

template<typename Rational , typename Poly >

void carl::model::evaluateVarAssign	(	Formula< Poly > &	f,
		const Model< Rational, Poly > &	m
	)

Definition at line 94 of file ModelEvaluation_Formula.h.

Here is the call graph for this function:

Here is the caller graph for this function:

evaluateVarCompare()

template<typename Rational , typename Poly >

void carl::model::evaluateVarCompare	(	Formula< Poly > &	f,
		const Model< Rational, Poly > &	m
	)

Definition at line 27 of file ModelEvaluation_Formula.h.

Here is the call graph for this function:

Here is the caller graph for this function:

substituteSubformulas()

template<typename Rational , typename Poly >

void carl::model::substituteSubformulas	(	Formula< Poly > &	f,
		const Model< Rational, Poly > &	m
	)

Definition at line 14 of file ModelEvaluation_Formula.h.

Here is the call graph for this function:

Here is the caller graph for this function: