diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2009-01-02 22:32:21 +0100 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-01-06 19:10:50 +0100 |
| commit | 246abfb0f42edc80a2e61827a939c699b8e24e54 (patch) | |
| tree | cffa5677bf17fce6e78d6a0e17296391316e93f5 /isl_equalities.h | |
| parent | 81c62e82fb9761b324708ef668ef44d0e65893b8 (diff) | |
| download | isl-246abfb0f42edc80a2e61827a939c699b8e24e54.tar.gz isl-246abfb0f42edc80a2e61827a939c699b8e24e54.tar.bz2 isl-246abfb0f42edc80a2e61827a939c699b8e24e54.zip | |
add isl_mat_parameter_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 88489aa2..d892e47b 100644 --- a/isl_equalities.h +++ b/isl_equalities.h @@ -10,6 +10,8 @@ extern "C" { struct isl_mat *isl_mat_variable_compression(struct isl_ctx *ctx, struct isl_mat *B, struct isl_mat **T2); +struct isl_mat *isl_mat_parameter_compression(struct isl_ctx *ctx, + struct isl_mat *B, struct isl_vec *d); struct isl_basic_set *isl_basic_set_remove_equalities( struct isl_basic_set *bset, struct isl_mat **T, struct isl_mat **T2); |