isl_context_op Struct Reference

Public Attributes
struct isl_tab *(*	detect_nonnegative_parameters )(struct isl_context *context, struct isl_tab *tab)
struct isl_basic_set *(*	peek_basic_set )(struct isl_context *context)
struct isl_tab *(*	peek_tab )(struct isl_context *context)
void(*	add_eq )(struct isl_context *context, isl_int *eq, int check, int update)
void(*	add_ineq )(struct isl_context *context, isl_int *ineq, int check, int update)
enum isl_tab_row_sign(*	ineq_sign )(struct isl_context *context, isl_int *ineq, int strict)
int(*	test_ineq )(struct isl_context *context, isl_int *ineq)
int(*	get_div )(struct isl_context *context, struct isl_tab *tab, struct isl_vec *div)
isl_bool(*	insert_div )(struct isl_context *context, int pos, __isl_keep isl_vec *div)
int(*	detect_equalities )(struct isl_context *context, struct isl_tab *tab)
int(*	best_split )(struct isl_context *context, struct isl_tab *tab)
int(*	is_empty )(struct isl_context *context)
int(*	is_ok )(struct isl_context *context)
void *(*	save )(struct isl_context *context)
void(*	restore )(struct isl_context *context, void *)
void(*	discard )(void *)
void(*	invalidate )(struct isl_context *context)
__isl_null struct isl_context *(*	free )(struct isl_context *context)

Detailed Description

Definition at line 68 of file isl_tab_pip.c.

Member Data Documentation

add_eq

void(* isl_context_op::add_eq) (struct isl_context *context, isl_int *eq, int check, int update)

Definition at line 79 of file isl_tab_pip.c.

Referenced by find_solutions_main().

add_ineq

void(* isl_context_op::add_ineq) (struct isl_context *context, isl_int *ineq, int check, int update)

Definition at line 84 of file isl_tab_pip.c.

Referenced by find_in_pos(), and no_sol_in_strict().

best_split

int(* isl_context_op::best_split) (struct isl_context *context, struct isl_tab *tab)

Definition at line 102 of file isl_tab_pip.c.

detect_equalities

int(* isl_context_op::detect_equalities) (struct isl_context *context, struct isl_tab *tab)

Definition at line 99 of file isl_tab_pip.c.

detect_nonnegative_parameters

struct isl_tab *(* isl_context_op::detect_nonnegative_parameters) (struct isl_context *context, struct isl_tab *tab)

Definition at line 5980 of file isl_tab_pip.c.

discard

void(* isl_context_op::discard) (void *)

Definition at line 112 of file isl_tab_pip.c.

Referenced by find_in_pos(), and find_solutions_main().

free

__isl_null struct isl_context *(* isl_context_op::free) (struct isl_context *context)

Definition at line 116 of file isl_tab_pip.c.

Referenced by isl_context_gbr_alloc(), isl_context_lex_alloc(), and sol_free().

get_div

int(* isl_context_op::get_div) (struct isl_context *context, struct isl_tab *tab, struct isl_vec *div)

Definition at line 94 of file isl_tab_pip.c.

ineq_sign

enum isl_tab_row_sign(* isl_context_op::ineq_sign) (struct isl_context *context, isl_int *ineq, int strict)

Definition at line 84 of file isl_tab_pip.c.

Referenced by row_sign().

insert_div

isl_bool(* isl_context_op::insert_div) (struct isl_context *context, int pos, __isl_keep isl_vec *div)

Definition at line 97 of file isl_tab_pip.c.

invalidate

void(* isl_context_op::invalidate) (struct isl_context *context)

Definition at line 114 of file isl_tab_pip.c.

is_empty

int(* isl_context_op::is_empty) (struct isl_context *context)

Definition at line 104 of file isl_tab_pip.c.

Referenced by find_solutions_main(), and sol_add().

is_ok

int(* isl_context_op::is_ok) (struct isl_context *context)

Definition at line 106 of file isl_tab_pip.c.

peek_basic_set

struct isl_basic_set *(* isl_context_op::peek_basic_set) (struct isl_context *context)

Definition at line 5980 of file isl_tab_pip.c.

Referenced by sol_domain().

peek_tab

struct isl_tab *(* isl_context_op::peek_tab) (struct isl_context *context)

Definition at line 5980 of file isl_tab_pip.c.

Referenced by sol_domain(), and sol_inc_level().

restore

void(* isl_context_op::restore) (struct isl_context *context, void *)

Definition at line 110 of file isl_tab_pip.c.

Referenced by find_in_pos(), find_solutions_main(), and no_sol_in_strict().

save

void *(* isl_context_op::save) (struct isl_context *context)

Definition at line 108 of file isl_tab_pip.c.

Referenced by find_in_pos(), find_solutions_main(), and no_sol_in_strict().

test_ineq

int(* isl_context_op::test_ineq) (struct isl_context *context, isl_int *ineq)

Definition at line 92 of file isl_tab_pip.c.

Referenced by row_sign().

---

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

• isl_tab_pip.c