Main Page | Class List | File List | Class Members | File Members

ranking.c File Reference

#include <polylib/polylib.h>
#include <polylib/ranking.h>

Go to the source code of this file.

Functions

PolyhedronLexSmaller (Polyhedron *P, Polyhedron *D, unsigned dim, Polyhedron *C, unsigned MAXRAYS)
EnumerationPolyhedron_LexSmallerEnumerate (Polyhedron *P, Polyhedron *D, unsigned dim, Polyhedron *C, unsigned MAXRAYS)
EnumerationPolyhedron_Ranking (Polyhedron *P, Polyhedron *C, unsigned MAXRAYS)


Function Documentation

Polyhedron* LexSmaller Polyhedron P,
Polyhedron D,
unsigned  dim,
Polyhedron C,
unsigned  MAXRAYS
 

Definition at line 30 of file ranking.c.

References assert, polyhedron::Constraint, Constraints2Polyhedron(), polyhedron::Dimension, Matrix, Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), MAXRAYS, matrix::NbColumns, polyhedron::NbConstraints, matrix::NbRows, polyhedron::next, matrix::p, POL_ENSURE_INEQUALITIES, POL_NO_DUAL, Polyhedron, show_matrix, value_assign, value_set_si, and Vector_Copy().

Referenced by Polyhedron_LexSmallerEnumerate().

Enumeration* Polyhedron_LexSmallerEnumerate Polyhedron P,
Polyhedron D,
unsigned  dim,
Polyhedron C,
unsigned  MAXRAYS
 

Definition at line 167 of file ranking.c.

References Domain_Enumerate(), Domain_Free(), Enumeration, LexSmaller(), MAXRAYS, polyhedron::next, Polyhedron, and Polyhedron_Free().

Referenced by main(), and Polyhedron_Ranking().

Enumeration* Polyhedron_Ranking Polyhedron P,
Polyhedron C,
unsigned  MAXRAYS
 

Definition at line 195 of file ranking.c.

References polyhedron::Dimension, Enumeration, MAXRAYS, Polyhedron, and Polyhedron_LexSmallerEnumerate().


Generated on Mon Sep 12 15:15:12 2005 for polylib by doxygen 1.3.5