polylib 5.22.8
verif_ehrhart.c File Reference
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <polylib/polylib.h>

Go to the source code of this file.

Macros

#define MAXRAYS   1024
 
#define RANGE   50
 
#define SRANGE   15
 
#define BIGDIM   5
 
#define VSRANGE   5
 
#define VBIGDIM   8
 

Functions

int check_poly (Polyhedron *S, Polyhedron *C, Enumeration *en, int nparam, int pos, Value *z)
 
int main (int argc, char *argv[])
 

Variables

Value min
 
Value max
 
int st
 

Macro Definition Documentation

◆ BIGDIM

#define BIGDIM   5

Definition at line 35 of file verif_ehrhart.c.

◆ MAXRAYS

#define MAXRAYS   1024

Definition at line 20 of file verif_ehrhart.c.

◆ RANGE

#define RANGE   50

Definition at line 29 of file verif_ehrhart.c.

◆ SRANGE

#define SRANGE   15

Definition at line 32 of file verif_ehrhart.c.

◆ VBIGDIM

#define VBIGDIM   8

Definition at line 41 of file verif_ehrhart.c.

◆ VSRANGE

#define VSRANGE   5

Definition at line 38 of file verif_ehrhart.c.

Function Documentation

◆ check_poly()

int check_poly ( Polyhedron S,
Polyhedron C,
Enumeration en,
int  nparam,
int  pos,
Value *  z 
)

◆ main()

Variable Documentation

◆ max

Value max

Definition at line 43 of file verif_ehrhart.c.

Referenced by check_poly(), main(), SortConstraints(), and Vector_Max().

◆ min

◆ st

int st

Definition at line 50 of file verif_ehrhart.c.

Referenced by check_poly(), and main().