polylib 5.22.8
alpha.h
Go to the documentation of this file.
1#ifndef _alpha_h_
2#define _alpha_h_
3
4#if defined(__cplusplus)
5extern "C" {
6#endif
7
8extern int GaussSimplify(Matrix *M, Matrix *M2);
9extern int PolyhedronLTQ(Polyhedron *P1, Polyhedron *P2, int INDEX, int PDIM,
10 int MAXRAYS);
11extern int PolyhedronTSort(Polyhedron **L, unsigned int n, unsigned int index,
12 unsigned int pdim, int *time, int *pvect,
13 unsigned int MAXRAYS);
15#if defined(__cplusplus)
16}
17#endif
18
19#endif /* _alpha_h_ */
int Polyhedron_Not_Empty(Polyhedron *P, Polyhedron *C, int MAXRAYS)
Definition: alpha.c:89
int PolyhedronTSort(Polyhedron **L, unsigned int n, unsigned int index, unsigned int pdim, int *time, int *pvect, unsigned int MAXRAYS)
Definition: alpha.c:525
int GaussSimplify(Matrix *M, Matrix *M2)
Definition: alpha.c:365
int PolyhedronLTQ(Polyhedron *P1, Polyhedron *P2, int INDEX, int PDIM, int MAXRAYS)
Definition: alpha.c:129
static int n
Definition: polyparam.c:276
Definition: types.h:75
#define MAXRAYS
Definition: verif_ehrhart.c:20