#include <polylib/polylib.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
Go to the source code of this file.
Defines | |
#define | dbg 1 |
| |
#define | TEST(a) |
#define | maxRays 200 |
Functions | |
int | main (int argc, char **argv) |
int | test_Constraints_Remove_parm_eqs (Matrix *A, Matrix *B) |
extracts the equalities involving the parameters only, try to introduce them back and compare the two polyhedra. | |
int | test_Polyhedron_Remove_parm_eqs (Matrix *A, Matrix *B) |
extracts the equalities holding on the parameters only, try to introduce them back and compare the two polyhedra. | |
void | valuesWithoutElim (Matrix *origParms, unsigned int *elimParms, Matrix **newParms) |
Eliminates certain parameters from a vector of values for parameters. | |
unsigned int | namesWithoutElim (const char **parms, unsigned nbParms, unsigned int *elimParms, const char ***newParms) |
takes a list of parameter names, a list ofparameters to eliminate, and returns the list of parameters without the eliminated ones. | |
int | test_Constraints_fullDimensionize (Matrix *A, Matrix *B, unsigned int nbSamples) |
Tests Constraints_fullDimensionize by comparing the Ehrhart polynomials. | |
Variables | |
const char * | origNames [] |
|
Test routines for kernel/compress_parms.c functions
Definition at line 17 of file testCompressParms.c. Referenced by namesWithoutElim(), and test_Constraints_fullDimensionize(). |
|
|
Value: if (isOk = a) { \ printf(#a" tested ok.\n"); \ } \ else { \ printf(#a" NOT OK\n"); \ } Definition at line 19 of file testCompressParms.c. Referenced by main(). |
|
Definition at line 31 of file testCompressParms.c. References Matrix, Matrix_Free(), Matrix_Read(), TEST, test_Constraints_fullDimensionize(), test_Constraints_Remove_parm_eqs(), and test_Polyhedron_Remove_parm_eqs(). |
|
takes a list of parameter names, a list ofparameters to eliminate, and returns the list of parameters without the eliminated ones.
Definition at line 217 of file testCompressParms.c. References dbg. Referenced by test_Constraints_fullDimensionize(). |
|
|
extracts the equalities involving the parameters only, try to introduce them back and compare the two polyhedra. Reads a polyhedron and a context. Definition at line 54 of file testCompressParms.c. References align_context(), Constraints2Polyhedron(), Constraints_Remove_parm_eqs(), polyhedron::Dimension, DomainIntersection(), Matrix, Matrix_Copy(), Matrix_Free(), maxRays, Polyhedron, Polyhedron_Free(), PolyhedronIncludes(), and show_matrix. Referenced by main(). |
|
extracts the equalities holding on the parameters only, try to introduce them back and compare the two polyhedra. Reads a polyhedron and a context. Definition at line 122 of file testCompressParms.c. References align_context(), Constraints2Polyhedron(), polyhedron::Dimension, DomainIntersection(), Matrix, Matrix_Copy(), Matrix_Free(), maxRays, Polyhedron, Polyhedron_Free(), Polyhedron_Remove_parm_eqs(), and PolyhedronIncludes(). Referenced by main(). |
|
Eliminates certain parameters from a vector of values for parameters.
Definition at line 184 of file testCompressParms.c. References Matrix, Matrix_Alloc(), matrix::NbColumns, matrix::p, and value_assign. Referenced by test_Constraints_fullDimensionize(). |
|
Initial value: {"n", "o", "p", "q", "r", "s", "t", "u", "v", "w", "x", "y", "z"} Definition at line 28 of file testCompressParms.c. Referenced by test_Constraints_fullDimensionize(). |