isl_equalities.h

   1 #ifndef ISL_EQUALITIES_H
   2 #define ISL_EQUALITIES_H
   3
   4 #include <isl_set.h>
   5 #include <isl_mat.h>
   6
   7 #if defined(__cplusplus)
   8 extern "C" {
   9 #endif
  10
  11 struct isl_mat *isl_mat_variable_compression(struct isl_ctx *ctx,
  12                         struct isl_mat *B, struct isl_mat **T2);
  13 struct isl_mat *isl_mat_parameter_compression(struct isl_ctx *ctx,
  14                         struct isl_mat *B, struct isl_vec *d);
  15 struct isl_basic_set *isl_basic_set_remove_equalities(
  16         struct isl_basic_set *bset, struct isl_mat **T, struct isl_mat **T2);
  17
  18 #if defined(__cplusplus)
  19 }
  20 #endif
  21
  22 #endif