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

Go to the source code of this file.

Functions

static int exist_points (int pos, Polyhedron *Pol, Value *context)
 
int Polyhedron_Not_Empty (Polyhedron *P, Polyhedron *C, int MAXRAYS)
 
int PolyhedronLTQ (Polyhedron *Pol1, Polyhedron *Pol2, int INDEX, int PDIM, int NbMaxConstrs)
 
int GaussSimplify (Matrix *Mat1, Matrix *Mat2)
 
int PolyhedronTSort (Polyhedron **L, unsigned int n, unsigned int index, unsigned int pdim, int *time, int *pvect, unsigned int MAXRAYS)
 

Function Documentation

◆ exist_points()

static int exist_points ( int  pos,
Polyhedron Pol,
Value *  context 
)
static

◆ GaussSimplify()

◆ Polyhedron_Not_Empty()

int Polyhedron_Not_Empty ( Polyhedron P,
Polyhedron C,
int  MAXRAYS 
)

◆ PolyhedronLTQ()

◆ PolyhedronTSort()

int PolyhedronTSort ( Polyhedron **  L,
unsigned int  n,
unsigned int  index,
unsigned int  pdim,
int *  time,
int *  pvect,
unsigned int  MAXRAYS 
)

Definition at line 525 of file alpha.c.

References MAXRAYS, n, POL_ENSURE_FACETS, POL_ENSURE_VERTICES, and PolyhedronLTQ().