options: move --print-stats to library
[barvinok.git] / param_util.h
blob518c40070aa887ac7d211f46b1248976ebf174ce
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 Polyhedron *P, int c);
15 Polyhedron *Param_Vertex_Cone(Param_Polyhedron *PP, Param_Vertices *V,
16 struct barvinok_options *options);
18 int bit_vector_count(unsigned *F, int F_len);
20 #if defined(__cplusplus)
22 #endif