isl_val_gmp.c File Reference

#include <string.h>
#include <isl/val_gmp.h>
#include <isl_val_private.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)
__isl_give isl_val *	isl_val_int_from_chunks (isl_ctx *ctx, size_t n, size_t size, const void *chunks)
isl_size	isl_val_n_abs_num_chunks (__isl_keep isl_val *v, size_t size)
isl_stat	isl_val_get_abs_num_chunks (__isl_keep isl_val *v, size_t size, void *chunks)

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_abs_num_chunks()

isl_stat isl_val_get_abs_num_chunks	(	__isl_keep isl_val *	v,
		size_t	size,
		void *	chunks
	)

Definition at line 113 of file isl_val_gmp.c.

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_chunks()

__isl_give isl_val * isl_val_int_from_chunks	(	isl_ctx *	ctx,
		size_t	n,
		size_t	size,
		const void *	chunks
	)

Definition at line 71 of file isl_val_gmp.c.

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.

isl_val_n_abs_num_chunks()

isl_size isl_val_n_abs_num_chunks	(	__isl_keep isl_val *	v,
		size_t	size
	)

Definition at line 89 of file isl_val_gmp.c.