carl::convert_poly::ConvertHelper< ContextPolynomial< A, B, C >, MultivariatePolynomial< A, B, C > > Struct Template Reference

#include <Conversion.h>

Static Public Member Functions
static ContextPolynomial< A, B, C >	convert (const Context &context, const MultivariatePolynomial< A, B, C > &p)

Detailed Description

template<typename A, typename B, typename C>
struct carl::convert_poly::ConvertHelper< ContextPolynomial< A, B, C >, MultivariatePolynomial< A, B, C > >

Definition at line 16 of file Conversion.h.

Member Function Documentation

convert()

template<typename A , typename B , typename C >

static ContextPolynomial<A, B, C> carl::convert_poly::ConvertHelper< ContextPolynomial< A, B, C >, MultivariatePolynomial< A, B, C > >::convert ( const Context &  context, const MultivariatePolynomial< A, B, C > &  p  )

inlinestatic

Definition at line 17 of file Conversion.h.

---

The documentation for this struct was generated from the following file:

• carl-arith/poly/Conversion.h