#include <stdlib.h>
#include <polylib/polylib.h>
Go to the source code of this file.
Classes | |
struct | _Polyhedron_union |
Defines | |
#define | WS 200 |
Typedefs | |
typedef _Polyhedron_union | Polyhedron_union |
Functions | |
int | ppcm1 (int a, int b) |
Matrix * | CalcBase (Matrix *R) |
void | Soustraire_ligne (Matrix *R, int l1, int l2, int piv) |
int | existepivot (Matrix *R, int l) |
void | swap_line (Matrix *R, int l1, int l2) |
int | pgcd1 (int a, int b) |
void | new_eadd (evalue *e1, evalue *res) |
Matrix * | Reduce_Matrix (Matrix *Mat) |
void | Scalar_product (Value *p1, Value *p2, unsigned length, Value *r) |
Matrix * | Orthogonal_Base (Matrix *Mat) |
void | Remove_Element (Enumeration *en, Enumeration **re, Enumeration *prev) |
void | Remove_RedundantDomains (Enumeration **Ures) |
int | IncludeInRes (Polyhedron *p, Enumeration *e, unsigned MR) |
Polyhedron * | DMUnion (Enumeration *en, unsigned MR) |
void | AffConstraints (Polyhedron *Poldisj) |
int | Degenerate (Enumeration *en) |
Enumeration * | Domain_Enumerate (Polyhedron *D, Polyhedron *C, unsigned MAXRAYS, const char **pn) |
Enumeration * | Polyhedron_Image_Enumerate (Polyhedron *D, Polyhedron *C, Matrix *T, unsigned MAXRAYS, const char **par_name) |
|
Definition at line 4 of file ext_ehrhart.c. Referenced by main(). |
|
Referenced by Domain_Enumerate(). |
|
Definition at line 664 of file ext_ehrhart.c. References p, P_VALUE_FMT, Polyhedron, and Polyhedron_PrintConstraints(). Referenced by Domain_Enumerate(), and Polyhedron_Image_Enumerate(). |
|
Definition at line 29 of file ext_ehrhart.c. References existepivot(), Matrix, Matrix_Alloc(), matrix::NbRows, matrix::p, p, Soustraire_ligne(), swap_line(), value_addmul, value_divexact, value_gcd, value_multiply, value_neg_p, value_notzero_p, value_oppose, value_set_si, and value_zero_p. Referenced by Polyhedron_Image_Enumerate(). |
|
Definition at line 674 of file ext_ehrhart.c. References _evalue::d, Enumeration, _enumeration::EP, value_mone_p, and value_notzero_p. Referenced by Domain_Enumerate(). |
|
Definition at line 652 of file ext_ehrhart.c. References DomainUnion(), Enumeration, _enumeration::next, Polyhedron, and _enumeration::ValidityDomain. Referenced by Domain_Enumerate(). |
|
|
Definition at line 202 of file ext_ehrhart.c. References Matrix, matrix::NbRows, matrix::p, value_notzero_p, and value_zero_p. Referenced by CalcBase(). |
|
Definition at line 642 of file ext_ehrhart.c. References Enumeration, _enumeration::next, p, Polyhedron, and PolyhedronIncludes(). Referenced by Domain_Enumerate(). |
|
Definition at line 304 of file ext_ehrhart.c. References _enode::arr, _evalue::d, ecopy(), enode, evalue, new_enode(), p, periodic, polynomial, ppcm1(), value_addto, value_assign, value_clear, value_divexact, value_gcd, value_init, value_multiply, value_notone_p, value_notzero_p, value_set_si, and value_zero_p. Referenced by Domain_Enumerate(). |
|
Definition at line 539 of file ext_ehrhart.c. References Matrix, Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, Vector::p, matrix::p, p, Scalar_product(), value_assign, value_clear, value_divexact, value_gcd, value_init, value_lcm, value_multiply, value_notone_p, value_set_si, value_subtract, Vector_Alloc(), Vector_AntiScale(), and Vector_Gcd(). |
|
Definition at line 241 of file ext_ehrhart.c. Referenced by ppcm1(). |
|
|
Definition at line 532 of file ext_ehrhart.c. References pgcd1(). Referenced by new_eadd(). |
|
Definition at line 498 of file ext_ehrhart.c. References Matrix, matrix::NbColumns, matrix::NbRows, matrix::p, p, and value_clear. Referenced by Polyhedron_Image_Enumerate(). |
|
Definition at line 606 of file ext_ehrhart.c. References Enumeration, and _enumeration::next. Referenced by Remove_RedundantDomains(). |
|
Definition at line 618 of file ext_ehrhart.c. References Enumeration, _enumeration::next, PolyhedronIncludes(), Remove_Element(), and _enumeration::ValidityDomain. Referenced by Domain_Enumerate(). |
|
Definition at line 517 of file ext_ehrhart.c. References value_addmul, and value_set_si. Referenced by Orthogonal_Base(), and Polyhedron_Image_Enumerate(). |
|
Definition at line 263 of file ext_ehrhart.c. References Matrix, matrix::NbColumns, matrix::p, p, value_clear, value_divexact, value_gcd, value_init, value_multiply, value_set_si, value_subtract, and value_zero_p. Referenced by CalcBase(). |
|
Definition at line 225 of file ext_ehrhart.c. References Matrix, matrix::NbColumns, matrix::p, and value_assign. Referenced by CalcBase(). |