update pet for explicitly linking in gmp
[barvinok.git] / param_util.h
blob25b74fc94d9af59659661b8ad8ba4b85161da5ef
1 #include <barvinok/polylib.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct barvinok_options;
9 Param_Polyhedron *Polyhedron2Param_Polyhedron(Polyhedron *Din, Polyhedron *Cin,
10 struct barvinok_options *options);
11 void Param_Vertex_Common_Denominator(Param_Vertices *V);
12 void Param_Inner_Product(Value *constraint, Matrix *Vertex, Value *row);
13 Param_Domain *Param_Polyhedron_Facet(Param_Polyhedron *PP, Param_Domain *D,
14 Value *constraint);
15 void Param_Vertex_Set_Facets(Param_Polyhedron *PP, Param_Vertices *V);
16 Polyhedron *Param_Vertex_Cone(Param_Polyhedron *PP, Param_Vertices *V,
17 struct barvinok_options *options);
19 int bit_vector_count(unsigned *F, int F_len);
21 #if defined(__cplusplus)
23 #endif