test_ineq_data Struct Reference

Public Attributes
struct isl_tab *	tab
isl_vec *	v
isl_int	g
isl_int	fl
isl_int	fu

Detailed Description

Definition at line 4247 of file isl_map_simplify.c.

Member Data Documentation

fl

isl_int test_ineq_data::fl

Definition at line 4251 of file isl_map_simplify.c.

Referenced by drop_more_redundant_divs(), int_between_bounds(), and test_ineq_data_clear().

fu

isl_int test_ineq_data::fu

Definition at line 4252 of file isl_map_simplify.c.

Referenced by drop_more_redundant_divs(), int_between_bounds(), and test_ineq_data_clear().

g

isl_int test_ineq_data::g

Definition at line 4250 of file isl_map_simplify.c.

Referenced by drop_more_redundant_divs(), int_between_bounds(), test_ineq_data_clear(), and test_ineq_is_satisfied().

tab

struct isl_tab* test_ineq_data::tab

Definition at line 4248 of file isl_map_simplify.c.

Referenced by drop_more_redundant_divs(), test_ineq_data_clear(), and test_ineq_is_satisfied().

v

isl_vec* test_ineq_data::v

Definition at line 4249 of file isl_map_simplify.c.

Referenced by drop_more_redundant_divs(), int_between_bounds(), isl_basic_map_reduce_coefficients(), normalize_constraint(), preimage(), test_ineq_data_clear(), and test_ineq_is_satisfied().

---

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

• isl_map_simplify.c