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 5155 of file isl_map_simplify.c.

Member Data Documentation

fl

isl_int test_ineq_data::fl

Definition at line 5159 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 5160 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 5158 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 5156 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 5157 of file isl_map_simplify.c.

Referenced by drop_more_redundant_divs(), int_between_bounds(), 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