isl_local_region Struct Reference

Public Attributes
int	update
int	n_zero
int	region
int	side
int	n
struct isl_tab_undo *	snap

Detailed Description

Definition at line 5224 of file isl_tab_pip.c.

Member Data Documentation

n

int isl_local_region::n

Definition at line 5229 of file isl_tab_pip.c.

Referenced by enter_level(), finished_all_cases(), and init_local_region().

n_zero

int isl_local_region::n_zero

Definition at line 5226 of file isl_tab_pip.c.

Referenced by better_next_side(), force_better_solution(), and init_local_region().

region

int isl_local_region::region

Definition at line 5227 of file isl_tab_pip.c.

Referenced by fix_zero(), init_local_region(), and pick_side().

side

int isl_local_region::side

Definition at line 5228 of file isl_tab_pip.c.

Referenced by finished_all_cases(), init_local_region(), isl_tab_basic_set_non_trivial_lexmin(), and pick_side().

snap

struct isl_tab_undo* isl_local_region::snap

Definition at line 5230 of file isl_tab_pip.c.

Referenced by enter_level(), and pick_side().

update

int isl_local_region::update

Definition at line 5225 of file isl_tab_pip.c.

Referenced by better_next_side(), init_local_region(), and update_outer_levels().

---

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

• isl_tab_pip.c