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.