carl::poly_helper Namespace Reference

Helpers due to the shortcomings of libpoly's C++ API. More...

Functions
lp_polynomial_t *	construct_lp_poly (const lp_polynomial_context_t *c, lp_variable_t v)
lp_polynomial_t *	construct_lp_poly (const lp_polynomial_context_t *c, const mpz_class &i)

Detailed Description

Helpers due to the shortcomings of libpoly's C++ API.

Function Documentation

construct_lp_poly() [1/2]

lp_polynomial_t* carl::poly_helper::construct_lp_poly ( const lp_polynomial_context_t *  c, const mpz_class &  i  )

inline

Definition at line 17 of file helper.h.

construct_lp_poly() [2/2]

lp_polynomial_t* carl::poly_helper::construct_lp_poly ( const lp_polynomial_context_t *  c, lp_variable_t  v  )

inline

Definition at line 11 of file helper.h.