Public Attributes
struct isl_ctx *	ctx
struct isl_vec *	row
struct isl_tab *	tab
struct isl_tab_undo **	stack
isl_int *	obj
isl_int	opt
isl_int	opt_denom
isl_int	tmp
isl_int	tmp2
int	neq
unsigned	dim
int	con_offset
int	is_fixed

Detailed Description

Definition at line 17 of file basis_reduction_tab.c.

Member Data Documentation

◆ con_offset

int tab_lp::con_offset

Definition at line 30 of file basis_reduction_tab.c.

Referenced by cut_lp_to_hyperplane(), get_alpha(), and init_lp().

◆ ctx

struct isl_ctx* tab_lp::ctx

Definition at line 18 of file basis_reduction_tab.c.

Referenced by cut_lp_to_hyperplane(), delete_lp(), init_lp(), and solve_lp().

◆ dim

unsigned tab_lp::dim

Definition at line 28 of file basis_reduction_tab.c.

Referenced by add_lp_row(), cut_lp_to_hyperplane(), init_lp(), and solve_lp().

◆ is_fixed

int tab_lp::is_fixed

Definition at line 32 of file basis_reduction_tab.c.

Referenced by solve_lp().

◆ neq

int tab_lp::neq

Definition at line 27 of file basis_reduction_tab.c.

Referenced by add_lp_row(), del_lp_row(), init_lp(), and solve_lp().

◆ obj

isl_int* tab_lp::obj

Definition at line 22 of file basis_reduction_tab.c.

Referenced by init_lp(), set_lp_obj(), and solve_lp().

◆ opt

isl_int tab_lp::opt

Definition at line 23 of file basis_reduction_tab.c.

Referenced by delete_lp(), get_obj_val(), init_lp(), and solve_lp().

◆ opt_denom

isl_int tab_lp::opt_denom

Definition at line 24 of file basis_reduction_tab.c.

Referenced by delete_lp(), get_obj_val(), init_lp(), and solve_lp().

◆ row

struct isl_vec* tab_lp::row

Definition at line 19 of file basis_reduction_tab.c.

Referenced by add_lp_row(), cut_lp_to_hyperplane(), delete_lp(), init_lp(), set_lp_obj(), and solve_lp().

◆ stack

struct isl_tab_undo** tab_lp::stack

Definition at line 21 of file basis_reduction_tab.c.

Referenced by add_lp_row(), del_lp_row(), delete_lp(), and init_lp().

◆ tab

struct isl_tab* tab_lp::tab

Definition at line 20 of file basis_reduction_tab.c.

Referenced by add_lp_row(), cut_lp_to_hyperplane(), del_lp_row(), delete_lp(), get_alpha(), init_lp(), and solve_lp().

◆ tmp

isl_int tab_lp::tmp

Definition at line 25 of file basis_reduction_tab.c.