isl_val_private.h File Reference

#include <isl_int.h>
#include <isl/val.h>
#include <isl/local_space.h>
#include <isl_reordering.h>
#include <isl_list_templ.h>
#include <isl_multi_templ.h>

Go to the source code of this file.

Classes
struct	isl_val

Macros
#define	EL   isl_val
#define	BASE   val

Functions
__isl_give isl_val *	isl_val_alloc (isl_ctx *ctx)
__isl_give isl_val *	isl_val_normalize (__isl_take isl_val *v)
__isl_give isl_val *	isl_val_int_from_isl_int (isl_ctx *ctx, isl_int n)
__isl_give isl_val *	isl_val_rat_from_isl_int (isl_ctx *ctx, isl_int n, isl_int d)
__isl_give isl_val *	isl_val_cow (__isl_take isl_val *val)
isl_stat	isl_val_get_num_isl_int (__isl_keep isl_val *v, isl_int *n)
isl_bool	isl_val_involves_dims (__isl_keep isl_val *v, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_val *	isl_val_insert_dims (__isl_take isl_val *v, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_val *	isl_val_set_dim_name (__isl_take isl_val *v, enum isl_dim_type type, unsigned pos, const char *s)
__isl_give isl_val *	isl_val_scale_val (__isl_take isl_val *v1, __isl_take isl_val *v2)
__isl_give isl_val *	isl_val_scale_down_val (__isl_take isl_val *v1, __isl_take isl_val *v2)
__isl_give isl_val *	isl_val_mod_val (__isl_take isl_val *v1, __isl_take isl_val *v2)
isl_bool	isl_val_plain_is_equal (__isl_keep isl_val *val1, __isl_keep isl_val *val2)

Macro Definition Documentation

BASE

#define BASE   val

Definition at line 57 of file isl_val_private.h.

EL

#define EL   isl_val

Definition at line 26 of file isl_val_private.h.

Function Documentation

isl_val_alloc()

__isl_give isl_val * isl_val_alloc

(

isl_ctx *

ctx

)

Definition at line 22 of file isl_val.c.

References isl_val::ctx, isl_val::d, isl_alloc_type, isl_ctx_ref(), isl_int_init, isl_val::n, and isl_val::ref.

Referenced by basic_set_opt_lp(), isl_basic_map_plain_get_val_if_fixed(), isl_basic_set_opt_val(), isl_map_plain_get_val_if_fixed(), isl_set_dim_residue_class_val(), isl_set_opt_val(), isl_val_dup(), isl_val_from_gmp(), isl_val_gcdext(), isl_val_infty(), isl_val_int_from_chunks(), isl_val_int_from_gmp(), isl_val_int_from_isl_int(), isl_val_int_from_si(), isl_val_int_from_ui(), isl_val_nan(), isl_val_neginfty(), and isl_val_rat_from_isl_int().

isl_val_cow()

__isl_give isl_val * isl_val_cow

(

__isl_take isl_val *

val

)

Definition at line 250 of file isl_val.c.

References isl_val_dup(), ISL_HMAP::ref, and val.

Referenced by isl_set_count_val(), isl_val_add(), isl_val_add_ui(), isl_val_ceil(), isl_val_div(), isl_val_div_ui(), isl_val_floor(), isl_val_gcd(), isl_val_gcdext(), isl_val_inv(), isl_val_mod(), isl_val_mul(), isl_val_mul_ui(), isl_val_neg(), isl_val_pow2(), isl_val_set_nan(), isl_val_set_si(), isl_val_sub(), isl_val_sub_ui(), and isl_val_trunc().

isl_val_get_num_isl_int()

isl_stat isl_val_get_num_isl_int	(	__isl_keep isl_val *	v,
		isl_int *	n
	)

Definition at line 299 of file isl_val.c.

References isl_die, isl_error_invalid, isl_int_set, isl_stat_error, isl_stat_ok, isl_val_get_ctx(), isl_val_is_rat(), and n.

Referenced by shift_if_cst_int().

isl_val_insert_dims()

__isl_give isl_val * isl_val_insert_dims	(	__isl_take isl_val *	v,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n
	)

Definition at line 1535 of file isl_val.c.

isl_val_int_from_isl_int()

__isl_give isl_val * isl_val_int_from_isl_int	(	isl_ctx *	ctx,
		isl_int	n
	)

Definition at line 185 of file isl_val.c.

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

Referenced by extract_aff_from_equality(), isl_aff_get_denominator_val(), isl_constraint_get_coefficient_val(), isl_constraint_get_constant_val(), isl_mat_get_element_val(), isl_stream_read_val(), isl_token_get_val(), isl_val_get_den_val(), isl_vec_get_element_val(), and obj_read().

isl_val_involves_dims()

isl_bool isl_val_involves_dims	(	__isl_keep isl_val *	v,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n
	)

Definition at line 1519 of file isl_val.c.

References isl_bool_error, and isl_bool_false.

isl_val_mod_val()

__isl_give isl_val * isl_val_mod_val	(	__isl_take isl_val *	v1,
		__isl_take isl_val *	v2
	)

Definition at line 1008 of file isl_val.c.

References isl_val_mod().

isl_val_normalize()

__isl_give isl_val * isl_val_normalize

(

__isl_take isl_val *

v

)

Definition at line 385 of file isl_val.c.

References isl_int_divexact, isl_int_gcd, isl_int_is_neg, isl_int_is_one, isl_int_neg, isl_val_get_ctx(), isl_val_is_int(), isl_val_is_rat(), and isl_ctx::normalize_gcd.

Referenced by basic_set_opt_lp(), convert_lp_result(), eval(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_point_get_coordinate_val(), isl_stream_read_val(), isl_val_add(), isl_val_div(), isl_val_div_ui(), isl_val_from_gmp(), isl_val_inv(), isl_val_mul(), isl_val_mul_ui(), and isl_val_sub().

isl_val_plain_is_equal()

isl_bool isl_val_plain_is_equal	(	__isl_keep isl_val *	val1,
		__isl_keep isl_val *	val2
	)

Definition at line 1505 of file isl_val.c.

References isl_val_eq().

isl_val_rat_from_isl_int()

__isl_give isl_val * isl_val_rat_from_isl_int	(	isl_ctx *	ctx,
		isl_int	n,
		isl_int	d
	)

Definition at line 202 of file isl_val.c.

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

Referenced by eval(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_point_get_coordinate_val(), isl_poly_eval(), isl_poly_get_constant_val(), isl_stream_read_val(), and isl_term_get_coefficient_val().

isl_val_scale_down_val()

__isl_give isl_val * isl_val_scale_down_val	(	__isl_take isl_val *	v1,
		__isl_take isl_val *	v2
	)

Definition at line 956 of file isl_val.c.

References isl_val_div().

isl_val_scale_val()

__isl_give isl_val * isl_val_scale_val	(	__isl_take isl_val *	v1,
		__isl_take isl_val *	v2
	)

Definition at line 843 of file isl_val.c.

References isl_val_mul().

isl_val_set_dim_name()

__isl_give isl_val * isl_val_set_dim_name	(	__isl_take isl_val *	v,
		enum isl_dim_type	type,
		unsigned	pos,
		const char *	s
	)

Definition at line 1548 of file isl_val.c.