smtrat::qe::coverings::util Namespace Reference

Functions
FormulaT	to_formula (const cadcells::datastructures::PolyPool &pool, carl::Variable variable, const cadcells::datastructures::SymbolicInterval &interval)
FormulaT	to_formula_true_only (const cadcells::datastructures::PolyPool &pool, const covering_ng::ParameterTree &tree)
FormulaT	to_formula_alternate (const cadcells::datastructures::PolyPool &pool, const covering_ng::ParameterTree &tree, bool positive)
FormulaT	to_formula_alternate (const cadcells::datastructures::PolyPool &pool, const covering_ng::ParameterTree &tree)

Function Documentation

to_formula()

FormulaT smtrat::qe::coverings::util::to_formula	(	const cadcells::datastructures::PolyPool &	pool,
		carl::Variable	variable,
		const cadcells::datastructures::SymbolicInterval &	interval
	)

Definition at line 16 of file to_formula.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

to_formula_alternate() [1/2]

FormulaT smtrat::qe::coverings::util::to_formula_alternate	(	const cadcells::datastructures::PolyPool &	pool,
		const covering_ng::ParameterTree &	tree
	)

Definition at line 101 of file to_formula.cpp.

Here is the call graph for this function:

to_formula_alternate() [2/2]

FormulaT smtrat::qe::coverings::util::to_formula_alternate	(	const cadcells::datastructures::PolyPool &	pool,
		const covering_ng::ParameterTree &	tree,
		bool	positive
	)

Definition at line 63 of file to_formula.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

to_formula_true_only()

FormulaT smtrat::qe::coverings::util::to_formula_true_only	(	const cadcells::datastructures::PolyPool &	pool,
		const covering_ng::ParameterTree &	tree
	)

Definition at line 40 of file to_formula.cpp.

Here is the call graph for this function:

Here is the caller graph for this function: