#include <isl/aff_type.h>
#include <isl/set_type.h>
#include <isl/union_set_type.h>
#include <isl/val_type.h>
#include <isl/vec.h>

Functions
__isl_give isl_val *	isl_basic_set_max_val (__isl_keep isl_basic_set bset, __isl_keep isl_aff obj)

__isl_export __isl_give isl_val *	isl_set_min_val (__isl_keep isl_set set, __isl_keep isl_aff obj)

__isl_export __isl_give isl_val *	isl_set_max_val (__isl_keep isl_set set, __isl_keep isl_aff obj)

__isl_give isl_multi_val *	isl_union_set_min_multi_union_pw_aff (__isl_keep isl_union_set uset, __isl_keep isl_multi_union_pw_aff obj)

__isl_export __isl_give isl_val *	isl_pw_aff_min_val (__isl_take isl_pw_aff *pa)

__isl_export __isl_give isl_val *	isl_pw_aff_max_val (__isl_take isl_pw_aff *pa)

__isl_export __isl_give isl_multi_val *	isl_pw_multi_aff_min_multi_val (__isl_take isl_pw_multi_aff *pma)

__isl_export __isl_give isl_multi_val *	isl_pw_multi_aff_max_multi_val (__isl_take isl_pw_multi_aff *pma)

__isl_export __isl_give isl_multi_val *	isl_multi_pw_aff_min_multi_val (__isl_take isl_multi_pw_aff *mpa)

__isl_export __isl_give isl_multi_val *	isl_multi_pw_aff_max_multi_val (__isl_take isl_multi_pw_aff *mpa)

__isl_give isl_val *	isl_union_pw_aff_min_val (__isl_take isl_union_pw_aff *upa)

__isl_give isl_val *	isl_union_pw_aff_max_val (__isl_take isl_union_pw_aff *upa)

__isl_give isl_multi_val *	isl_multi_union_pw_aff_min_multi_val (__isl_take isl_multi_union_pw_aff *mupa)

__isl_give isl_multi_val *	isl_multi_union_pw_aff_max_multi_val (__isl_take isl_multi_union_pw_aff *mupa)

__isl_export __isl_give isl_val *	isl_basic_set_dim_max_val (__isl_take isl_basic_set *bset, int pos)

__isl_export __isl_give isl_val *	isl_set_dim_min_val (__isl_take isl_set *set, int pos)

__isl_export __isl_give isl_val *	isl_set_dim_max_val (__isl_take isl_set *set, int pos)

Function Documentation

◆ isl_basic_set_dim_max_val()

__isl_export __isl_give isl_val * isl_basic_set_dim_max_val	(	__isl_take isl_basic_set *	bset,
		int	pos
	)

Definition at line 868 of file isl_ilp.c.

References pos().

Referenced by isl::basic_set::dim_max_val().

◆ isl_basic_set_max_val()

__isl_give isl_val * isl_basic_set_max_val	(	__isl_keep isl_basic_set *	bset,
		__isl_keep isl_aff *	obj
	)

Definition at line 562 of file isl_ilp.c.

References isl_basic_set_opt_val(), and obj.

Referenced by compute_size_in_direction(), and test_min_special2().

◆ isl_multi_pw_aff_max_multi_val()

__isl_export __isl_give isl_multi_val * isl_multi_pw_aff_max_multi_val ( __isl_take isl_multi_pw_aff * mpa )

Referenced by isl::multi_pw_aff::max_multi_val().

◆ isl_multi_pw_aff_min_multi_val()

__isl_export __isl_give isl_multi_val * isl_multi_pw_aff_min_multi_val ( __isl_take isl_multi_pw_aff * mpa )

Referenced by isl::multi_pw_aff::min_multi_val().

◆ isl_multi_union_pw_aff_max_multi_val()

__isl_give isl_multi_val * isl_multi_union_pw_aff_max_multi_val ( __isl_take isl_multi_union_pw_aff * mupa )

Definition at line 852 of file isl_ilp.c.

References isl_multi_union_pw_aff_opt_multi_val(), and mupa.

◆ isl_multi_union_pw_aff_min_multi_val()

__isl_give isl_multi_val * isl_multi_union_pw_aff_min_multi_val ( __isl_take isl_multi_union_pw_aff * mupa )

Definition at line 839 of file isl_ilp.c.

References isl_multi_union_pw_aff_opt_multi_val(), and mupa.

◆ isl_pw_aff_max_val()

__isl_export __isl_give isl_val * isl_pw_aff_max_val ( __isl_take isl_pw_aff * pa )

◆ isl_pw_aff_min_val()

__isl_export __isl_give isl_val * isl_pw_aff_min_val ( __isl_take isl_pw_aff * pa )

◆ isl_pw_multi_aff_max_multi_val()

__isl_export __isl_give isl_multi_val * isl_pw_multi_aff_max_multi_val ( __isl_take isl_pw_multi_aff * pma )

Referenced by isl::pw_multi_aff::max_multi_val(), and test_pw_max().

◆ isl_pw_multi_aff_min_multi_val()

__isl_export __isl_give isl_multi_val * isl_pw_multi_aff_min_multi_val ( __isl_take isl_pw_multi_aff * pma )

Referenced by isl::pw_multi_aff::min_multi_val().

◆ isl_set_dim_max_val()

__isl_export __isl_give isl_val * isl_set_dim_max_val	(	__isl_take isl_set *	set,
		int	pos
	)

Definition at line 895 of file isl_ilp.c.

References pos(), and set.

Referenced by isl::set::dim_max_val().

◆ isl_set_dim_min_val()

__isl_export __isl_give isl_val * isl_set_dim_min_val	(	__isl_take isl_set *	set,
		int	pos
	)

Definition at line 884 of file isl_ilp.c.

References pos(), and set.

Referenced by isl::set::dim_min_val().

◆ isl_set_max_val()

__isl_export __isl_give isl_val * isl_set_max_val	(	__isl_keep isl_set *	set,
		__isl_keep isl_aff *	obj
	)

Definition at line 612 of file isl_ilp.c.

References isl_set_opt_val(), obj, and set.

Referenced by compute_size(), isl::set::max_val(), and update_unrolling_lower_bound().

◆ isl_set_min_val()

__isl_export __isl_give isl_val * isl_set_min_val	(	__isl_keep isl_set *	set,
		__isl_keep isl_aff *	obj
	)

Definition at line 600 of file isl_ilp.c.

References isl_set_opt_val(), obj, and set.

Referenced by isl::set::min_val(), steal_from_cst(), and test_min_special().

◆ isl_union_pw_aff_max_val()

__isl_give isl_val * isl_union_pw_aff_max_val ( __isl_take isl_union_pw_aff * upa )

◆ isl_union_pw_aff_min_val()

__isl_give isl_val * isl_union_pw_aff_min_val ( __isl_take isl_union_pw_aff * upa )

◆ isl_union_set_min_multi_union_pw_aff()

__isl_give isl_multi_val * isl_union_set_min_multi_union_pw_aff	(	__isl_keep isl_union_set *	uset,
		__isl_keep isl_multi_union_pw_aff *	obj
	)

Definition at line 826 of file isl_ilp.c.

References isl_union_set_opt_multi_union_pw_aff(), and obj.

Functions