Conversion.h File Reference

#include <carl-common/config.h>
#include "../poly/Conversion.h"

Include dependency graph for Conversion.h:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename ToPoly , typename FromPoly , typename = std::enable_if_t<needs_context_type<ToPoly>::value>>
BasicConstraint< ToPoly >	carl::convert (const typename ToPoly::ContextType &context, const BasicConstraint< FromPoly > &c)
template<typename ToPoly , typename FromPoly , typename = std::enable_if_t<!needs_context_type<ToPoly>::value>>
BasicConstraint< ToPoly >	carl::convert (const BasicConstraint< FromPoly > &c)