isl_sol Struct Reference

Public Attributes
int	error
int	rational
int	level
int	max
isl_size	n_out
isl_space *	space
struct isl_context *	context
struct isl_partial_sol *	partial
void(*	add )(struct isl_sol *sol, __isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma)
void(*	add_empty )(struct isl_sol *sol, struct isl_basic_set *bset)
void(*	free )(struct isl_sol *sol)
struct isl_sol_callback	dec_level

Detailed Description

Definition at line 182 of file isl_tab_pip.c.

Member Data Documentation

add

void(* isl_sol::add) (struct isl_sol *sol, __isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma)

Definition at line 191 of file isl_tab_pip.c.

Referenced by sol_map_init(), sol_pma_init(), and sol_pop_one().

add_empty

void(* isl_sol::add_empty) (struct isl_sol *sol, struct isl_basic_set *bset)

Definition at line 193 of file isl_tab_pip.c.

Referenced by basic_map_partial_lexopt_base_sol(), sol_add(), sol_map_init(), sol_pma_init(), and sol_pop_one().

context

struct isl_context* isl_sol::context

Definition at line 189 of file isl_tab_pip.c.

Referenced by basic_map_partial_lexopt_base_sol(), find_in_pos(), find_solutions(), find_solutions_main(), no_sol_in_strict(), row_sign(), sol_add(), sol_domain(), sol_free(), sol_inc_level(), sol_init(), and sol_push_sol_mat().

dec_level

struct isl_sol_callback isl_sol::dec_level

Definition at line 195 of file isl_tab_pip.c.

Referenced by sol_inc_level(), and sol_init().

error

int isl_sol::error

Definition at line 183 of file isl_tab_pip.c.

Referenced by basic_map_partial_lexopt_base_sol(), find_in_pos(), find_solutions(), find_solutions_main(), no_sol_in_strict(), sol_add(), sol_dec_level(), sol_domain(), sol_has_mergeable_solutions(), sol_inc_level(), sol_map_add(), sol_map_add_empty(), sol_pma_add(), sol_pma_add_empty(), sol_pop(), and sol_push_sol().

free

void(* isl_sol::free) (struct isl_sol *sol)

Definition at line 194 of file isl_tab_pip.c.

Referenced by sol_free(), sol_map_init(), and sol_pma_init().

level

int isl_sol::level

Definition at line 185 of file isl_tab_pip.c.

Referenced by combine_initial_into_second(), find_solutions_main(), sol_dec_level(), sol_inc_level(), sol_pop(), and sol_push_sol().

max

int isl_sol::max

Definition at line 186 of file isl_tab_pip.c.

Referenced by sol_add(), and sol_init().

n_out

isl_size isl_sol::n_out

Definition at line 187 of file isl_tab_pip.c.

Referenced by sol_add(), and sol_init().

partial

struct isl_partial_sol* isl_sol::partial

Definition at line 190 of file isl_tab_pip.c.

Referenced by combine_initial_if_equal(), combine_initial_into_second(), sol_free(), sol_has_mergeable_solutions(), sol_pop(), sol_pop_one(), sol_push_sol(), and swap_initial().

rational

int isl_sol::rational

Definition at line 184 of file isl_tab_pip.c.

Referenced by sol_init(), and sol_map_add().

space

isl_space* isl_sol::space

Definition at line 188 of file isl_tab_pip.c.

Referenced by sol_free(), sol_init(), sol_map_init(), sol_pma_init(), and sol_push_sol_mat().

---

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

• isl_tab_pip.c