PIPS
ray_dte-local.h
Go to the documentation of this file.
1 /*
2 
3  $Id: ray_dte-local.h 1641 2016-03-02 08:20:19Z coelho $
4 
5  Copyright 1989-2016 MINES ParisTech
6 
7  This file is part of Linear/C3 Library.
8 
9  Linear/C3 Library is free software: you can redistribute it and/or modify it
10  under the terms of the GNU Lesser General Public License as published by
11  the Free Software Foundation, either version 3 of the License, or
12  any later version.
13 
14  Linear/C3 Library is distributed in the hope that it will be useful, but WITHOUT ANY
15  WARRANTY; without even the implied warranty of MERCHANTABILITY or
16  FITNESS FOR A PARTICULAR PURPOSE.
17 
18  See the GNU Lesser General Public License for more details.
19 
20  You should have received a copy of the GNU Lesser General Public License
21  along with Linear/C3 Library. If not, see <http://www.gnu.org/licenses/>.
22 
23 */
24 
25 /* package ray_dte: structure de donnees representant les rayons et les
26  * droites d'un systeme generateur; elle contient le vecteur correspondant,
27  * un eventuel tableau de saturation, et le chainage vers les autres rayons
28  * ou droites.
29  *
30  * Francois Irigoin, Mai 1989
31  *
32  * Voir poly.h
33  *
34  * A terme, poly.h devrait exploser et la definition de ray_dte etre remise
35  * dans ce fichier; a moins qu'on ne mette plutot ray_dte.h dans sg.h
36  * pour eviter une explosion des .h
37  */
38 
39 #ifndef RAY_DTE
40 /* numero du type de donnees */
41 #define RAY_DTE 105
42 
43 typedef struct rdte {
44  int *eq_sat;
45  struct Svecteur *vecteur;
46  struct rdte *succ;
48 
49 #define print_rd(s) ray_dte_fprint(stdout,s)
50 
51 #define print_lray_dte(lv) fprint_lray_dte(stdout,lv)
52 
53 #ifndef VERSION_FINALE
54 #define RAY_DTE_RM(rd,f) dbg_ray_dte_rm(rd,f)
55 #else
56 #define RAY_DTE_RM(rd,f) ray_dte_rm(rd)
57 #endif
58 
59 #endif /* RAY_DTE */
struct rdte * Pray_dte
struct rdte Sray_dte
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
Definition: vecteur-local.h:89
struct rdte * succ
Definition: ray_dte-local.h:46
struct Svecteur * vecteur
Definition: ray_dte-local.h:45
int * eq_sat
Definition: ray_dte-local.h:44