isl_ctx Struct Reference

#include <isl_ctx_private.h>

Public Attributes
int	ref
struct isl_stats *	stats
int	opt_allocated
struct isl_options *	opt
void *	user_opt
struct isl_args *	user_args
isl_int	zero
isl_int	one
isl_int	two
isl_int	negone
isl_int	normalize_gcd
int	n_cached
int	n_miss
struct isl_blk	cache [ISL_BLK_CACHE_SIZE]
struct isl_hash_table	id_table
enum isl_error	error
const char *	error_msg
const char *	error_file
int	error_line
int	abort
unsigned long	operations
unsigned long	max_operations

Detailed Description

Definition at line 11 of file isl_ctx_private.h.

Member Data Documentation

abort

int isl_ctx::abort

Definition at line 38 of file isl_ctx_private.h.

Referenced by isl_ctx_abort(), isl_ctx_aborted(), isl_ctx_next_operation(), and isl_ctx_resume().

cache

struct isl_blk isl_ctx::cache[ISL_BLK_CACHE_SIZE]

Definition at line 30 of file isl_ctx_private.h.

Referenced by isl_blk_clear_cache(), and isl_blk_free().

error

enum isl_error isl_ctx::error

Definition at line 33 of file isl_ctx_private.h.

Referenced by compute_facet(), initial_hull(), isl_basic_map_add_eq(), isl_basic_map_add_ineq(), isl_basic_map_overlying_set(), isl_basic_map_range(), isl_basic_map_reset_space(), isl_basic_set_from_vec(), isl_basic_set_preimage(), isl_ctx_last_error(), isl_ctx_reset_error(), isl_ctx_set_full_error(), isl_map_reset_equal_dim_space(), isl_map_reset_space(), isl_map_underlying_set(), isl_mat_insert_cols(), isl_mat_insert_rows(), isl_poly_add_isl_int(), isl_poly_mul(), isl_poly_mul_cst(), isl_poly_mul_isl_int(), isl_poly_mul_rec(), isl_poly_scale_val(), isl_poly_subs(), isl_poly_sum(), isl_qpolynomial_var_on_domain(), isl_set_preimage(), reduce_divs(), replace_by_constant_term(), and substitute_div().

error_file

const char* isl_ctx::error_file

Definition at line 35 of file isl_ctx_private.h.

Referenced by isl_ctx_last_error_file(), isl_ctx_reset_error(), and isl_ctx_set_full_error().

error_line

int isl_ctx::error_line

Definition at line 36 of file isl_ctx_private.h.

Referenced by isl_ctx_last_error_line(), isl_ctx_reset_error(), and isl_ctx_set_full_error().

error_msg

const char* isl_ctx::error_msg

Definition at line 34 of file isl_ctx_private.h.

Referenced by isl_ctx_last_error_msg(), isl_ctx_reset_error(), and isl_ctx_set_full_error().

id_table

struct isl_hash_table isl_ctx::id_table

Definition at line 31 of file isl_ctx_private.h.

Referenced by isl_ctx_alloc_with_options(), isl_ctx_free(), and isl_id_alloc().

max_operations

unsigned long isl_ctx::max_operations

Definition at line 41 of file isl_ctx_private.h.

Referenced by isl_ctx_get_max_operations(), isl_ctx_next_operation(), and isl_ctx_set_max_operations().

n_cached

int isl_ctx::n_cached

Definition at line 28 of file isl_ctx_private.h.

Referenced by isl_blk_clear_cache(), isl_blk_free(), and isl_ctx_alloc_with_options().

n_miss

int isl_ctx::n_miss

Definition at line 29 of file isl_ctx_private.h.

Referenced by isl_ctx_alloc_with_options().

negone

isl_int isl_ctx::negone

Definition at line 24 of file isl_ctx_private.h.

Referenced by eliminate_unit_div(), extract_aff_from_equality(), isl_ctx_alloc_with_options(), isl_ctx_free(), outside_point(), print_eq_mod_constraint(), and select_minimum().

normalize_gcd

isl_int isl_ctx::normalize_gcd

Definition at line 26 of file isl_ctx_private.h.

Referenced by is_internal(), isl_ctx_alloc_with_options(), isl_ctx_free(), isl_seq_normalize(), isl_val_normalize(), normalize_constraint(), normalize_div(), normalize_div(), normalize_div(), normalize_div_expression(), try_tightening(), and uset_gist_compressed().

one

isl_int isl_ctx::one

Definition at line 22 of file isl_ctx_private.h.

Referenced by basic_set_maximal_difference_at(), coalesce_divs(), compute_max(), compute_min(), cut_lp_to_hyperplane(), eliminate_divs_ineq(), eliminate_unit_div(), extract_coefficients(), find_modulo_constraint_pair(), is_bound(), isl_ctx_alloc_with_options(), isl_ctx_free(), isl_mat_identity(), isl_set_wrap_facet(), isl_tab_compute_reduced_basis(), monotonicity(), outside_point(), reduce_divs(), select_minimum(), set_row_cst_to_div(), solve_lp(), and test_ineq_is_satisfied().

operations

unsigned long isl_ctx::operations

Definition at line 40 of file isl_ctx_private.h.

Referenced by isl_ctx_alloc_with_options(), isl_ctx_next_operation(), isl_ctx_reset_operations(), and print_stats().

opt

struct isl_options* isl_ctx::opt

Definition at line 17 of file isl_ctx_private.h.

Referenced by add_node(), bernstein_coefficients_cell(), compressed_guarded_poly_bound(), isl_ctx_alloc_with_options(), isl_ctx_free(), isl_ctx_options(), isl_ctx_peek_options(), isl_handle_error(), isl_schedule_node_compute_finish_band(), isl_schedule_node_compute_wcc_band(), isl_tab_compute_reduced_basis(), isl_tab_sample(), need_feautrier_step(), setup_lp(), split_scaled(), test_convex_hull_algo(), and test_schedule().

opt_allocated

int isl_ctx::opt_allocated

Definition at line 16 of file isl_ctx_private.h.

Referenced by isl_ctx_alloc_with_options(), and isl_ctx_free().

ref

int isl_ctx::ref

Definition at line 12 of file isl_ctx_private.h.

Referenced by isl_ctx_alloc_with_options(), isl_ctx_deref(), isl_ctx_free(), and isl_ctx_ref().

stats

struct isl_stats* isl_ctx::stats

Definition at line 14 of file isl_ctx_private.h.

Referenced by isl_ctx_alloc_with_options(), isl_ctx_free(), and isl_tab_compute_reduced_basis().

two

isl_int isl_ctx::two

Definition at line 23 of file isl_ctx_private.h.

Referenced by FN(), isl_aff_floor(), isl_ctx_alloc_with_options(), and isl_ctx_free().

user_args

struct isl_args* isl_ctx::user_args

Definition at line 19 of file isl_ctx_private.h.

Referenced by isl_ctx_alloc_with_options(), isl_ctx_free(), isl_ctx_parse_options(), and isl_ctx_peek_options().

user_opt

void* isl_ctx::user_opt

Definition at line 18 of file isl_ctx_private.h.

Referenced by isl_ctx_alloc_with_options(), isl_ctx_free(), isl_ctx_parse_options(), and isl_ctx_peek_options().

zero

isl_int isl_ctx::zero

Definition at line 21 of file isl_ctx_private.h.

Referenced by isl_ctx_alloc_with_options(), and isl_ctx_free().

---

The documentation for this struct was generated from the following file:

• isl_ctx_private.h