val_gmp.h File Reference

#include <gmp.h>
#include <isl/val_type.h>

Go to the source code of this file.

Functions
__isl_give isl_val *	isl_val_int_from_gmp (isl_ctx *ctx, mpz_t z)
__isl_give isl_val *	isl_val_from_gmp (isl_ctx *ctx, const mpz_t n, const mpz_t d)
int	isl_val_get_num_gmp (__isl_keep isl_val *v, mpz_t z)
int	isl_val_get_den_gmp (__isl_keep isl_val *v, mpz_t z)

Function Documentation

isl_val_from_gmp()

__isl_give isl_val * isl_val_from_gmp	(	isl_ctx *	ctx,
		const mpz_t	n,
		const mpz_t	d
	)

Definition at line 23 of file isl_val_gmp.c.

References isl_val::d, isl_int_set, isl_val_alloc(), isl_val_normalize(), isl_val::n, and n.

isl_val_get_den_gmp()

int isl_val_get_den_gmp	(	__isl_keep isl_val *	v,
		mpz_t	z
	)

Definition at line 56 of file isl_val_gmp.c.

References isl_die, isl_error_invalid, isl_val_get_ctx(), and isl_val_is_rat().

isl_val_get_num_gmp()

int isl_val_get_num_gmp	(	__isl_keep isl_val *	v,
		mpz_t	z
	)

Definition at line 41 of file isl_val_gmp.c.

References isl_die, isl_error_invalid, isl_val_get_ctx(), and isl_val_is_rat().

isl_val_int_from_gmp()

__isl_give isl_val * isl_val_int_from_gmp	(	isl_ctx *	ctx,
		mpz_t	z
	)

Definition at line 7 of file isl_val_gmp.c.

References isl_val::d, isl_int_set, isl_int_set_si, isl_val_alloc(), and isl_val::n.