isl_basis_reduction.h File Reference

#include <isl/set.h>
#include <isl_mat_private.h>
#include "isl_tab.h"

Go to the source code of this file.

Functions
struct isl_tab *	isl_tab_compute_reduced_basis (struct isl_tab *tab)

Function Documentation

isl_tab_compute_reduced_basis()

struct isl_tab * isl_tab_compute_reduced_basis

(

struct isl_tab *

tab

)

Definition at line 49 of file basis_reduction_templ.c.

References B(), isl_tab::basis, isl_mat::ctx, isl_vec::ctx, isl_vec::el, isl_tab::empty, GBR_LP, GBR_lp_add_row, GBR_lp_cut, GBR_lp_del_row, GBR_lp_delete, GBR_lp_get_alpha, GBR_lp_get_obj_val, GBR_lp_init, GBR_lp_is_fixed, GBR_lp_next_row, GBR_lp_set_obj, GBR_lp_solve, isl_options::gbr_only_first, isl_stats::gbr_solved_lps, isl_alloc_array, isl_int_clear, isl_int_eq, isl_int_init, isl_int_set, isl_mat_free(), isl_mat_swap_rows(), isl_seq_combine(), isl_vec_alloc(), isl_vec_free(), isl_tab::mat, isl_tab::n_unbounded, isl_tab::n_var, isl_tab::n_zero, isl_ctx::one, isl_ctx::opt, isl_mat::row, save_alpha(), and isl_ctx::stats.

Referenced by isl_basic_set_reduced_basis(), isl_basic_set_scan(), and isl_tab_sample().