summaryrefslogtreecommitdiff
path: root/isl_tab.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2009-07-16 19:16:06 +0200
committerSven Verdoolaege <skimo@kotnet.org>2009-07-16 19:16:06 +0200
commit61eefa8fe09982393c83beb48b487509c4135b13 (patch)
tree0632c4a53954dd59e3dc2ddec76f98c4d23cdb33 /isl_tab.c
parent0d8527cd6bd7a67197d67b8cec0aec2defe87cb3 (diff)
downloadisl-61eefa8fe09982393c83beb48b487509c4135b13.tar.gz
isl-61eefa8fe09982393c83beb48b487509c4135b13.tar.bz2
isl-61eefa8fe09982393c83beb48b487509c4135b13.zip
isl_mat: keep track of isl_ctx
Diffstat (limited to 'isl_tab.c')
-rw-r--r--isl_tab.c10
1 files changed, 5 insertions, 5 deletions
diff --git a/isl_tab.c b/isl_tab.c
index cb520a6c..c1af7f35 100644
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -76,7 +76,7 @@ static int extend_cons(struct isl_ctx *ctx, struct isl_tab *tab, unsigned n_new)
if (tab->mat->n_row < tab->n_row + n_new) {
int *row_var;
- tab->mat = isl_mat_extend(ctx, tab->mat,
+ tab->mat = isl_mat_extend(tab->mat,
tab->n_row + n_new, tab->n_col);
if (!tab->mat)
return -1;
@@ -115,7 +115,7 @@ void isl_tab_free(struct isl_ctx *ctx, struct isl_tab *tab)
if (!tab)
return;
free_undo(ctx, tab);
- isl_mat_free(ctx, tab->mat);
+ isl_mat_free(tab->mat);
isl_vec_free(tab->dual);
free(tab->var);
free(tab->con);
@@ -318,7 +318,7 @@ static void swap_rows(struct isl_ctx *ctx,
tab->row_var[row2] = t;
var_from_row(ctx, tab, row1)->index = row1;
var_from_row(ctx, tab, row2)->index = row2;
- tab->mat = isl_mat_swap_rows(ctx, tab->mat, row1, row2);
+ tab->mat = isl_mat_swap_rows(tab->mat, row1, row2);
}
static void push(struct isl_ctx *ctx, struct isl_tab *tab,
@@ -757,7 +757,7 @@ static void swap_cols(struct isl_ctx *ctx,
tab->col_var[col2] = t;
var_from_col(ctx, tab, col1)->index = col1;
var_from_col(ctx, tab, col2)->index = col2;
- tab->mat = isl_mat_swap_cols(ctx, tab->mat, 2 + col1, 2 + col2);
+ tab->mat = isl_mat_swap_cols(tab->mat, 2 + col1, 2 + col2);
}
/* Mark column with index "col" as representing a zero variable.
@@ -1870,7 +1870,7 @@ void isl_tab_dump(struct isl_ctx *ctx, struct isl_tab *tab,
tab->mat->n_row = tab->n_row;
c = tab->mat->n_col;
tab->mat->n_col = 2 + tab->n_col;
- isl_mat_dump(ctx, tab->mat, out, indent);
+ isl_mat_dump(tab->mat, out, indent);
tab->mat->n_row = r;
tab->mat->n_col = c;
}