smtrat::cadcells::helper Namespace Reference

Functions
MultivariateRoot	as_multivariate_root (const datastructures::PolyPool &pool, carl::Variable main_var, datastructures::IndexedRoot r)
	Converts an datastructures::IndexedRoot to a MultivariateRoot. More...
DNF	to_formula (const datastructures::PolyPool &pool, carl::Variable main_var, const datastructures::SymbolicInterval &c)
	Converts a datastructures::SymbolicInterval to a DNF. More...

Function Documentation

as_multivariate_root()

MultivariateRoot smtrat::cadcells::helper::as_multivariate_root ( const datastructures::PolyPool &  pool, carl::Variable  main_var, datastructures::IndexedRoot  r  )

inline

Converts an datastructures::IndexedRoot to a MultivariateRoot.

Definition at line 12 of file helper_formula.h.

Here is the caller graph for this function:

to_formula()

DNF smtrat::cadcells::helper::to_formula ( const datastructures::PolyPool &  pool, carl::Variable  main_var, const datastructures::SymbolicInterval &  c  )

inline

Converts a datastructures::SymbolicInterval to a DNF.

Definition at line 21 of file helper_formula.h.

Here is the call graph for this function:

Here is the caller graph for this function: