util.h

   1 #ifndef UTIL_H
   2 #define UTIL_H
   3
   4 #if defined(__cplusplus)
   5 extern "C" {
   6 #endif
   7
   8 #include <polylib/polylibgmp.h>
   9
  10 void value_lcm(Value i, Value j, Value* lcm);
  11 int random_int(int max);
  12 Polyhedron* Polyhedron_Polar(Polyhedron *P, unsigned NbMaxRays);
  13 void Polyhedron_Polarize(Polyhedron *P);
  14 Polyhedron* supporting_cone(Polyhedron *P, int v);
  15 Polyhedron* supporting_cone_p(Polyhedron *P, Param_Vertices *v);
  16 Polyhedron* triangularize_cone(Polyhedron *P, unsigned NbMaxCons);
  17 void check_triangulization(Polyhedron *P, Polyhedron *T);
  18 Polyhedron *remove_equalities(Polyhedron *P);
  19 Polyhedron *remove_equalities_p(Polyhedron *P, unsigned nvar, Matrix **factor);
  20 void manual_count(Polyhedron *P, Value* result);
  21 Polyhedron* Polyhedron_Reduce(Polyhedron *P, Value* factor);
  22 Matrix * unimodular_complete(Vector *row);
  23 Bool isIdentity(Matrix *M);
  24 void Param_Polyhedron_Print(FILE* DST, Param_Polyhedron *PP, char **param_names);
  25 void Enumeration_Print(FILE *Dst, Enumeration *en, char **params);
  26 void Free_ParamNames(char **params, int m);
  27
  28 #if defined(__cplusplus)
  29 }
  30 #endif
  31
  32 #endif