#include <limits.h>
Go to the source code of this file.
|
#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) |
|
#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) /* Specific flags location. */ |
|
#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) /* Structure element flags. */ |
|
#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 (;;) |
|
◆ emptyQ
◆ END_FORALL_PVertex_in_ParamPolyhedron
#define END_FORALL_PVertex_in_ParamPolyhedron |
Value: } \
NEXT(_ix, _bx); \
} \
}
Definition at line 157 of file types.h.
◆ F_CLR
#define F_CLR |
( |
|
p, |
|
|
|
f |
|
) |
| FL_CLR((p)->flags, f) |
◆ F_INIT
#define F_INIT |
( |
|
p, |
|
|
|
f |
|
) |
| FL_INIT((p)->flags, f) /* Structure element flags. */ |
◆ F_ISSET
#define F_ISSET |
( |
|
p, |
|
|
|
f |
|
) |
| FL_ISSET((p)->flags, f) |
◆ F_SET
#define F_SET |
( |
|
p, |
|
|
|
f |
|
) |
| FL_SET((p)->flags, f) |
◆ FIRST_PARAMETER_NAME
#define FIRST_PARAMETER_NAME 'P' |
◆ FL_CLR
#define FL_CLR |
( |
|
l, |
|
|
|
f |
|
) |
| ((l) &= ~(f)) |
◆ FL_INIT
#define FL_INIT |
( |
|
l, |
|
|
|
f |
|
) |
| (l) = (f) /* Specific flags location. */ |
◆ FL_ISSET
#define FL_ISSET |
( |
|
l, |
|
|
|
f |
|
) |
| ((l) & (f)) |
◆ FL_SET
#define FL_SET |
( |
|
l, |
|
|
|
f |
|
) |
| ((l) |= (f)) |
◆ FORALL_PVertex_in_ParamPolyhedron
#define FORALL_PVertex_in_ParamPolyhedron |
( |
|
_V, |
|
|
|
_D, |
|
|
|
_P |
|
) |
| |
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 149 of file types.h.
◆ FOREVER
◆ LB_INFINITY
◆ MAXNOOFRAYS
◆ MSB
#define MSB ((unsigned)(((unsigned)1) << (sizeof(int) * 8 - 1))) |
◆ NEXT
Value: { \
if (!((b) >>= 1)) { \
(j)++; \
} \
}
Definition at line 54 of file types.h.
◆ P_VALUE_FMT
#define P_VALUE_FMT "%4s " |
◆ PCHAR
◆ POL_FACETS
#define POL_FACETS 0x00000002 |
◆ POL_HIGH_BIT
#define POL_HIGH_BIT (UINT_MAX - (UINT_MAX >> 1)) |
◆ POL_INEQUALITIES
#define POL_INEQUALITIES 0x00000001 |
◆ POL_INTEGER
◆ POL_ISSET
#define POL_ISSET |
( |
|
flags, |
|
|
|
f |
|
) |
| ((flags & f) == f) |
◆ POL_NO_DUAL
◆ POL_POINTS
#define POL_POINTS 0x00000004 |
◆ POL_VALID
#define POL_VALID 0x00000010 |
◆ POL_VERTICES
#define POL_VERTICES 0x00000008 |
◆ POLY_UNION_OR_STRUCT
#define POLY_UNION_OR_STRUCT union |
◆ TOP
#define TOP ((int)(MSB - 1)) |
◆ UB_INFINITY
◆ universeQ
#define universeQ |
( |
|
P | ) |
(P->Dimension == P->NbBid) |
◆ enode
◆ Enumeration
◆ evalue
◆ Interval
◆ Lattice
◆ LatticeUnion
◆ Matrix
◆ Param_Domain
◆ Param_Polyhedron
◆ Param_Vertices
◆ Polyhedron
◆ ZPolyhedron
◆ Bool
◆ enode_type
Enumerator |
---|
polynomial | |
periodic | |
evector | |
Definition at line 165 of file types.h.
◆ Pol_status