smtrat::qe::util Namespace Reference

Data Structures
class	EquationSubstitution
class	Matrix
struct	Subquery
struct	VariableIndex

Functions
std::ostream &	operator<< (std::ostream &os, const Matrix::RowEntry &e)
void	gcd_normalize (std::vector< Matrix::RowEntry > &row)
std::vector< Subquery >	split_quantifiers (const FormulasT &constraints, const std::vector< carl::Variable > &vars)

Function Documentation

gcd_normalize()

void smtrat::qe::util::gcd_normalize ( std::vector< Matrix::RowEntry > &  row )

inline

Definition at line 215 of file Matrix.h.

Here is the call graph for this function:

Here is the caller graph for this function:

operator<<()

std::ostream& smtrat::qe::util::operator<< ( std::ostream &  os, const Matrix::RowEntry &  e  )

inline

Definition at line 209 of file Matrix.h.

split_quantifiers()

std::vector<Subquery> smtrat::qe::util::split_quantifiers	(	const FormulasT &	constraints,
		const std::vector< carl::Variable > &	vars
	)

Definition at line 14 of file quantifier_splitting.h.

Here is the call graph for this function: