4 #include <barvinok/polylib.h>
6 #if defined(__cplusplus)
10 #include <barvinok/evalue.h>
14 ((F_ISSET(P, POL_INEQUALITIES) && P->NbEq > P->Dimension) || \
15 (F_ISSET(P, POL_POINTS) && P->NbRays == 0))
16 #define POL_HAS(P,f) (F_ISSET(P, f))
17 #define POL_SET(P,f) (F_SET(P, f))
19 #define POL_UNSET(flags,f) do { \
20 if (POL_ISSET(flags, POL_HIGH_BIT)) \
21 flags = (flags & ~(f)) | POL_HIGH_BIT; \
25 #define emptyQ2(P) emptyQ(P)
26 #define POL_ENSURE_FACETS(P) /* nothing */
27 #define POL_ENSURE_VERTICES(P) /* nothing */
28 #define POL_INEQUALITIES 0
31 #define POL_VERTICES 0
33 #define POL_HAS(P,f) (1)
34 #define POL_SET(P,f) /* nothing */
36 #define POL_UNSET(P,f) /* nothing */
43 struct barvinok_options
;
45 int random_int(int max
);
46 Polyhedron
*Polyhedron_Read(unsigned MaxRays
);
47 Polyhedron
* Polyhedron_Polar(Polyhedron
*P
, unsigned NbMaxRays
);
48 void Polyhedron_Polarize(Polyhedron
*P
);
49 Polyhedron
* supporting_cone(Polyhedron
*P
, int v
);
50 unsigned *supporting_constraints(Matrix
*Constraints
, Param_Vertices
*v
, int *n
);
51 Polyhedron
* supporting_cone_p(Polyhedron
*P
, Param_Vertices
*v
);
52 Polyhedron
* triangulate_cone(Polyhedron
*P
, unsigned NbMaxCons
);
53 Polyhedron
* triangulate_cone_with_options(Polyhedron
*P
,
54 struct barvinok_options
*options
);
55 void check_triangulization(Polyhedron
*P
, Polyhedron
*T
);
56 Polyhedron
*remove_equalities(Polyhedron
*P
, unsigned MaxRays
);
57 Polyhedron
*remove_equalities_p(Polyhedron
*P
, unsigned nvar
, Matrix
**factor
,
59 void manual_count(Polyhedron
*P
, Value
* result
);
60 Polyhedron
* Polyhedron_Factor(Polyhedron
*P
, unsigned nparam
, Matrix
**T
,
62 void Line_Length(Polyhedron
*P
, Value
*len
);
63 struct barvinok_options
;
64 evalue
* ParamLine_Length(Polyhedron
*P
, Polyhedron
*C
,
65 struct barvinok_options
*options
);
66 void Extended_Euclid(Value a
, Value b
, Value
*x
, Value
*y
, Value
*g
);
67 int unimodular_complete(Matrix
*M
, int row
);
68 Bool
isIdentity(Matrix
*M
);
69 void Param_Polyhedron_Print(FILE* DST
, Param_Polyhedron
*PP
, char **param_names
);
70 void Enumeration_Print(FILE *Dst
, Enumeration
*en
, const char * const *params
);
71 void Enumeration_Free(Enumeration
*en
);
72 void Enumeration_mod2table(Enumeration
*en
, unsigned nparam
);
73 size_t Enumeration_size(Enumeration
*en
);
74 void Free_ParamNames(char **params
, int m
);
75 int DomainIncludes(Polyhedron
*Pol1
, Polyhedron
*Pol2
);
76 int line_minmax(Polyhedron
*I
, Value
*min
, Value
*max
);
77 void count_points_e (int pos
, Polyhedron
*P
, int exist
, int nparam
,
78 Value
*context
, Value
*res
);
79 int DomainContains(Polyhedron
*P
, Value
*list_args
, int len
,
80 unsigned MaxRays
, int set
);
81 Polyhedron
* Polyhedron_Project(Polyhedron
*P
, int dim
);
82 Polyhedron
*DomainConcat(Polyhedron
*head
, Polyhedron
*tail
);
84 /* only defined if PolyLib has RankingConstraints */
85 evalue
*barvinok_lexsmaller_ev(Polyhedron
*P
, Polyhedron
*D
, unsigned dim
,
86 Polyhedron
*C
, unsigned MaxRays
);
87 Enumeration
*barvinok_lexsmaller(Polyhedron
*P
, Polyhedron
*D
, unsigned dim
,
88 Polyhedron
*C
, unsigned MaxRays
);
90 Matrix
*align_matrix(Matrix
*M
, int nrows
);
92 char **util_generate_names(int n
, const char *prefix
);
93 void util_free_names(int n
, char **names
);
94 void Polyhedron_pprint(FILE *out
, Polyhedron
*P
, int dim
, int nparam
,
95 char **iter_names
, char **param_names
);
97 Polyhedron
*Cone_over_Polyhedron(Polyhedron
*P
);
99 Matrix
*compress_variables(Matrix
*Equalities
, unsigned nparam
);
100 Matrix
*left_inverse(Matrix
*M
, Matrix
**Eq
);
102 int Polyhedron_has_revlex_positive_rays(Polyhedron
*P
, unsigned nparam
);
103 int Polyhedron_is_unbounded(Polyhedron
*P
, unsigned nparam
, unsigned MaxRays
);
105 void Polyhedron_ExchangeColumns(Polyhedron
*P
, int Column1
, int Column2
);
107 void Matrix_Transposition(Matrix
*M
);
109 typedef void (*for_each_lower_upper_bound_fn
)(Matrix
*, Value
*, Value
*, void *);
110 void for_each_lower_upper_bound(Polyhedron
*P
, for_each_lower_upper_bound_fn fn
,
113 void Polyhedron_Matrix_View(Polyhedron
*P
, Matrix
*M
, unsigned rows
);
115 const char *barvinok_version();
117 #if defined(__cplusplus)