barvinok/barvinok.h

   1 #ifndef BARVINOK_H
   2 #define BARVINOK_H
   3
   4 #include <barvinok/evalue.h>
   5
   6 #if defined(__cplusplus)
   7 extern "C" {
   8 #endif
   9
  10 #include <barvinok/options.h>
  11
  12 void barvinok_decompose(Polyhedron *C, Polyhedron **ppos, Polyhedron **pneg);
  13 void barvinok_count(Polyhedron *P, Value* result, unsigned NbMaxCons);
  14 void barvinok_count_with_options(Polyhedron *P, Value* result,
  15                                  struct barvinok_options *options);
  16 Enumeration* barvinok_enumerate(Polyhedron *P, Polyhedron* C, unsigned MaxRays);
  17 evalue* barvinok_enumerate_ev(Polyhedron *P, Polyhedron* C, unsigned MaxRays);
  18 evalue* barvinok_enumerate_with_options(Polyhedron *P, Polyhedron* C,
  19                                         struct barvinok_options *options);
  20 evalue *Param_Polyhedron_Enumerate(Param_Polyhedron *PP, Polyhedron *P,
  21                                    Polyhedron *C,
  22                                    struct barvinok_options *options);
  23 evalue* barvinok_enumerate_e(Polyhedron *P,
  24                           unsigned exist, unsigned nparam, unsigned MaxRays);
  25 evalue* barvinok_enumerate_e_with_options(Polyhedron *P,
  26                   unsigned exist, unsigned nparam, struct barvinok_options *options);
  27 evalue *barvinok_enumerate_pip(Polyhedron *P,
  28                           unsigned exist, unsigned nparam, unsigned MaxRays);
  29 evalue *barvinok_enumerate_pip_with_options(Polyhedron *P,
  30                   unsigned exist, unsigned nparam, struct barvinok_options *options);
  31 evalue *barvinok_enumerate_scarf(Polyhedron *P,
  32                           unsigned exist, unsigned nparam,
  33                           struct barvinok_options *options);
  34 evalue* barvinok_enumerate_union(Polyhedron *D, Polyhedron* C, unsigned MaxRays);
  35
  36 evalue *barvinok_summate(evalue *e, int nvar, struct barvinok_options *options);
  37
  38 #if defined(__cplusplus)
  39 }
  40 #endif
  41
  42 #if defined(__cplusplus)
  43
  44 #include <barvinok/genfun.h>
  45
  46 void zz2value(const ZZ& z, Value& v);
  47 gen_fun * barvinok_series(Polyhedron *P, Polyhedron* C, unsigned MaxRays);
  48 gen_fun * barvinok_series_with_options(Polyhedron *P, Polyhedron* C,
  49                                        barvinok_options *options);
  50 gen_fun *barvinok_enumerate_series(Polyhedron *P, unsigned nparam,
  51                                     barvinok_options *options);
  52 gen_fun *barvinok_enumerate_scarf_series(Polyhedron *P,
  53                           unsigned exist, unsigned nparam,
  54                           barvinok_options *options);
  55 gen_fun *barvinok_enumerate_e_series(Polyhedron *P,
  56                   unsigned exist, unsigned nparam, barvinok_options *options);
  57 gen_fun* barvinok_enumerate_union_series(Polyhedron *D, Polyhedron* C,
  58                                          unsigned MaxRays);
  59 gen_fun* barvinok_enumerate_union_series_with_options(Polyhedron *D, Polyhedron* C,
  60                                                       barvinok_options *options);
  61
  62 #endif
  63
  64 #endif