basis_reduction_templ.c File Reference

#include <stdlib.h>
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl_vec_private.h>
#include <isl_options_private.h>
#include "isl_basis_reduction.h"

Go to the source code of this file.

Functions
static void	save_alpha (GBR_LP *lp, int first, int n, GBR_type *alpha)
struct isl_tab *	isl_tab_compute_reduced_basis (struct isl_tab *tab)
__isl_give isl_mat *	isl_basic_set_reduced_basis (__isl_keep isl_basic_set *bset)

Function Documentation

isl_basic_set_reduced_basis()

__isl_give isl_mat * isl_basic_set_reduced_basis

(

__isl_keep isl_basic_set *

bset

)

Definition at line 316 of file basis_reduction_templ.c.

References isl_tab::basis, isl_basic_set_check_no_locals(), isl_basic_set_check_no_params(), isl_basic_set_dim(), isl_dim_all, isl_mat_copy(), isl_mat_free(), isl_mat_identity(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_sub_alloc6(), isl_tab_compute_reduced_basis(), isl_tab_free(), isl_tab_from_basic_set(), isl_tab::n_var, and isl_tab::n_zero.

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().

save_alpha()

static void save_alpha ( GBR_LP *  lp, int  first, int  n, GBR_type *  alpha  )

static

Definition at line 20 of file basis_reduction_templ.c.

References GBR_lp_get_alpha, and n.

Referenced by isl_tab_compute_reduced_basis().