#include <gmp.h>
Go to the source code of this file.
Compounds | |
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 | emptyQ(P) (P->NbRays==0) |
#define | universeQ(P) (P->Dimension==P->NbLines) |
#define | FORALL_PVertex_in_ParamPolyhedron(_V, _D, _P) |
#define | END_FORALL_PVertex_in_ParamPolyhedron |
#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: } \ NEXT(_ix, _bx); \ } \ } Definition at line 124 of file types.h. Referenced by main(). |
|
|
|
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 116 of file types.h. Referenced by main(). |
|
Definition at line 193 of file types.h. Referenced by main(). |
|
Definition at line 46 of file types.h. Referenced by cherche_min(), lower_upper_bounds(), and P_Enum(). |
|
Definition at line 31 of file types.h. Referenced by AddZPolytoZDomain(), CanonicalForm(), FindHermiteBasisofDomain(), IntegraliseLattice(), ZDomainSimplify(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIncludes(), ZPolyhedronIntersection(), and ZPolyhedronPreimage(). |
|
Definition at line 51 of file types.h. Referenced by addToFilter(), BuildSat(), Chernikova(), Compute_PDomains(), DomainSimplify(), FindSimple(), Poly2Sat(), Remove_Redundants(), Scan_Vertices(), SimplifyEqualities(), Stras_DomainSimplify(), traite_m_face(), and TransformSat(). |
|
Definition at line 57 of file types.h. Referenced by addToFilter(), BuildSat(), Chernikova(), Compute_PDomains(), DomainSimplify(), FindSimple(), Poly2Sat(), Remove_Redundants(), Scan_Vertices(), SimplifyEqualities(), Stras_DomainSimplify(), traite_m_face(), and TransformSat(). |
|
Definition at line 42 of file types.h. Referenced by AffConstraints(), AffContraintes(), check_poly(), cherche_min(), Chernikova(), Compute_PDomains(), count_points(), Elim_Columns(), Enumerate_NoParameters(), Find_m_faces(), main(), Matrix_Print(), P_Enum(), Polyhedron_Enumerate(), Polyhedron_Image_Enumerate(), Polyhedron_Preprocess(), Polyhedron_Preprocess2(), PolyhedronLTQ(), PreElim_Columns(), traite_m_face(), and Vector_Print(). |
|
Definition at line 30 of file types.h. Referenced by Read_ParamNames(). |
|
|
|
Definition at line 47 of file types.h. Referenced by cherche_min(), lower_upper_bounds(), and P_Enum(). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Definition at line 132 of file types.h. Referenced by new_enode(). |
|
Definition at line 60 of file types.h. Referenced by AddConstraints(), AddRays(), DomainSimplify(), Polyhedron_Preimage(), SimplifyConstraints(), SimplifyEqualities(), and SubConstraint(). |