1 #include <barvinok/polylib.h>
3 #if defined(__cplusplus)
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
,
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)