Main Page   Compound List   File List   Compound Members   File Members  

alpha.c File Reference

#include <stdio.h>
#include <polylib/polylib.h>
#include <stdlib.h>
#include <string.h>

Go to the source code of this file.

Functions

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

int exist_points int    pos,
Polyhedron   Pol,
Value   context
[static]
 

Definition at line 32 of file alpha.c.

References errormsg1(), lower_upper_bounds(), polyhedron::next, value_assign, value_clear, value_increment, value_init, value_le, value_lt, value_pos_p, value_set_si, and value_substract.

Referenced by Polyhedron_Not_Empty().

int GaussSimplify Matrix   Mat1,
Matrix   Mat2
 

Definition at line 357 of file alpha.c.

References errormsg1(), Gcd(), matrix::NbColumns, matrix::NbRows, matrix::p, value_absolute, value_assign, value_clear, value_division, value_ge, value_init, value_neg_p, value_notone_p, value_notzero_p, value_one_p, value_oppose, value_set_si, value_zero_p, Vector_Combine(), Vector_Exchange(), Vector_Gcd(), and Vector_Normalize().

int Polyhedron_Not_Empty Polyhedron   P,
Polyhedron   C,
int    MAXRAYS
 

Definition at line 87 of file alpha.c.

References polyhedron::Dimension, Domain_Free(), exist_points(), MAXRAYS, Polyhedron_Scan(), value_clear, value_init, value_set_si, and Vector_Set().

int PolyhedronLTQ Polyhedron   Pol1,
Polyhedron   Pol2,
int    INDEX,
int    PDIM,
int    NbMaxConstrs
 

Definition at line 122 of file alpha.c.

References AddConstraints(), AddRays(), polyhedron::Constraint, polyhedron::Dimension, Domain_Free(), DomainIntersection(), emptyQ, errormsg1(), Matrix_Alloc(), Matrix_Free(), Matrix_Print(), polyhedron::NbConstraints, polyhedron::next, matrix::p, matrix::p_Init, P_VALUE_FMT, Polyhedron_Print(), value_assign, value_neg_p, value_one_p, value_oppose, value_pos_p, value_set_si, value_zero_p, and Vector_Set().

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

Definition at line 505 of file alpha.c.

References MAXRAYS, and PolyhedronLTQ().


Generated on Mon Mar 15 10:59:51 2004 for polylib by doxygen1.2.18