isl_equalities.h

Go to the documentation of this file.
00001 #ifndef ISL_EQUALITIES_H
00002 #define ISL_EQUALITIES_H
00003 
00004 #include <isl_set.h>
00005 #include <isl_mat.h>
00006 
00007 #if defined(__cplusplus)
00008 extern "C" {
00009 #endif
00010 
00011 struct isl_mat *isl_mat_variable_compression(struct isl_ctx *ctx,
00012                         struct isl_mat *B, struct isl_mat **T2);
00013 struct isl_mat *isl_mat_parameter_compression(struct isl_ctx *ctx,
00014                         struct isl_mat *B, struct isl_vec *d);
00015 struct isl_basic_set *isl_basic_set_remove_equalities(
00016         struct isl_basic_set *bset, struct isl_mat **T, struct isl_mat **T2);
00017 
00018 #if defined(__cplusplus)
00019 }
00020 #endif
00021 
00022 #endif