skewed_genfun.h

   1 #ifndef SKEWED_GENFUN_H
   2 #define SKEWED_GENFUN_H
   3
   4 #include <assert.h>
   5 #include <barvinok/barvinok.h>
   6
   7 struct skewed_gen_fun {
   8     gen_fun *gf;
   9     /* maps original space to space in which gf is defined */
  10     Matrix  *T;
  11     /* equalities in the original space that need to be satisfied for
  12      * gf to be valid
  13      */
  14     Matrix  *eq;
  15     /* divisibilities in the original space that need to be satisfied for
  16      * gf to be valid
  17      */
  18     Matrix  *div;
  19
  20     skewed_gen_fun(gen_fun *gf, Matrix *T = NULL, Matrix *eq = NULL,
  21                    Matrix *div = NULL) :
  22                     gf(gf), T(T), eq(eq), div(div) {}
  23     ~skewed_gen_fun() {
  24         if (T)
  25             Matrix_Free(T);
  26         if (eq)
  27             Matrix_Free(eq);
  28         if (div)
  29             Matrix_Free(div);
  30         delete gf;
  31     }
  32
  33     void print(std::ostream& os, unsigned int nparam,
  34                 const char **param_name) const;
  35     operator evalue *() const {
  36         assert(T == NULL && eq == NULL); /* other cases not supported for now */
  37         return *gf;
  38     }
  39     void coefficient(Value* params, Value* c, barvinok_options *options) const;
  40 };
  41
  42 #endif