isl_scan.c File Reference

#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include "isl_basis_reduction.h"
#include "isl_scan.h"
#include <isl_seq.h>
#include "isl_tab.h"
#include <isl_val_private.h>
#include <isl_vec_private.h>

Go to the source code of this file.

Classes
struct	isl_counter

Functions
static isl_stat	increment_counter (struct isl_scan_callback *cb, __isl_take isl_vec *sample)
static int	increment_range (struct isl_scan_callback *cb, isl_int min, isl_int max)
static int	add_solution (struct isl_tab *tab, struct isl_scan_callback *callback)
static isl_stat	scan_0D (__isl_take isl_basic_set *bset, struct isl_scan_callback *callback)
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)
int	isl_basic_set_count_upto (__isl_keep isl_basic_set *bset, isl_int max, isl_int *count)
int	isl_set_count_upto (__isl_keep isl_set *set, isl_int max, isl_int *count)
int	isl_set_count (__isl_keep isl_set *set, isl_int *count)
__isl_give isl_val *	isl_set_count_val (__isl_keep isl_set *set)

Function Documentation

add_solution()

static int add_solution ( struct isl_tab *  tab, struct isl_scan_callback *  callback  )

static

Definition at line 55 of file isl_scan.c.

References isl_scan_callback::add, and isl_tab_get_sample_value().

Referenced by isl_basic_set_scan().

increment_counter()

static isl_stat increment_counter ( struct isl_scan_callback *  cb, __isl_take isl_vec *  sample  )

static

Definition at line 25 of file isl_scan.c.

References isl_counter::count, isl_int_add_ui, isl_int_is_zero, isl_int_lt, isl_stat_error, isl_stat_ok, isl_vec_free(), and isl_counter::max.

Referenced by isl_basic_set_count_upto(), isl_basic_set_scan(), and isl_set_count_upto().

increment_range()

static int increment_range ( struct isl_scan_callback *  cb, isl_int  min, isl_int  max  )

static

Definition at line 39 of file isl_scan.c.

References isl_counter::count, isl_int_add, isl_int_add_ui, isl_int_is_zero, isl_int_lt, isl_int_set, isl_int_sub, and isl_counter::max.

Referenced by isl_basic_set_scan().

isl_basic_set_count_upto()

int isl_basic_set_count_upto	(	__isl_keep isl_basic_set *	bset,
		isl_int	max,
		isl_int *	count
	)

Definition at line 251 of file isl_scan.c.

References isl_counter::callback, count(), isl_counter::count, increment_counter(), isl_basic_set_copy(), isl_basic_set_scan(), isl_int_clear, isl_int_init, isl_int_lt, isl_int_set, isl_int_set_si, and isl_counter::max.

Referenced by check_solution().

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

int isl_set_count	(	__isl_keep isl_set *	set,
		isl_int *	count
	)

Definition at line 304 of file isl_scan.c.

References count(), isl_set_count_upto(), and set.

Referenced by isl_set_count_val().

isl_set_count_upto()

int isl_set_count_upto	(	__isl_keep isl_set *	set,
		isl_int	max,
		isl_int *	count
	)

Definition at line 278 of file isl_scan.c.

References isl_counter::callback, count(), isl_counter::count, increment_counter(), isl_int_clear, isl_int_init, isl_int_lt, isl_int_set, isl_int_set_si, isl_set_copy(), isl_set_scan(), isl_counter::max, and set.

Referenced by check_solution(), and isl_set_count().

isl_set_count_val()

__isl_give isl_val * isl_set_count_val

(

__isl_keep isl_set *

set

)

Definition at line 314 of file isl_scan.c.

References isl_set_count(), isl_set_get_ctx(), isl_val_cow(), isl_val_free(), isl_val_zero(), isl_val::n, and set.

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

scan_0D()

static isl_stat scan_0D ( __isl_take isl_basic_set *  bset, struct isl_scan_callback *  callback  )

static

Definition at line 68 of file isl_scan.c.

References isl_scan_callback::add, isl_vec::el, isl_basic_set_free(), isl_int_set_si, isl_stat_error, and isl_vec_alloc().

Referenced by isl_basic_set_scan().