#include <limits.h>
Go to the source code of this file.
Classes | |
struct | _enode |
struct | _enumeration |
struct | _evalue |
struct | _Param_Domain |
struct | _Param_Polyhedron |
struct | _Param_Vertex |
struct | interval |
struct | LatticeUnion |
struct | matrix |
struct | polyhedron |
struct | Vector |
struct | ZPolyhedron |
Defines | |
#define | FIRST_PARAMETER_NAME 'P' |
#define | PCHAR (FIRST_PARAMETER_NAME-1) |
#define | MAXNOOFRAYS 200 |
#define | P_VALUE_FMT "%4s " |
#define | LB_INFINITY 1 |
#define | UB_INFINITY 2 |
#define | MSB ((unsigned)(((unsigned)1)<<(sizeof(int)*8-1))) |
#define | TOP ((int)(MSB-1)) |
#define | NEXT(j, b) { if (!((b)>>=1)) { (b)=MSB; (j)++; } } |
#define | POL_HIGH_BIT (UINT_MAX - (UINT_MAX >> 1)) |
#define | POL_NO_DUAL (POL_HIGH_BIT | 0x0001) |
#define | POL_INTEGER (POL_HIGH_BIT | 0x0002) |
#define | POL_ISSET(flags, f) ((flags & f) == f) |
#define | FL_INIT(l, f) (l) = (f) |
#define | FL_SET(l, f) ((l) |= (f)) |
#define | FL_CLR(l, f) ((l) &= ~(f)) |
#define | FL_ISSET(l, f) ((l) & (f)) |
#define | F_INIT(p, f) FL_INIT((p)->flags, f) |
#define | F_SET(p, f) FL_SET((p)->flags, f) |
#define | F_CLR(p, f) FL_CLR((p)->flags, f) |
#define | F_ISSET(p, f) FL_ISSET((p)->flags, f) |
#define | POL_INEQUALITIES 0x00000001 |
#define | POL_FACETS 0x00000002 |
#define | POL_POINTS 0x00000004 |
#define | POL_VERTICES 0x00000008 |
#define | POL_VALID 0x00000010 |
#define | emptyQ(P) |
#define | universeQ(P) (P->Dimension==P->NbBid) |
#define | FORALL_PVertex_in_ParamPolyhedron(_V, _D, _P) |
#define | END_FORALL_PVertex_in_ParamPolyhedron |
#define | POLY_UNION_OR_STRUCT union |
#define | FOREVER for(;;) |
Typedefs | |
typedef matrix | Matrix |
typedef polyhedron | Polyhedron |
typedef interval | Interval |
typedef _Param_Vertex | Param_Vertices |
typedef _Param_Domain | Param_Domain |
typedef _Param_Polyhedron | Param_Polyhedron |
typedef _evalue | evalue |
typedef _enode | enode |
typedef _enumeration | Enumeration |
typedef Matrix | Lattice |
typedef LatticeUnion | LatticeUnion |
typedef ZPolyhedron | ZPolyhedron |
Enumerations | |
enum | enode_type { polynomial, periodic, evector } |
enum | Bool { False = 0, True = 1 } |
Variables | |
int | Pol_status |
|
Value: ((F_ISSET(P, POL_INEQUALITIES) && P->NbEq > P->Dimension) || \ (F_ISSET(P, POL_POINTS) && P->NbRays == 0)) Definition at line 117 of file types.h. Referenced by Add_CEqualities(), AddPolyToDomain(), Compute_PDomains(), count_points(), Disjoint_Domain(), Domain_Enumerate(), DomainConstraintSimplify(), DomainDifference(), DomainSimplify(), Ehrhart_Quick_Apx_Full_Dim(), eliminable_vars(), Enumerate_NoParameters(), Find_m_faces(), FindHermiteBasisofDomain(), FindSimple(), isEmptyZPolyhedron(), PDomainDifference(), Polyhedron2Param_Domain(), Polyhedron_Enumerate(), Polyhedron_Image_Enumerate(), Polyhedron_Preprocess(), PolyhedronLTQ(), SimplifyConstraints(), Stras_DomainSimplify(), ZDomainSimplify(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIncludes(), ZPolyhedronIntersection(), and ZPolyhedronPreimage(). |
|
Value: } \ NEXT(_ix, _bx); \ } \ } Definition at line 156 of file types.h. Referenced by main(). |
|
Definition at line 89 of file types.h. Referenced by p_simplify_constraints(). |
|
|
|
Definition at line 90 of file types.h. Referenced by align_context(), Polyhedron_Compute_Dual(), and Polyhedron_Remove_parm_eqs(). |
|
Definition at line 88 of file types.h. Referenced by Constraints2Polyhedron(), Empty_Polyhedron(), Remove_Redundants(), and Universe_Polyhedron(). |
|
|
|
|
|
Definition at line 82 of file types.h. Referenced by Polyhedron_Remove_parm_eqs(). |
|
|
|
|
|
Value: { int _i, _ix; \ unsigned _bx; \ for( _i=0, _ix=0, _bx=MSB, _V=_P->V ; \ _V && (_i<_P->nbV) ; _i++, _V=_V->next ) \ { if (_D->F[_ix] & _bx) \ { Definition at line 148 of file types.h. Referenced by main(). |
|
Definition at line 231 of file types.h. Referenced by main(). |
|
Definition at line 48 of file types.h. Referenced by cherche_min(), lower_upper_bounds(), and P_Enum(). |
|
Definition at line 33 of file types.h. Referenced by AddZPolytoZDomain(), CanonicalForm(), FindHermiteBasisofDomain(), IntegraliseLattice(), ZDomainSimplify(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIncludes(), ZPolyhedronIntersection(), and ZPolyhedronPreimage(). |
|
Definition at line 53 of file types.h. Referenced by addToFilter(), BuildSat(), Chernikova(), Compute_PDomains(), DomainSimplify(), FindSimple(), int_array2bit_vector(), Poly2Sat(), Remove_Redundants(), Scan_Vertices(), SimplifyEqualities(), Stras_DomainSimplify(), traite_m_face(), and TransformSat(). |
|
Definition at line 59 of file types.h. Referenced by addToFilter(), BuildSat(), Chernikova(), Compute_PDomains(), DomainSimplify(), FindSimple(), int_array2bit_vector(), Poly2Sat(), Remove_Redundants(), Scan_Vertices(), SimplifyEqualities(), Stras_DomainSimplify(), traite_m_face(), and TransformSat(). |
|
|
Definition at line 32 of file types.h. Referenced by Read_ParamNames(). |
|
Definition at line 100 of file types.h. Referenced by Empty_Polyhedron(), p_simplify_constraints(), Polyhedron_Compute_Dual(), Remove_Redundants(), and Universe_Polyhedron(). |
|
|
|
Definition at line 99 of file types.h. Referenced by align_context(), Constraints2Polyhedron(), Empty_Polyhedron(), Polyhedron_Compute_Dual(), Polyhedron_Remove_parm_eqs(), Remove_Redundants(), and Universe_Polyhedron(). |
|
Definition at line 66 of file types.h. Referenced by Constraints2Polyhedron(). |
|
Definition at line 67 of file types.h. Referenced by AddConstraints(), AddRays(), Constraints2Polyhedron(), p_simplify_constraints(), Polyhedron_Enumerate(), Rays2Polyhedron(), SimplifyConstraints(), and SubConstraint(). |
|
Definition at line 65 of file types.h. Referenced by AddConstraints(), AddRays(), Constraints2Polyhedron(), LexSmaller(), main(), p_simplify_constraints(), Polyhedron_Enumerate(), Polyhedron_Remove_parm_eqs(), Rays2Polyhedron(), SimplifyConstraints(), and SubConstraint(). |
|
Definition at line 101 of file types.h. Referenced by align_context(), Empty_Polyhedron(), p_simplify_constraints(), Remove_Redundants(), and Universe_Polyhedron(). |
|
Definition at line 106 of file types.h. Referenced by align_context(), Constraints2Polyhedron(), Empty_Polyhedron(), Polyhedron_Compute_Dual(), Polyhedron_Remove_parm_eqs(), Remove_Redundants(), and Universe_Polyhedron(). |
|
Definition at line 102 of file types.h. Referenced by Empty_Polyhedron(), p_simplify_constraints(), Polyhedron_Compute_Dual(), Remove_Redundants(), and Universe_Polyhedron(). |
|
|
|
|
|
Definition at line 49 of file types.h. Referenced by cherche_min(), lower_upper_bounds(), and P_Enum(). |
|
|
|
|
|
|
Referenced by DomainCost(). |
|
|
|
|
|
|
|
Referenced by Ehrhart_Quick_Apx_Full_Dim(), GenParamPolyhedron(), main(), Param_Polyhedron_Scale_Integer(), Param_Vertices_Free(), Param_Vertices_Print(), Scan_Vertices(), and traite_m_face(). |
|
|
|
|
|
|
|
|