helper.h File Reference

#include <carl-arith/numbers/numbers.h>

Include dependency graph for helper.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.
	carl::poly_helper
	Helpers due to the shortcomings of libpoly's C++ API.

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