#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 |
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 |
Definition at line 25 of file isl_scan.c.
References __isl_take, 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 |
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_keep, isl_counter::callback, count(), isl_counter::count, increment_counter(), isl_basic_set, 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_take, isl_scan_callback::add, add_solution(), B(), isl_tab::basis, isl_vec::el, increment_counter(), increment_range(), init(), isl_alloc_array, isl_basic_set, 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 __isl_keep, count(), isl_set, 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_keep, 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, 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_give, __isl_keep, isl_set, 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_take, isl_basic_set_copy(), isl_basic_set_scan(), isl_set, 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 |
Definition at line 68 of file isl_scan.c.
References __isl_take, isl_scan_callback::add, isl_vec::el, isl_basic_set, isl_basic_set_free(), isl_int_set_si, isl_stat_error, and isl_vec_alloc().
Referenced by isl_basic_set_scan().
Generated on for Polly by
1.14.0