diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2009-01-02 22:29:01 +0100 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-01-06 19:10:50 +0100 |
| commit | 81c62e82fb9761b324708ef668ef44d0e65893b8 (patch) | |
| tree | 93cd91e9c0a3783ab025d6206049a5aa172539b0 /isl_equalities.h | |
| parent | 4cb2fe9def3431255bb8b7f8ec4a61d6ae78238a (diff) | |
| download | isl-81c62e82fb9761b324708ef668ef44d0e65893b8.tar.gz isl-81c62e82fb9761b324708ef668ef44d0e65893b8.tar.bz2 isl-81c62e82fb9761b324708ef668ef44d0e65893b8.zip | |
isl_equalities.c: extract and export isl_mat_variable_compression
Diffstat (limited to 'isl_equalities.h')
| -rw-r--r-- | isl_equalities.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/isl_equalities.h b/isl_equalities.h index 47fa6da5..88489aa2 100644 --- a/isl_equalities.h +++ b/isl_equalities.h @@ -8,6 +8,8 @@ extern "C" { #endif +struct isl_mat *isl_mat_variable_compression(struct isl_ctx *ctx, + struct isl_mat *B, struct isl_mat **T2); struct isl_basic_set *isl_basic_set_remove_equalities( struct isl_basic_set *bset, struct isl_mat **T, struct isl_mat **T2); |