isl_context_gbr Struct Reference

Public Attributes
struct isl_context	context
struct isl_tab *	tab
struct isl_tab *	shifted
struct isl_tab *	cone

Detailed Description

Definition at line 2908 of file isl_tab_pip.c.

Member Data Documentation

cone

struct isl_tab* isl_context_gbr::cone

Definition at line 2912 of file isl_tab_pip.c.

Referenced by add_gbr_ineq(), context_gbr_add_eq(), context_gbr_detect_equalities(), context_gbr_free(), context_gbr_insert_div(), context_gbr_restore(), context_gbr_save(), context_gbr_test_ineq(), gbr_get_sample(), and isl_context_gbr_alloc().

context

struct isl_context isl_context_gbr::context

Definition at line 2909 of file isl_tab_pip.c.

Referenced by isl_context_gbr_alloc().

shifted

struct isl_tab* isl_context_gbr::shifted

Definition at line 2911 of file isl_tab_pip.c.

Referenced by add_gbr_ineq(), context_gbr_add_eq(), context_gbr_free(), context_gbr_restore(), context_gbr_save(), context_gbr_test_ineq(), gbr_get_shifted_sample(), gbr_init_shifted(), and isl_context_gbr_alloc().

tab

struct isl_tab* isl_context_gbr::tab

Definition at line 2910 of file isl_tab_pip.c.

Referenced by add_gbr_ineq(), check_gbr_integer_feasible(), context_gbr_add_eq(), context_gbr_add_ineq(), context_gbr_best_split(), context_gbr_detect_equalities(), context_gbr_detect_nonnegative_parameters(), context_gbr_free(), context_gbr_ineq_sign(), context_gbr_insert_div(), context_gbr_invalidate(), context_gbr_is_empty(), context_gbr_is_ok(), context_gbr_peek_basic_set(), context_gbr_peek_tab(), context_gbr_restore(), context_gbr_save(), context_gbr_test_ineq(), gbr_get_sample(), gbr_get_shifted_sample(), gbr_init_shifted(), isl_context_gbr_alloc(), propagate_equalities(), and use_shifted().

---

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

• isl_tab_pip.c