#include <isl_map_private.h>

Public Attributes
int	ref
unsigned	flags
struct isl_ctx *	ctx
isl_space *	dim
unsigned	extra
unsigned	n_eq
unsigned	n_ineq
size_t	c_size
isl_int **	eq
isl_int **	ineq
unsigned	n_div
isl_int **	div
struct isl_vec *	sample
struct isl_blk	block
struct isl_blk	block2

Detailed Description

Definition at line 36 of file isl_map_private.h.

Member Data Documentation

◆ block

struct isl_blk isl_basic_map::block

Definition at line 76 of file isl_map_private.h.

◆ block2

struct isl_blk isl_basic_map::block2

Definition at line 77 of file isl_map_private.h.

Referenced by isl_basic_map_overlying_set().

◆ c_size

size_t isl_basic_map::c_size

Definition at line 66 of file isl_map_private.h.

◆ ctx

struct isl_ctx* isl_basic_map::ctx

Definition at line 58 of file isl_map_private.h.

Referenced by basic_set_maximal_difference_at(), isl_basic_map_alloc(), isl_basic_map_read_from_file(), isl_basic_set_alloc(), isl_basic_set_read_from_file(), isl_constraint_get_bound(), isl_map_get_basic_map_list(), isl_tab_from_basic_map(), tab_for_lexmin(), test_application(), and test_application_case().

◆ dim

isl_space* isl_basic_map::dim

Definition at line 60 of file isl_map_private.h.

Referenced by drop_irrelevant_constraints(), fuse(), is_acyclic(), isl_basic_map_alloc_space(), isl_basic_map_intersect_domain(), isl_basic_map_intersect_range(), isl_basic_set_alloc(), isl_basic_set_size(), isl_map_project_onto(), and isl_set_fix_dim_si().

◆ div

isl_int** isl_basic_map::div

Definition at line 72 of file isl_map_private.h.

Referenced by add_div_constraints(), basic_map_read_polylib(), box_closure_on_domain(), extend(), find_div(), fuse(), harmonize_divs_with_hulls(), has_nested_div(), isl_basic_map_from_constraint_matrices(), isl_basic_map_from_local_space(), isl_basic_map_from_qpolynomial(), isl_basic_map_overlying_set(), path_along_delta(), path_along_steps(), and tab_add_divs().

◆ eq

isl_int** isl_basic_map::eq

Definition at line 67 of file isl_map_private.h.

Referenced by add_delta_constraints(), add_selected_wraps(), add_valid_constraints(), basic_map_from_equalities(), box_closure_on_domain(), can_wrap_in_set(), check_eq_adj_eq(), combined_variable_compression(), contains(), drop_equalities(), equate_parameter_to_length(), equator(), extract_compressed_stride_constraints(), increment(), isl_basic_map_foreach_constraint(), isl_basic_map_from_aff2(), isl_basic_map_from_constraint(), isl_basic_map_from_constraint_matrices(), isl_basic_map_from_qpolynomial(), isl_basic_map_has_defining_equality(), isl_basic_map_sum(), isl_constraint_alloc_aff(), isl_map_oppose(), isl_tab_from_basic_map(), n_div_eq(), path_along_delta(), path_along_steps(), print_constraint_polylib(), print_dim_eq(), purity(), reduce_stride_constraints(), set_path_length(), tab_for_lexmin(), try_wrap_in_facets(), and wraps_update_max().

◆ extra

unsigned isl_basic_map::extra

Definition at line 61 of file isl_map_private.h.

Referenced by isl_basic_map_alloc(), isl_basic_map_alloc_space(), isl_basic_map_extend(), isl_basic_map_overlying_set(), isl_basic_set_alloc(), isl_basic_set_alloc_space(), and isl_basic_set_extend().

◆ flags

unsigned isl_basic_map::flags

Definition at line 56 of file isl_map_private.h.

Referenced by isl_basic_map_extend(), and isl_map_partial_lexopt_aligned_pw_multi_aff().

◆ ineq

isl_int** isl_basic_map::ineq

◆ n_div

unsigned isl_basic_map::n_div

◆ n_eq

unsigned isl_basic_map::n_eq

Definition at line 63 of file isl_map_private.h.

Referenced by add_selected_wraps(), add_selected_wraps_around_facet(), add_valid_constraints(), all_valid_or_cut(), can_wrap_in_facet(), can_wrap_in_set(), check_eq_adj_eq(), check_facets(), coalesce_subset_with_equalities(), coalesce_with_expanded_divs(), combined_variable_compression(), contains(), drop_equalities(), fuse(), is_relaxed_extension(), isl_basic_map_alloc(), isl_basic_map_alloc_space(), isl_basic_map_extend(), isl_basic_map_extend_constraints(), isl_basic_set_alloc(), isl_basic_set_alloc_space(), isl_basic_set_extend(), isl_basic_set_extend_constraints(), isl_tab_add_ineq(), isl_tab_from_basic_map(), isl_tab_make_equalities_explicit(), n_div_eq(), number_of_constraints_increases(), path_along_delta(), print_constraints_polylib(), tab_for_lexmin(), tab_insert_divs(), try_wrap_in_facets(), use_shifted(), wrap_in_facets(), and wraps_update_max().

◆ n_ineq

unsigned isl_basic_map::n_ineq

Definition at line 64 of file isl_map_private.h.

Referenced by add_selected_wraps(), add_valid_constraints(), all_cut_by_one(), all_ineq_valid_or_single_adj_ineq(), all_valid_or_cut(), can_wrap_in_facet(), can_wrap_in_set(), check_eq_adj_eq(), check_facets(), coalesce_with_expanded_divs(), contains(), context_gbr_detect_equalities(), drop_inequalities(), foreach_bound_pair(), foreach_lower_bound(), foreach_upper_bound(), fuse(), isl_basic_map_alloc(), isl_basic_map_alloc_space(), isl_basic_map_extend(), isl_basic_map_extend_constraints(), isl_basic_map_implicit_equalities(), isl_basic_map_remove_redundancies(), isl_basic_set_alloc(), isl_basic_set_alloc_space(), isl_basic_set_extend(), isl_basic_set_extend_constraints(), isl_tab_add_ineq(), isl_tab_from_basic_map(), isl_tab_make_equalities_explicit(), number_of_constraints_increases(), print_constraints_polylib(), propagate_equalities(), tab_for_lexmin(), tab_insert_divs(), tighten_on_relaxed_facet(), try_wrap_in_facets(), wrap_in_facets(), and wraps_update_max().

◆ ref

int isl_basic_map::ref

Definition at line 37 of file isl_map_private.h.

◆ sample

struct isl_vec* isl_basic_map::sample

Definition at line 74 of file isl_map_private.h.

Referenced by isl_basic_map_extend(), isl_basic_map_is_empty(), isl_tab_detect_equalities(), outside_point(), and uset_affine_hull_bounded().

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

isl_map_private.h

Public Attributes