polylib 5.22.8
homogenization.h
Go to the documentation of this file.
1/** homogenization.h -- Bavo Nootaert **/
2#ifndef HOMOGENEIZATION_H
3#define HOMOGENEIZATION_H
4
5#include <polylib/polylib.h>
6
8
9void dehomogenize_evalue(evalue *ep, int nb_param);
10void dehomogenize_enode(enode *p, int nb_param);
11void dehomogenize_enumeration(Enumeration *en, int nb_param, int maxRays);
13
14#endif
Polyhedron * homogenize(Polyhedron *P, unsigned MAXRAYS)
homogenization.h – Bavo Nootaert
void dehomogenize_evalue(evalue *ep, int nb_param)
dehomogenize an evalue.
Polyhedron * dehomogenize_polyhedron(Polyhedron *p, int maxRays)
dehomogenize a polyhedron.
void dehomogenize_enumeration(Enumeration *en, int nb_param, int maxRays)
dehomogenize an enumeration.
void dehomogenize_enode(enode *p, int nb_param)
dehomogenize all evalues in an enode.
Definition: types.h:182
Definition: types.h:173
#define maxRays
#define MAXRAYS
Definition: verif_ehrhart.c:20