#include <stdlib.h>
#include <polylib/polylib.h>
Go to the source code of this file.
|
Definition at line 4 of file ext_ehrhart.c. Referenced by main(). |
|
Referenced by Domain_Enumerate(). |
|
Definition at line 689 of file ext_ehrhart.c. References polyhedron::next, 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(), Gcd(), Matrix, Matrix_Alloc(), matrix::NbRows, matrix::p, Soustraire_ligne(), swap_line(), Value, value_addto, value_clear, value_division, value_init, 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 699 of file ext_ehrhart.c. References _evalue::d, Enumeration, _enumeration::EP, value_mone_p, value_notzero_p, and _evalue::x. Referenced by Domain_Enumerate(). |
|
Definition at line 677 of file ext_ehrhart.c. References DomainUnion(), Enumeration, _enumeration::next, Polyhedron, and _enumeration::ValidityDomain. Referenced by Domain_Enumerate(). |
|
Definition at line 711 of file ext_ehrhart.c. References AffConstraints(), _evalue::d, Degenerate(), Disjoint_Domain(), DMUnion(), DomainDifference(), DomainIntersection(), ecopy(), emptyQ, Enumeration, _enumeration::EP, evalue, IncludeInRes(), MAXRAYS, new_eadd(), _Polyhedron_union::next, _enumeration::next, polyhedron::next, Polyhedron, Polyhedron_Enumerate(), Polyhedron_union, _Polyhedron_union::pt, Remove_RedundantDomains(), _enumeration::ValidityDomain, value_assign, value_init, value_zero_p, and _evalue::x. Referenced by main(), and Polyhedron_Image_Enumerate(). |
|
Definition at line 209 of file ext_ehrhart.c. References Matrix, matrix::NbRows, matrix::p, value_notzero_p, and value_zero_p. Referenced by CalcBase(). |
|
Definition at line 667 of file ext_ehrhart.c. References Enumeration, _enumeration::next, Polyhedron, and PolyhedronIncludes(). Referenced by Domain_Enumerate(). |
|
Definition at line 313 of file ext_ehrhart.c. References _enode::arr, _evalue::d, ecopy(), enode, evalue, Gcd(), new_enode(), periodic, polynomial, ppcm1(), Value, value_addto, value_assign, value_clear, value_division, value_init, value_multiply, value_notone_p, value_notzero_p, value_set_si, value_zero_p, and _evalue::x. Referenced by Domain_Enumerate(). |
|
Definition at line 561 of file ext_ehrhart.c. References Gcd(), Matrix, Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, Vector::p, matrix::p, ppcm(), Scalar_product(), Value, value_assign, value_clear, value_division, value_init, value_multiply, value_notone_p, value_set_si, value_substract, Vector_Alloc(), and Vector_Gcd(). |
|
Definition at line 248 of file ext_ehrhart.c. Referenced by ppcm1(). |
|
|
Definition at line 552 of file ext_ehrhart.c. References Gcd(), Value, value_division, value_init, and value_multiply. Referenced by Orthogonal_Base(). |
|
Definition at line 544 of file ext_ehrhart.c. References pgcd1(). Referenced by new_eadd(). |
|
Definition at line 507 of file ext_ehrhart.c. References Matrix, matrix::NbColumns, matrix::NbRows, matrix::p, Value, and value_clear. Referenced by Polyhedron_Image_Enumerate(). |
|
Definition at line 631 of file ext_ehrhart.c. References Enumeration, and _enumeration::next. Referenced by Remove_RedundantDomains(). |
|
Definition at line 643 of file ext_ehrhart.c. References Enumeration, _enumeration::next, PolyhedronIncludes(), Remove_Element(), and _enumeration::ValidityDomain. Referenced by Domain_Enumerate(). |
|
Definition at line 526 of file ext_ehrhart.c. References Value, value_addto, value_clear, value_init, value_multiply, and value_set_si. Referenced by Orthogonal_Base(), and Polyhedron_Image_Enumerate(). |
|
Definition at line 270 of file ext_ehrhart.c. References Gcd(), Matrix, matrix::NbColumns, matrix::p, Value, value_clear, value_division, value_init, value_multiply, value_set_si, value_substract, and value_zero_p. Referenced by CalcBase(). |
|
Definition at line 232 of file ext_ehrhart.c. References Matrix, matrix::NbColumns, matrix::p, Value, and value_assign. Referenced by CalcBase(). |