polylib: ehrhart_ranking.c File Reference

# ehrhart_ranking.c File Reference

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

Go to the source code of this file.

## Functions
int | main (int argc, char **argv)

## Function Documentation

int main | ( | int | argc,
|  | char ** | argv |
| ) |  |  |

Definition at line 27 of file ehrhart_ranking.c.

References compute_poly(), Constraints2Polyhedron(), polyhedron::Dimension, _enumeration::EP, FOREVER, free_evalue_refs(), Free_ParamNames(), Matrix_Free(), Matrix_Read(), _enumeration::next, p, POL_NO_DUAL, Polyhedron_Free(), Polyhedron_LexSmallerEnumerate(), Print_Domain(), print_evalue(), Read_ParamNames(), _enumeration::ValidityDomain, value_init, value_print, and value_read.