isl_scan.h File Reference

#include <isl/set.h>
#include <isl/vec.h>

Go to the source code of this file.

Classes
struct	isl_scan_callback

Functions
isl_stat	isl_basic_set_scan (__isl_take isl_basic_set *bset, struct isl_scan_callback *callback)
isl_stat	isl_set_scan (__isl_take isl_set *set, struct isl_scan_callback *callback)

Function Documentation

isl_basic_set_scan()

isl_stat isl_basic_set_scan	(	__isl_take isl_basic_set *	bset,
		struct isl_scan_callback *	callback
	)

Definition at line 102 of file isl_scan.c.

References isl_scan_callback::add, add_solution(), B(), isl_tab::basis, isl_vec::el, increment_counter(), increment_range(), init(), isl_alloc_array, isl_basic_set_dim(), isl_basic_set_free(), isl_dim_all, isl_int_add_ui, isl_int_gt, isl_int_neg, isl_int_set_si, isl_lp_empty, isl_lp_error, isl_lp_unbounded, isl_mat_copy(), isl_mat_free(), isl_mat_identity(), isl_seq_neg(), isl_stat_error, isl_stat_ok, isl_tab_add_valid_eq(), isl_tab_compute_reduced_basis(), isl_tab_extend_cons(), isl_tab_free(), isl_tab_from_basic_set(), isl_tab_min(), isl_tab_rollback(), isl_tab_snap(), isl_vec_alloc(), isl_vec_free(), res, and scan_0D().

Referenced by check_solution(), isl_basic_set_count_upto(), isl_basic_set_scan_samples(), isl_set_foreach_point(), and isl_set_scan().

isl_set_scan()

isl_stat isl_set_scan	(	__isl_take isl_set *	set,
		struct isl_scan_callback *	callback
	)

Definition at line 225 of file isl_scan.c.

References isl_basic_set_copy(), isl_basic_set_scan(), isl_set_compute_divs(), isl_set_cow(), isl_set_free(), isl_set_make_disjoint(), isl_stat_error, isl_stat_ok, and set.

Referenced by isl_set_count_upto().