omega_interface/count.h

   1 #include <barvinok/barvinok.h>
   2 #include <omega.h>
   3
   4 #define COUNT_RELATION_BARVINOK 0
   5 #define COUNT_RELATION_PARKER   1
   6
   7 evalue *count_relation(Relation& r, int method);
   8 evalue *rank_relation(Relation& r);
   9 evalue *count_lexsmaller(Relation& r, Relation& domain);
  10
  11 evalue *barvinok_enumerate_parker(Polyhedron *D,
  12                                         unsigned nvar, unsigned nparam,
  13                                         unsigned MaxRays);