59.7 KB
/srv/reproducible-results/rbuild-debian/tmp.mNXORx1fZB/b1/apron_0.9.10-9_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/tmp.mNXORx1fZB/b2/apron_0.9.10-9_arm64.changes
666 B
Files
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 ·82f116c0b6e653d2264972400f73936d·37016·debug·optional·libapron-dbgsym_0.9.10-9_arm64.deb1 ·82f116c0b6e653d2264972400f73936d·37016·debug·optional·libapron-dbgsym_0.9.10-9_arm64.deb
2 ·dc66680ef2bd3a05a01ca729e99aebec·131740·libdevel·optional·libapron-dev_0.9.10-9_all.deb2 ·3981af6234ef8202182f0cf8dbd38dd5·131740·libdevel·optional·libapron-dev_0.9.10-9_all.deb
3 ·643a9e6405aaee3ae61e8c23ad97ad01·16716·debug·optional·libapron-ocaml-dbgsym_0.9.10-9_arm64.deb3 ·643a9e6405aaee3ae61e8c23ad97ad01·16716·debug·optional·libapron-ocaml-dbgsym_0.9.10-9_arm64.deb
4 ·facaa2499e447088ddc922d8ac06fb2a·1210552·ocaml·optional·libapron-ocaml-dev_0.9.10-9_arm64.deb4 ·facaa2499e447088ddc922d8ac06fb2a·1210552·ocaml·optional·libapron-ocaml-dev_0.9.10-9_arm64.deb
5 ·d5d20daeb8ba9833e91edc4009ecbf66·57900·ocaml·optional·libapron-ocaml_0.9.10-9_arm64.deb5 ·d5d20daeb8ba9833e91edc4009ecbf66·57900·ocaml·optional·libapron-ocaml_0.9.10-9_arm64.deb
6 ·2a8f812595fc91e19bf295d8c8388ba7·402884·libs·optional·libapron_0.9.10-9_arm64.deb6 ·2a8f812595fc91e19bf295d8c8388ba7·402884·libs·optional·libapron_0.9.10-9_arm64.deb
58.8 KB
libapron-dev_0.9.10-9_all.deb
672 B
control.tar.xz
644 B
control.tar
574 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libapron-dev1 Package:·libapron-dev
2 Source:·apron2 Source:·apron
3 Version:·0.9.10-93 Version:·0.9.10-9
4 Architecture:·all4 Architecture:·all
5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>5 Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>
6 Installed-Size:·14136 Installed-Size:·1414
7 Depends:·libapron,·libgmp3-dev,·libmpfr-dev,·libppl-dev7 Depends:·libapron,·libgmp3-dev,·libmpfr-dev,·libppl-dev
8 Section:·libdevel8 Section:·libdevel
9 Priority:·optional9 Priority:·optional
10 Homepage:·http://apron.cri.ensmp.fr/library/10 Homepage:·http://apron.cri.ensmp.fr/library/
11 Description:·abstract·interpretation·library11 Description:·abstract·interpretation·library
12 ·The·APRON·library·is·dedicated·to·the·static·analysis·of·the·numerical12 ·The·APRON·library·is·dedicated·to·the·static·analysis·of·the·numerical
13 ·variables·of·a·program·by·Abstract·Interpretation.·The·aim·of·such·an·analysis13 ·variables·of·a·program·by·Abstract·Interpretation.·The·aim·of·such·an·analysis
48.0 B
./md5sums
30.0 B
./md5sums
Files differ
58.1 KB
data.tar.xz
58.1 KB
data.tar
14.3 KB
file list
    
Offset 71, 62 lines modifiedOffset 71, 62 lines modified
71 -rw-r--r--···0·root·········(0)·root·········(0)·····3357·2009-09-10·15:09:56.000000·./usr/share/doc/libapron-dev/changelog.gz71 -rw-r--r--···0·root·········(0)·root·········(0)·····3357·2009-09-10·15:09:56.000000·./usr/share/doc/libapron-dev/changelog.gz
72 -rw-r--r--···0·root·········(0)·root·········(0)·····2372·2016-08-03·14:45:56.000000·./usr/share/doc/libapron-dev/copyright72 -rw-r--r--···0·root·········(0)·root·········(0)·····2372·2016-08-03·14:45:56.000000·./usr/share/doc/libapron-dev/copyright
73 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/examples/73 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/examples/
74 -rw-r--r--···0·root·········(0)·root·········(0)·····2221·2008-06-05·15:38:02.000000·./usr/share/doc/libapron-dev/examples/Makefile74 -rw-r--r--···0·root·········(0)·root·········(0)·····2221·2008-06-05·15:38:02.000000·./usr/share/doc/libapron-dev/examples/Makefile
75 -rw-r--r--···0·root·········(0)·root·········(0)······508·2007-03-07·15:05:19.000000·./usr/share/doc/libapron-dev/examples/README75 -rw-r--r--···0·root·········(0)·root·········(0)······508·2007-03-07·15:05:19.000000·./usr/share/doc/libapron-dev/examples/README
76 -rw-r--r--···0·root·········(0)·root·········(0)····15732·2007-05-10·14:04:22.000000·./usr/share/doc/libapron-dev/examples/example1.c76 -rw-r--r--···0·root·········(0)·root·········(0)····15732·2007-05-10·14:04:22.000000·./usr/share/doc/libapron-dev/examples/example1.c
77 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/77 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/
78 -rw-r--r--···0·root·········(0)·root·········(0)·····4673·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron.html78 -rw-r--r--···0·root·········(0)·root·········(0)·····4701·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron.html
79 -rw-r--r--···0·root·········(0)·root·········(0)····31578·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_1.html79 -rw-r--r--···0·root·········(0)·root·········(0)····31606·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_1.html
80 -rw-r--r--···0·root·········(0)·root·········(0)·····5073·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_10.html80 -rw-r--r--···0·root·········(0)·root·········(0)·····5101·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_10.html
81 -rw-r--r--···0·root·········(0)·root·········(0)·····7247·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_11.html81 -rw-r--r--···0·root·········(0)·root·········(0)·····7275·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_11.html
82 -rw-r--r--···0·root·········(0)·root·········(0)·····5907·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_12.html82 -rw-r--r--···0·root·········(0)·root·········(0)·····5935·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_12.html
83 -rw-r--r--···0·root·········(0)·root·········(0)····15656·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_13.html83 -rw-r--r--···0·root·········(0)·root·········(0)····15684·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_13.html
84 -rw-r--r--···0·root·········(0)·root·········(0)·····9381·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_14.html84 -rw-r--r--···0·root·········(0)·root·········(0)·····9409·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_14.html
85 -rw-r--r--···0·root·········(0)·root·········(0)·····4157·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_15.html85 -rw-r--r--···0·root·········(0)·root·········(0)·····4185·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_15.html
86 -rw-r--r--···0·root·········(0)·root·········(0)····28668·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_16.html86 -rw-r--r--···0·root·········(0)·root·········(0)····28696·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_16.html
87 -rw-r--r--···0·root·········(0)·root·········(0)····13433·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_17.html87 -rw-r--r--···0·root·········(0)·root·········(0)····13461·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_17.html
88 -rw-r--r--···0·root·········(0)·root·········(0)····10048·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_18.html88 -rw-r--r--···0·root·········(0)·root·········(0)····10076·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_18.html
89 -rw-r--r--···0·root·········(0)·root·········(0)·····4983·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_19.html89 -rw-r--r--···0·root·········(0)·root·········(0)·····5011·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_19.html
90 -rw-r--r--···0·root·········(0)·root·········(0)·····7080·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_2.html90 -rw-r--r--···0·root·········(0)·root·········(0)·····7108·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_2.html
91 -rw-r--r--···0·root·········(0)·root·········(0)····19482·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_20.html91 -rw-r--r--···0·root·········(0)·root·········(0)····19510·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_20.html
92 -rw-r--r--···0·root·········(0)·root·········(0)····18620·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_21.html92 -rw-r--r--···0·root·········(0)·root·········(0)····18648·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_21.html
93 -rw-r--r--···0·root·········(0)·root·········(0)····18115·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_22.html93 -rw-r--r--···0·root·········(0)·root·········(0)····18143·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_22.html
94 -rw-r--r--···0·root·········(0)·root·········(0)·····7105·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_23.html94 -rw-r--r--···0·root·········(0)·root·········(0)·····7133·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_23.html
95 -rw-r--r--···0·root·········(0)·root·········(0)·····6586·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_24.html95 -rw-r--r--···0·root·········(0)·root·········(0)·····6614·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_24.html
96 -rw-r--r--···0·root·········(0)·root·········(0)····13744·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_25.html96 -rw-r--r--···0·root·········(0)·root·········(0)····13772·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_25.html
97 -rw-r--r--···0·root·········(0)·root·········(0)····31996·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_26.html97 -rw-r--r--···0·root·········(0)·root·········(0)····32024·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_26.html
98 -rw-r--r--···0·root·········(0)·root·········(0)····23405·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_27.html98 -rw-r--r--···0·root·········(0)·root·········(0)····23433·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_27.html
99 -rw-r--r--···0·root·········(0)·root·········(0)····20769·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_28.html99 -rw-r--r--···0·root·········(0)·root·········(0)····20797·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_28.html
100 -rw-r--r--···0·root·········(0)·root·········(0)····22663·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_29.html100 -rw-r--r--···0·root·········(0)·root·········(0)····22691·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_29.html
101 -rw-r--r--···0·root·········(0)·root·········(0)·····4718·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_3.html101 -rw-r--r--···0·root·········(0)·root·········(0)·····4746·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_3.html
102 -rw-r--r--···0·root·········(0)·root·········(0)····19230·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_30.html102 -rw-r--r--···0·root·········(0)·root·········(0)····19258·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_30.html
103 -rw-r--r--···0·root·········(0)·root·········(0)····59541·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_31.html103 -rw-r--r--···0·root·········(0)·root·········(0)····59569·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_31.html
104 -rw-r--r--···0·root·········(0)·root·········(0)·····6243·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_32.html104 -rw-r--r--···0·root·········(0)·root·········(0)·····6271·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_32.html
105 -rw-r--r--···0·root·········(0)·root·········(0)····16018·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_33.html105 -rw-r--r--···0·root·········(0)·root·········(0)····16046·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_33.html
106 -rw-r--r--···0·root·········(0)·root·········(0)····35355·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_34.html106 -rw-r--r--···0·root·········(0)·root·········(0)····35383·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_34.html
107 -rw-r--r--···0·root·········(0)·root·········(0)····18475·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_35.html107 -rw-r--r--···0·root·········(0)·root·········(0)····18503·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_35.html
108 -rw-r--r--···0·root·········(0)·root·········(0)····15561·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_36.html108 -rw-r--r--···0·root·········(0)·root·········(0)····15589·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_36.html
109 -rw-r--r--···0·root·········(0)·root·········(0)·····4297·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_37.html109 -rw-r--r--···0·root·········(0)·root·········(0)·····4325·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_37.html
110 -rw-r--r--···0·root·········(0)·root·········(0)·····4255·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_38.html110 -rw-r--r--···0·root·········(0)·root·········(0)·····4283·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_38.html
111 -rw-r--r--···0·root·········(0)·root·········(0)····57464·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_39.html111 -rw-r--r--···0·root·········(0)·root·········(0)····57492·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_39.html
112 -rw-r--r--···0·root·········(0)·root·········(0)····11560·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_4.html112 -rw-r--r--···0·root·········(0)·root·········(0)····11588·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_4.html
113 -rw-r--r--···0·root·········(0)·root·········(0)·····4891·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_40.html113 -rw-r--r--···0·root·········(0)·root·········(0)·····4919·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_40.html
114 -rw-r--r--···0·root·········(0)·root·········(0)·····4210·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_41.html114 -rw-r--r--···0·root·········(0)·root·········(0)·····4238·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_41.html
115 -rw-r--r--···0·root·········(0)·root·········(0)·····4261·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_42.html115 -rw-r--r--···0·root·········(0)·root·········(0)·····4289·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_42.html
116 -rw-r--r--···0·root·········(0)·root·········(0)····16261·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_43.html116 -rw-r--r--···0·root·········(0)·root·········(0)····16289·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_43.html
117 -rw-r--r--···0·root·········(0)·root·········(0)·····4967·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_44.html117 -rw-r--r--···0·root·········(0)·root·········(0)·····4995·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_44.html
118 -rw-r--r--···0·root·········(0)·root·········(0)···135251·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_45.html118 -rw-r--r--···0·root·········(0)·root·········(0)···135279·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_45.html
119 -rw-r--r--···0·root·········(0)·root·········(0)·····7287·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_46.html119 -rw-r--r--···0·root·········(0)·root·········(0)·····7315·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_46.html
120 -rw-r--r--···0·root·········(0)·root·········(0)····15618·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_5.html120 -rw-r--r--···0·root·········(0)·root·········(0)····15646·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_5.html
121 -rw-r--r--···0·root·········(0)·root·········(0)·····8117·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_6.html121 -rw-r--r--···0·root·········(0)·root·········(0)·····8145·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_6.html
122 -rw-r--r--···0·root·········(0)·root·········(0)·····4818·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_7.html122 -rw-r--r--···0·root·········(0)·root·········(0)·····4846·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_7.html
123 -rw-r--r--···0·root·········(0)·root·········(0)·····4147·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_8.html123 -rw-r--r--···0·root·········(0)·root·········(0)·····4175·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_8.html
124 -rw-r--r--···0·root·········(0)·root·········(0)····22832·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_9.html124 -rw-r--r--···0·root·········(0)·root·········(0)····22860·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_9.html
125 -rw-r--r--···0·root·········(0)·root·········(0)·····5136·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_abt.html125 -rw-r--r--···0·root·········(0)·root·········(0)·····5192·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/apron_abt.html
126 -rw-r--r--···0·root·········(0)·root·········(0)····17774·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/oct_doc.html126 -rw-r--r--···0·root·········(0)·root·········(0)····17774·2016-08-03·14:47:13.000000·./usr/share/doc/libapron-dev/html/oct_doc.html
127 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/share/doc-base/127 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/share/doc-base/
128 -rw-r--r--···0·root·········(0)·root·········(0)······221·2016-08-03·14:45:56.000000·./usr/share/doc-base/apron128 -rw-r--r--···0·root·········(0)·root·········(0)······221·2016-08-03·14:45:56.000000·./usr/share/doc-base/apron
129 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/lib/libap_pkgrid.so·->·libap_pkgrid.so.0129 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/lib/libap_pkgrid.so·->·libap_pkgrid.so.0
130 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/lib/libap_ppl.so·->·libap_ppl.so.0130 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/lib/libap_ppl.so·->·libap_ppl.so.0
131 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/lib/libapron.so·->·libapron.so.0131 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/lib/libapron.so·->·libapron.so.0
132 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/lib/libboxD.so·->·libboxD.so.0132 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2016-08-03·14:47:13.000000·./usr/lib/libboxD.so·->·libboxD.so.0
837 B
./usr/share/doc/libapron-dev/html/apron.html
    
Offset 87, 14 lines modifiedOffset 87, 14 lines modified
87 <tr><td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td>87 <tr><td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td>
88 <td·valign="middle"·align="left">[Contents]</td>88 <td·valign="middle"·align="left">[Contents]</td>
89 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Index">Index</a>]</td>89 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Index">Index</a>]</td>
90 <td·valign="middle"·align="left">[<a·href="apron_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td>90 <td·valign="middle"·align="left">[<a·href="apron_abt.html#SEC_About"·title="About·(help)">·?·</a>]</td>
91 </tr></table>91 </tr></table>
92 <p>92 <p>
93 ·<font·size="-1">93 ·<font·size="-1">
94 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.94 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
95 ·</font>95 ·</font>
96 ·<br>96 ·<br>
  
97 </p>97 </p>
98 </body>98 </body>
99 </html>99 </html>
887 B
./usr/share/doc/libapron-dev/html/apron_1.html
    
Offset 619, 14 lines modifiedOffset 619, 14 lines modified
619 <td·valign="middle"·align="left">·&nbsp;·</td>619 <td·valign="middle"·align="left">·&nbsp;·</td>
620 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>620 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
621 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>621 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
622 <td·valign="middle"·align="left">[<a·href="apron_2.html#Introduction-to-APRON"·title="Next·chapter">·&gt;&gt;·</a>]</td>622 <td·valign="middle"·align="left">[<a·href="apron_2.html#Introduction-to-APRON"·title="Next·chapter">·&gt;&gt;·</a>]</td>
623 </tr></table>623 </tr></table>
624 <p>624 <p>
625 ·<font·size="-1">625 ·<font·size="-1">
626 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.626 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
627 ·</font>627 ·</font>
628 ·<br>628 ·<br>
  
629 </p>629 </p>
630 </body>630 </body>
631 </html>631 </html>
926 B
./usr/share/doc/libapron-dev/html/apron_10.html
    
Offset 88, 14 lines modifiedOffset 88, 14 lines modified
88 <td·valign="middle"·align="left">·&nbsp;·</td>88 <td·valign="middle"·align="left">·&nbsp;·</td>
89 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>89 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
90 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Up·section">·Up·</a>]</td>90 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Up·section">·Up·</a>]</td>
91 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Next·chapter">·&gt;&gt;·</a>]</td>91 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Next·chapter">·&gt;&gt;·</a>]</td>
92 </tr></table>92 </tr></table>
93 <p>93 <p>
94 ·<font·size="-1">94 ·<font·size="-1">
95 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.95 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
96 ·</font>96 ·</font>
97 ·<br>97 ·<br>
  
98 </p>98 </p>
99 </body>99 </body>
100 </html>100 </html>
928 B
./usr/share/doc/libapron-dev/html/apron_11.html
    
Offset 132, 14 lines modifiedOffset 132, 14 lines modified
132 <td·valign="middle"·align="left">·&nbsp;·</td>132 <td·valign="middle"·align="left">·&nbsp;·</td>
133 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>133 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
134 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Up·section">·Up·</a>]</td>134 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Up·section">·Up·</a>]</td>
135 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Next·chapter">·&gt;&gt;·</a>]</td>135 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Next·chapter">·&gt;&gt;·</a>]</td>
136 </tr></table>136 </tr></table>
137 <p>137 <p>
138 ·<font·size="-1">138 ·<font·size="-1">
139 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.139 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
140 ·</font>140 ·</font>
141 ·<br>141 ·<br>
  
142 </p>142 </p>
143 </body>143 </body>
144 </html>144 </html>
926 B
./usr/share/doc/libapron-dev/html/apron_12.html
    
Offset 101, 14 lines modifiedOffset 101, 14 lines modified
101 <td·valign="middle"·align="left">·&nbsp;·</td>101 <td·valign="middle"·align="left">·&nbsp;·</td>
102 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>102 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
103 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>103 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
104 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>104 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>
105 </tr></table>105 </tr></table>
106 <p>106 <p>
107 ·<font·size="-1">107 ·<font·size="-1">
108 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.108 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
109 ·</font>109 ·</font>
110 ·<br>110 ·<br>
  
111 </p>111 </p>
112 </body>112 </body>
113 </html>113 </html>
935 B
./usr/share/doc/libapron-dev/html/apron_13.html
    
Offset 332, 14 lines modifiedOffset 332, 14 lines modified
332 <td·valign="middle"·align="left">·&nbsp;·</td>332 <td·valign="middle"·align="left">·&nbsp;·</td>
333 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>333 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
334 <td·valign="middle"·align="left">[<a·href="#Managers"·title="Up·section">·Up·</a>]</td>334 <td·valign="middle"·align="left">[<a·href="#Managers"·title="Up·section">·Up·</a>]</td>
335 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>335 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>
336 </tr></table>336 </tr></table>
337 <p>337 <p>
338 ·<font·size="-1">338 ·<font·size="-1">
339 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.339 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
340 ·</font>340 ·</font>
341 ·<br>341 ·<br>
  
342 </p>342 </p>
343 </body>343 </body>
344 </html>344 </html>
930 B
./usr/share/doc/libapron-dev/html/apron_14.html
    
Offset 164, 14 lines modifiedOffset 164, 14 lines modified
164 <td·valign="middle"·align="left">·&nbsp;·</td>164 <td·valign="middle"·align="left">·&nbsp;·</td>
165 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>165 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
166 <td·valign="middle"·align="left">[<a·href="#Box"·title="Up·section">·Up·</a>]</td>166 <td·valign="middle"·align="left">[<a·href="#Box"·title="Up·section">·Up·</a>]</td>
167 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>167 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>
168 </tr></table>168 </tr></table>
169 <p>169 <p>
170 ·<font·size="-1">170 ·<font·size="-1">
171 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.171 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
172 ·</font>172 ·</font>
173 ·<br>173 ·<br>
  
174 </p>174 </p>
175 </body>175 </body>
176 </html>176 </html>
967 B
./usr/share/doc/libapron-dev/html/apron_15.html
    
Offset 70, 14 lines modifiedOffset 70, 14 lines modified
70 <td·valign="middle"·align="left">·&nbsp;·</td>70 <td·valign="middle"·align="left">·&nbsp;·</td>
71 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>71 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
72 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Up·section">·Up·</a>]</td>72 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Up·section">·Up·</a>]</td>
73 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>73 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>
74 </tr></table>74 </tr></table>
75 <p>75 <p>
76 ·<font·size="-1">76 ·<font·size="-1">
77 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.77 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
78 ·</font>78 ·</font>
79 ·<br>79 ·<br>
  
80 </p>80 </p>
81 </body>81 </body>
82 </html>82 </html>
935 B
./usr/share/doc/libapron-dev/html/apron_16.html
    
Offset 442, 14 lines modifiedOffset 442, 14 lines modified
442 <td·valign="middle"·align="left">·&nbsp;·</td>442 <td·valign="middle"·align="left">·&nbsp;·</td>
443 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>443 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
444 <td·valign="middle"·align="left">[<a·href="#NewPolka"·title="Up·section">·Up·</a>]</td>444 <td·valign="middle"·align="left">[<a·href="#NewPolka"·title="Up·section">·Up·</a>]</td>
445 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>445 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>
446 </tr></table>446 </tr></table>
447 <p>447 <p>
448 ·<font·size="-1">448 ·<font·size="-1">
449 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.449 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
450 ·</font>450 ·</font>
451 ·<br>451 ·<br>
  
452 </p>452 </p>
453 </body>453 </body>
454 </html>454 </html>
930 B
./usr/share/doc/libapron-dev/html/apron_17.html
    
Offset 209, 14 lines modifiedOffset 209, 14 lines modified
209 <td·valign="middle"·align="left">·&nbsp;·</td>209 <td·valign="middle"·align="left">·&nbsp;·</td>
210 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>210 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
211 <td·valign="middle"·align="left">[<a·href="#PPL"·title="Up·section">·Up·</a>]</td>211 <td·valign="middle"·align="left">[<a·href="#PPL"·title="Up·section">·Up·</a>]</td>
212 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>212 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>
213 </tr></table>213 </tr></table>
214 <p>214 <p>
215 ·<font·size="-1">215 ·<font·size="-1">
216 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.216 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
217 ·</font>217 ·</font>
218 ·<br>218 ·<br>
  
219 </p>219 </p>
220 </body>220 </body>
221 </html>221 </html>
933 B
./usr/share/doc/libapron-dev/html/apron_18.html
    
Offset 156, 14 lines modifiedOffset 156, 14 lines modified
156 <td·valign="middle"·align="left">·&nbsp;·</td>156 <td·valign="middle"·align="left">·&nbsp;·</td>
157 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>157 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
158 <td·valign="middle"·align="left">[<a·href="#pkgrid"·title="Up·section">·Up·</a>]</td>158 <td·valign="middle"·align="left">[<a·href="#pkgrid"·title="Up·section">·Up·</a>]</td>
159 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>159 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Next·chapter">·&gt;&gt;·</a>]</td>
160 </tr></table>160 </tr></table>
161 <p>161 <p>
162 ·<font·size="-1">162 ·<font·size="-1">
163 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.163 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
164 ·</font>164 ·</font>
165 ·<br>165 ·<br>
  
166 </p>166 </p>
167 </body>167 </body>
168 </html>168 </html>
920 B
./usr/share/doc/libapron-dev/html/apron_19.html
    
Offset 85, 14 lines modifiedOffset 85, 14 lines modified
85 <td·valign="middle"·align="left">·&nbsp;·</td>85 <td·valign="middle"·align="left">·&nbsp;·</td>
86 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>86 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
87 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>87 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
88 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>88 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
89 </tr></table>89 </tr></table>
90 <p>90 <p>
91 ·<font·size="-1">91 ·<font·size="-1">
92 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.92 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
93 ·</font>93 ·</font>
94 ·<br>94 ·<br>
  
95 </p>95 </p>
96 </body>96 </body>
97 </html>97 </html>
907 B
./usr/share/doc/libapron-dev/html/apron_2.html
    
Offset 135, 14 lines modifiedOffset 135, 14 lines modified
135 <td·valign="middle"·align="left">·&nbsp;·</td>135 <td·valign="middle"·align="left">·&nbsp;·</td>
136 <td·valign="middle"·align="left">[<a·href="apron_1.html#Copying"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>136 <td·valign="middle"·align="left">[<a·href="apron_1.html#Copying"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
137 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>137 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
138 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Next·chapter">·&gt;&gt;·</a>]</td>138 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Next·chapter">·&gt;&gt;·</a>]</td>
139 </tr></table>139 </tr></table>
140 <p>140 <p>
141 ·<font·size="-1">141 ·<font·size="-1">
142 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.142 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
143 ·</font>143 ·</font>
144 ·<br>144 ·<br>
  
145 </p>145 </p>
146 </body>146 </body>
147 </html>147 </html>
929 B
./usr/share/doc/libapron-dev/html/apron_20.html
    
Offset 329, 14 lines modifiedOffset 329, 14 lines modified
329 <td·valign="middle"·align="left">·&nbsp;·</td>329 <td·valign="middle"·align="left">·&nbsp;·</td>
330 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>330 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
331 <td·valign="middle"·align="left">[<a·href="#Scalars"·title="Up·section">·Up·</a>]</td>331 <td·valign="middle"·align="left">[<a·href="#Scalars"·title="Up·section">·Up·</a>]</td>
332 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>332 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
333 </tr></table>333 </tr></table>
334 <p>334 <p>
335 ·<font·size="-1">335 ·<font·size="-1">
336 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.336 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
337 ·</font>337 ·</font>
338 ·<br>338 ·<br>
  
339 </p>339 </p>
340 </body>340 </body>
341 </html>341 </html>
931 B
./usr/share/doc/libapron-dev/html/apron_21.html
    
Offset 310, 14 lines modifiedOffset 310, 14 lines modified
310 <td·valign="middle"·align="left">·&nbsp;·</td>310 <td·valign="middle"·align="left">·&nbsp;·</td>
311 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>311 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
312 <td·valign="middle"·align="left">[<a·href="#Intervals"·title="Up·section">·Up·</a>]</td>312 <td·valign="middle"·align="left">[<a·href="#Intervals"·title="Up·section">·Up·</a>]</td>
313 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>313 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
314 </tr></table>314 </tr></table>
315 <p>315 <p>
316 ·<font·size="-1">316 ·<font·size="-1">
317 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.317 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
318 ·</font>318 ·</font>
319 ·<br>319 ·<br>
  
320 </p>320 </p>
321 </body>321 </body>
322 </html>322 </html>
934 B
./usr/share/doc/libapron-dev/html/apron_22.html
    
Offset 287, 14 lines modifiedOffset 287, 14 lines modified
287 <td·valign="middle"·align="left">·&nbsp;·</td>287 <td·valign="middle"·align="left">·&nbsp;·</td>
288 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>288 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
289 <td·valign="middle"·align="left">[<a·href="#Coefficients"·title="Up·section">·Up·</a>]</td>289 <td·valign="middle"·align="left">[<a·href="#Coefficients"·title="Up·section">·Up·</a>]</td>
290 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>290 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
291 </tr></table>291 </tr></table>
292 <p>292 <p>
293 ·<font·size="-1">293 ·<font·size="-1">
294 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.294 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
295 ·</font>295 ·</font>
296 ·<br>296 ·<br>
  
297 </p>297 </p>
298 </body>298 </body>
299 </html>299 </html>
935 B
./usr/share/doc/libapron-dev/html/apron_23.html
    
Offset 117, 14 lines modifiedOffset 117, 14 lines modified
117 <td·valign="middle"·align="left">·&nbsp;·</td>117 <td·valign="middle"·align="left">·&nbsp;·</td>
118 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>118 <td·valign="middle"·align="left">[<a·href="apron_19.html#Scalars-_0026-Intervals-_0026-Coefficients"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
119 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>119 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
120 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>120 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
121 </tr></table>121 </tr></table>
122 <p>122 <p>
123 ·<font·size="-1">123 ·<font·size="-1">
124 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.124 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
125 ·</font>125 ·</font>
126 ·<br>126 ·<br>
  
127 </p>127 </p>
128 </body>128 </body>
129 </html>129 </html>
941 B
./usr/share/doc/libapron-dev/html/apron_24.html
    
Offset 116, 14 lines modifiedOffset 116, 14 lines modified
116 <td·valign="middle"·align="left">·&nbsp;·</td>116 <td·valign="middle"·align="left">·&nbsp;·</td>
117 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>117 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
118 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Up·section">·Up·</a>]</td>118 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Up·section">·Up·</a>]</td>
119 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>119 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
120 </tr></table>120 </tr></table>
121 <p>121 <p>
122 ·<font·size="-1">122 ·<font·size="-1">
123 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.123 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
124 ·</font>124 ·</font>
125 ·<br>125 ·<br>
  
126 </p>126 </p>
127 </body>127 </body>
128 </html>128 </html>
941 B
./usr/share/doc/libapron-dev/html/apron_25.html
    
Offset 253, 14 lines modifiedOffset 253, 14 lines modified
253 <td·valign="middle"·align="left">·&nbsp;·</td>253 <td·valign="middle"·align="left">·&nbsp;·</td>
254 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>254 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
255 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Up·section">·Up·</a>]</td>255 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Up·section">·Up·</a>]</td>
256 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>256 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
257 </tr></table>257 </tr></table>
258 <p>258 <p>
259 ·<font·size="-1">259 ·<font·size="-1">
260 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.260 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
261 ·</font>261 ·</font>
262 ·<br>262 ·<br>
  
263 </p>263 </p>
264 </body>264 </body>
265 </html>265 </html>
933 B
./usr/share/doc/libapron-dev/html/apron_26.html
    
Offset 462, 14 lines modifiedOffset 462, 14 lines modified
462 <td·valign="middle"·align="left">·&nbsp;·</td>462 <td·valign="middle"·align="left">·&nbsp;·</td>
463 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>463 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
464 <td·valign="middle"·align="left">[<a·href="#Linear-expressions-of-level-1"·title="Up·section">·Up·</a>]</td>464 <td·valign="middle"·align="left">[<a·href="#Linear-expressions-of-level-1"·title="Up·section">·Up·</a>]</td>
465 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>465 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
466 </tr></table>466 </tr></table>
467 <p>467 <p>
468 ·<font·size="-1">468 ·<font·size="-1">
469 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.469 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
470 ·</font>470 ·</font>
471 ·<br>471 ·<br>
  
472 </p>472 </p>
473 </body>473 </body>
474 </html>474 </html>
933 B
./usr/share/doc/libapron-dev/html/apron_27.html
    
Offset 363, 14 lines modifiedOffset 363, 14 lines modified
363 <td·valign="middle"·align="left">·&nbsp;·</td>363 <td·valign="middle"·align="left">·&nbsp;·</td>
364 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>364 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
365 <td·valign="middle"·align="left">[<a·href="#Linear-constraints-of-level-1"·title="Up·section">·Up·</a>]</td>365 <td·valign="middle"·align="left">[<a·href="#Linear-constraints-of-level-1"·title="Up·section">·Up·</a>]</td>
366 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>366 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
367 </tr></table>367 </tr></table>
368 <p>368 <p>
369 ·<font·size="-1">369 ·<font·size="-1">
370 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.370 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
371 ·</font>371 ·</font>
372 ·<br>372 ·<br>
  
373 </p>373 </p>
374 </body>374 </body>
375 </html>375 </html>
925 B
./usr/share/doc/libapron-dev/html/apron_28.html
    
Offset 324, 14 lines modifiedOffset 324, 14 lines modified
324 <td·valign="middle"·align="left">·&nbsp;·</td>324 <td·valign="middle"·align="left">·&nbsp;·</td>
325 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>325 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
326 <td·valign="middle"·align="left">[<a·href="#Generators-of-level-1"·title="Up·section">·Up·</a>]</td>326 <td·valign="middle"·align="left">[<a·href="#Generators-of-level-1"·title="Up·section">·Up·</a>]</td>
327 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>327 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
328 </tr></table>328 </tr></table>
329 <p>329 <p>
330 ·<font·size="-1">330 ·<font·size="-1">
331 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.331 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
332 ·</font>332 ·</font>
333 ·<br>333 ·<br>
  
334 </p>334 </p>
335 </body>335 </body>
336 </html>336 </html>
931 B
./usr/share/doc/libapron-dev/html/apron_29.html
    
Offset 346, 14 lines modifiedOffset 346, 14 lines modified
346 <td·valign="middle"·align="left">·&nbsp;·</td>346 <td·valign="middle"·align="left">·&nbsp;·</td>
347 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>347 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
348 <td·valign="middle"·align="left">[<a·href="#Tree-expressions-of-level-1"·title="Up·section">·Up·</a>]</td>348 <td·valign="middle"·align="left">[<a·href="#Tree-expressions-of-level-1"·title="Up·section">·Up·</a>]</td>
349 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>349 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
350 </tr></table>350 </tr></table>
351 <p>351 <p>
352 ·<font·size="-1">352 ·<font·size="-1">
353 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.353 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
354 ·</font>354 ·</font>
355 ·<br>355 ·<br>
  
356 </p>356 </p>
357 </body>357 </body>
358 </html>358 </html>
900 B
./usr/share/doc/libapron-dev/html/apron_3.html
    
Offset 78, 14 lines modifiedOffset 78, 14 lines modified
78 <td·valign="middle"·align="left">·&nbsp;·</td>78 <td·valign="middle"·align="left">·&nbsp;·</td>
79 <td·valign="middle"·align="left">[<a·href="apron_2.html#Introduction-to-APRON"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>79 <td·valign="middle"·align="left">[<a·href="apron_2.html#Introduction-to-APRON"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
80 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>80 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
81 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Next·chapter">·&gt;&gt;·</a>]</td>81 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Next·chapter">·&gt;&gt;·</a>]</td>
82 </tr></table>82 </tr></table>
83 <p>83 <p>
84 ·<font·size="-1">84 ·<font·size="-1">
85 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.85 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
86 ·</font>86 ·</font>
87 ·<br>87 ·<br>
  
88 </p>88 </p>
89 </body>89 </body>
90 </html>90 </html>
931 B
./usr/share/doc/libapron-dev/html/apron_30.html
    
Offset 310, 14 lines modifiedOffset 310, 14 lines modified
310 <td·valign="middle"·align="left">·&nbsp;·</td>310 <td·valign="middle"·align="left">·&nbsp;·</td>
311 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>311 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
312 <td·valign="middle"·align="left">[<a·href="#Tree-constraints-of-level-1"·title="Up·section">·Up·</a>]</td>312 <td·valign="middle"·align="left">[<a·href="#Tree-constraints-of-level-1"·title="Up·section">·Up·</a>]</td>
313 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>313 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
314 </tr></table>314 </tr></table>
315 <p>315 <p>
316 ·<font·size="-1">316 ·<font·size="-1">
317 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.317 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
318 ·</font>318 ·</font>
319 ·<br>319 ·<br>
  
320 </p>320 </p>
321 </body>321 </body>
322 </html>322 </html>
945 B
./usr/share/doc/libapron-dev/html/apron_31.html
    
Offset 846, 14 lines modifiedOffset 846, 14 lines modified
846 <td·valign="middle"·align="left">·&nbsp;·</td>846 <td·valign="middle"·align="left">·&nbsp;·</td>
847 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>847 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
848 <td·valign="middle"·align="left">[<a·href="#Abstract-values-and-operations-of-level-1"·title="Up·section">·Up·</a>]</td>848 <td·valign="middle"·align="left">[<a·href="#Abstract-values-and-operations-of-level-1"·title="Up·section">·Up·</a>]</td>
849 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>849 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Next·chapter">·&gt;&gt;·</a>]</td>
850 </tr></table>850 </tr></table>
851 <p>851 <p>
852 ·<font·size="-1">852 ·<font·size="-1">
853 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.853 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
854 ·</font>854 ·</font>
855 ·<br>855 ·<br>
  
856 </p>856 </p>
857 </body>857 </body>
858 </html>858 </html>
917 B
./usr/share/doc/libapron-dev/html/apron_32.html
    
Offset 94, 14 lines modifiedOffset 94, 14 lines modified
94 <td·valign="middle"·align="left">·&nbsp;·</td>94 <td·valign="middle"·align="left">·&nbsp;·</td>
95 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>95 <td·valign="middle"·align="left">[<a·href="apron_23.html#Level-1-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
96 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>96 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
97 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>97 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>
98 </tr></table>98 </tr></table>
99 <p>99 <p>
100 ·<font·size="-1">100 ·<font·size="-1">
101 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.101 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
102 ·</font>102 ·</font>
103 ·<br>103 ·<br>
  
104 </p>104 </p>
105 </body>105 </body>
106 </html>106 </html>
939 B
./usr/share/doc/libapron-dev/html/apron_33.html
    
Offset 287, 14 lines modifiedOffset 287, 14 lines modified
287 <td·valign="middle"·align="left">·&nbsp;·</td>287 <td·valign="middle"·align="left">·&nbsp;·</td>
288 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>288 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
289 <td·valign="middle"·align="left">[<a·href="#Dimensions-and-related-operations"·title="Up·section">·Up·</a>]</td>289 <td·valign="middle"·align="left">[<a·href="#Dimensions-and-related-operations"·title="Up·section">·Up·</a>]</td>
290 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>290 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>
291 </tr></table>291 </tr></table>
292 <p>292 <p>
293 ·<font·size="-1">293 ·<font·size="-1">
294 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.294 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
295 ·</font>295 ·</font>
296 ·<br>296 ·<br>
  
297 </p>297 </p>
298 </body>298 </body>
299 </html>299 </html>
935 B
./usr/share/doc/libapron-dev/html/apron_34.html
    
Offset 522, 14 lines modifiedOffset 522, 14 lines modified
522 <td·valign="middle"·align="left">·&nbsp;·</td>522 <td·valign="middle"·align="left">·&nbsp;·</td>
523 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>523 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
524 <td·valign="middle"·align="left">[<a·href="#Linear-expressions-of-level-0"·title="Up·section">·Up·</a>]</td>524 <td·valign="middle"·align="left">[<a·href="#Linear-expressions-of-level-0"·title="Up·section">·Up·</a>]</td>
525 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>525 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>
526 </tr></table>526 </tr></table>
527 <p>527 <p>
528 ·<font·size="-1">528 ·<font·size="-1">
529 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.529 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
530 ·</font>530 ·</font>
531 ·<br>531 ·<br>
  
532 </p>532 </p>
533 </body>533 </body>
534 </html>534 </html>
935 B
./usr/share/doc/libapron-dev/html/apron_35.html
    
Offset 297, 14 lines modifiedOffset 297, 14 lines modified
297 <td·valign="middle"·align="left">·&nbsp;·</td>297 <td·valign="middle"·align="left">·&nbsp;·</td>
298 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>298 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
299 <td·valign="middle"·align="left">[<a·href="#Linear-constraints-of-level-0"·title="Up·section">·Up·</a>]</td>299 <td·valign="middle"·align="left">[<a·href="#Linear-constraints-of-level-0"·title="Up·section">·Up·</a>]</td>
300 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>300 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>
301 </tr></table>301 </tr></table>
302 <p>302 <p>
303 ·<font·size="-1">303 ·<font·size="-1">
304 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.304 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
305 ·</font>305 ·</font>
306 ·<br>306 ·<br>
  
307 </p>307 </p>
308 </body>308 </body>
309 </html>309 </html>
927 B
./usr/share/doc/libapron-dev/html/apron_36.html
    
Offset 251, 14 lines modifiedOffset 251, 14 lines modified
251 <td·valign="middle"·align="left">·&nbsp;·</td>251 <td·valign="middle"·align="left">·&nbsp;·</td>
252 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>252 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
253 <td·valign="middle"·align="left">[<a·href="#Generators-of-level-0"·title="Up·section">·Up·</a>]</td>253 <td·valign="middle"·align="left">[<a·href="#Generators-of-level-0"·title="Up·section">·Up·</a>]</td>
254 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>254 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>
255 </tr></table>255 </tr></table>
256 <p>256 <p>
257 ·<font·size="-1">257 ·<font·size="-1">
258 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.258 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
259 ·</font>259 ·</font>
260 ·<br>260 ·<br>
  
261 </p>261 </p>
262 </body>262 </body>
263 </html>263 </html>
941 B
./usr/share/doc/libapron-dev/html/apron_37.html
    
Offset 68, 14 lines modifiedOffset 68, 14 lines modified
68 <td·valign="middle"·align="left">·&nbsp;·</td>68 <td·valign="middle"·align="left">·&nbsp;·</td>
69 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>69 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
70 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Up·section">·Up·</a>]</td>70 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Up·section">·Up·</a>]</td>
71 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>71 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>
72 </tr></table>72 </tr></table>
73 <p>73 <p>
74 ·<font·size="-1">74 ·<font·size="-1">
75 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.75 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
76 ·</font>76 ·</font>
77 ·<br>77 ·<br>
  
78 </p>78 </p>
79 </body>79 </body>
80 </html>80 </html>
941 B
./usr/share/doc/libapron-dev/html/apron_38.html
    
Offset 68, 14 lines modifiedOffset 68, 14 lines modified
68 <td·valign="middle"·align="left">·&nbsp;·</td>68 <td·valign="middle"·align="left">·&nbsp;·</td>
69 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>69 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
70 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Up·section">·Up·</a>]</td>70 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Up·section">·Up·</a>]</td>
71 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>71 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>
72 </tr></table>72 </tr></table>
73 <p>73 <p>
74 ·<font·size="-1">74 ·<font·size="-1">
75 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.75 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
76 ·</font>76 ·</font>
77 ·<br>77 ·<br>
  
78 </p>78 </p>
79 </body>79 </body>
80 </html>80 </html>
947 B
./usr/share/doc/libapron-dev/html/apron_39.html
    
Offset 805, 14 lines modifiedOffset 805, 14 lines modified
805 <td·valign="middle"·align="left">·&nbsp;·</td>805 <td·valign="middle"·align="left">·&nbsp;·</td>
806 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>806 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
807 <td·valign="middle"·align="left">[<a·href="#Abstract-values-and-operations-of-level-0"·title="Up·section">·Up·</a>]</td>807 <td·valign="middle"·align="left">[<a·href="#Abstract-values-and-operations-of-level-0"·title="Up·section">·Up·</a>]</td>
808 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>808 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Next·chapter">·&gt;&gt;·</a>]</td>
809 </tr></table>809 </tr></table>
810 <p>810 <p>
811 ·<font·size="-1">811 ·<font·size="-1">
812 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.812 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
813 ·</font>813 ·</font>
814 ·<br>814 ·<br>
  
815 </p>815 </p>
816 </body>816 </body>
817 </html>817 </html>
950 B
./usr/share/doc/libapron-dev/html/apron_4.html
    
Offset 246, 14 lines modifiedOffset 246, 14 lines modified
246 <td·valign="middle"·align="left">·&nbsp;·</td>246 <td·valign="middle"·align="left">·&nbsp;·</td>
247 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>247 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
248 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Up·section">·Up·</a>]</td>248 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Up·section">·Up·</a>]</td>
249 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Next·chapter">·&gt;&gt;·</a>]</td>249 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Next·chapter">·&gt;&gt;·</a>]</td>
250 </tr></table>250 </tr></table>
251 <p>251 <p>
252 ·<font·size="-1">252 ·<font·size="-1">
253 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.253 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
254 ·</font>254 ·</font>
255 ·<br>255 ·<br>
  
256 </p>256 </p>
257 </body>257 </body>
258 </html>258 </html>
899 B
./usr/share/doc/libapron-dev/html/apron_40.html
    
Offset 86, 14 lines modifiedOffset 86, 14 lines modified
86 <td·valign="middle"·align="left">·&nbsp;·</td>86 <td·valign="middle"·align="left">·&nbsp;·</td>
87 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>87 <td·valign="middle"·align="left">[<a·href="apron_32.html#Level-0-of-the-interface"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
88 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>88 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
89 <td·valign="middle"·align="left">[<a·href="apron_41.html#Examples"·title="Next·chapter">·&gt;&gt;·</a>]</td>89 <td·valign="middle"·align="left">[<a·href="apron_41.html#Examples"·title="Next·chapter">·&gt;&gt;·</a>]</td>
90 </tr></table>90 </tr></table>
91 <p>91 <p>
92 ·<font·size="-1">92 ·<font·size="-1">
93 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.93 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
94 ·</font>94 ·</font>
95 ·<br>95 ·<br>
  
96 </p>96 </p>
97 </body>97 </body>
98 </html>98 </html>
903 B
./usr/share/doc/libapron-dev/html/apron_41.html
    
Offset 77, 14 lines modifiedOffset 77, 14 lines modified
77 <td·valign="middle"·align="left">·&nbsp;·</td>77 <td·valign="middle"·align="left">·&nbsp;·</td>
78 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>78 <td·valign="middle"·align="left">[<a·href="apron_40.html#Functions-for-implementors"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
79 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>79 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
80 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Next·chapter">·&gt;&gt;·</a>]</td>80 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Next·chapter">·&gt;&gt;·</a>]</td>
81 </tr></table>81 </tr></table>
82 <p>82 <p>
83 ·<font·size="-1">83 ·<font·size="-1">
84 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.84 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
85 ·</font>85 ·</font>
86 ·<br>86 ·<br>
  
87 </p>87 </p>
88 </body>88 </body>
89 </html>89 </html>
825 B
./usr/share/doc/libapron-dev/html/apron_42.html
    
Offset 77, 14 lines modifiedOffset 77, 14 lines modified
77 <td·valign="middle"·align="left">·&nbsp;·</td>77 <td·valign="middle"·align="left">·&nbsp;·</td>
78 <td·valign="middle"·align="left">[<a·href="apron_41.html#Examples"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>78 <td·valign="middle"·align="left">[<a·href="apron_41.html#Examples"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
79 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>79 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
80 <td·valign="middle"·align="left">[·&gt;&gt;·]</td>80 <td·valign="middle"·align="left">[·&gt;&gt;·]</td>
81 </tr></table>81 </tr></table>
82 <p>82 <p>
83 ·<font·size="-1">83 ·<font·size="-1">
84 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.84 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
85 ·</font>85 ·</font>
86 ·<br>86 ·<br>
  
87 </p>87 </p>
88 </body>88 </body>
89 </html>89 </html>
839 B
./usr/share/doc/libapron-dev/html/apron_43.html
    
Offset 136, 14 lines modifiedOffset 136, 14 lines modified
136 <td·valign="middle"·align="left">·&nbsp;·</td>136 <td·valign="middle"·align="left">·&nbsp;·</td>
137 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>137 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
138 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Up·section">·Up·</a>]</td>138 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Up·section">·Up·</a>]</td>
139 <td·valign="middle"·align="left">[·&gt;&gt;·]</td>139 <td·valign="middle"·align="left">[·&gt;&gt;·]</td>
140 </tr></table>140 </tr></table>
141 <p>141 <p>
142 ·<font·size="-1">142 ·<font·size="-1">
143 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.143 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
144 ·</font>144 ·</font>
145 ·<br>145 ·<br>
  
146 </p>146 </p>
147 </body>147 </body>
148 </html>148 </html>
837 B
./usr/share/doc/libapron-dev/html/apron_44.html
    
Offset 83, 14 lines modifiedOffset 83, 14 lines modified
83 <td·valign="middle"·align="left">·&nbsp;·</td>83 <td·valign="middle"·align="left">·&nbsp;·</td>
84 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>84 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
85 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Up·section">·Up·</a>]</td>85 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Up·section">·Up·</a>]</td>
86 <td·valign="middle"·align="left">[·&gt;&gt;·]</td>86 <td·valign="middle"·align="left">[·&gt;&gt;·]</td>
87 </tr></table>87 </tr></table>
88 <p>88 <p>
89 ·<font·size="-1">89 ·<font·size="-1">
90 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.90 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
91 ·</font>91 ·</font>
92 ·<br>92 ·<br>
  
93 </p>93 </p>
94 </body>94 </body>
95 </html>95 </html>
839 B
./usr/share/doc/libapron-dev/html/apron_45.html
    
Offset 569, 14 lines modifiedOffset 569, 14 lines modified
569 <td·valign="middle"·align="left">·&nbsp;·</td>569 <td·valign="middle"·align="left">·&nbsp;·</td>
570 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>570 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
571 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Up·section">·Up·</a>]</td>571 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Up·section">·Up·</a>]</td>
572 <td·valign="middle"·align="left">[·&gt;&gt;·]</td>572 <td·valign="middle"·align="left">[·&gt;&gt;·]</td>
573 </tr></table>573 </tr></table>
574 <p>574 <p>
575 ·<font·size="-1">575 ·<font·size="-1">
576 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.576 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
577 ·</font>577 ·</font>
578 ·<br>578 ·<br>
  
579 </p>579 </p>
580 </body>580 </body>
581 </html>581 </html>
839 B
./usr/share/doc/libapron-dev/html/apron_46.html
    
Offset 106, 14 lines modifiedOffset 106, 14 lines modified
106 <td·valign="middle"·align="left">·&nbsp;·</td>106 <td·valign="middle"·align="left">·&nbsp;·</td>
107 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>107 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
108 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Up·section">·Up·</a>]</td>108 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Up·section">·Up·</a>]</td>
109 <td·valign="middle"·align="left">[·&gt;&gt;·]</td>109 <td·valign="middle"·align="left">[·&gt;&gt;·]</td>
110 </tr></table>110 </tr></table>
111 <p>111 <p>
112 ·<font·size="-1">112 ·<font·size="-1">
113 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.113 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
114 ·</font>114 ·</font>
115 ·<br>115 ·<br>
  
116 </p>116 </p>
117 </body>117 </body>
118 </html>118 </html>
950 B
./usr/share/doc/libapron-dev/html/apron_5.html
    
Offset 346, 14 lines modifiedOffset 346, 14 lines modified
346 <td·valign="middle"·align="left">·&nbsp;·</td>346 <td·valign="middle"·align="left">·&nbsp;·</td>
347 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>347 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
348 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Up·section">·Up·</a>]</td>348 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Up·section">·Up·</a>]</td>
349 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Next·chapter">·&gt;&gt;·</a>]</td>349 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Next·chapter">·&gt;&gt;·</a>]</td>
350 </tr></table>350 </tr></table>
351 <p>351 <p>
352 ·<font·size="-1">352 ·<font·size="-1">
353 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.353 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
354 ·</font>354 ·</font>
355 ·<br>355 ·<br>
  
356 </p>356 </p>
357 </body>357 </body>
358 </html>358 </html>
950 B
./usr/share/doc/libapron-dev/html/apron_6.html
    
Offset 159, 14 lines modifiedOffset 159, 14 lines modified
159 <td·valign="middle"·align="left">·&nbsp;·</td>159 <td·valign="middle"·align="left">·&nbsp;·</td>
160 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>160 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
161 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Up·section">·Up·</a>]</td>161 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Up·section">·Up·</a>]</td>
162 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Next·chapter">·&gt;&gt;·</a>]</td>162 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Next·chapter">·&gt;&gt;·</a>]</td>
163 </tr></table>163 </tr></table>
164 <p>164 <p>
165 ·<font·size="-1">165 ·<font·size="-1">
166 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.166 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
167 ·</font>167 ·</font>
168 ·<br>168 ·<br>
  
169 </p>169 </p>
170 </body>170 </body>
171 </html>171 </html>
928 B
./usr/share/doc/libapron-dev/html/apron_7.html
    
Offset 77, 14 lines modifiedOffset 77, 14 lines modified
77 <td·valign="middle"·align="left">·&nbsp;·</td>77 <td·valign="middle"·align="left">·&nbsp;·</td>
78 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>78 <td·valign="middle"·align="left">[<a·href="apron_3.html#APRON-Rationale-and-Functionalities"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
79 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>79 <td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Up·section">·Up·</a>]</td>
80 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Next·chapter">·&gt;&gt;·</a>]</td>80 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Next·chapter">·&gt;&gt;·</a>]</td>
81 </tr></table>81 </tr></table>
82 <p>82 <p>
83 ·<font·size="-1">83 ·<font·size="-1">
84 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.84 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
85 ·</font>85 ·</font>
86 ·<br>86 ·<br>
  
87 </p>87 </p>
88 </body>88 </body>
89 </html>89 </html>
924 B
./usr/share/doc/libapron-dev/html/apron_8.html
    
Offset 71, 14 lines modifiedOffset 71, 14 lines modified
71 <td·valign="middle"·align="left">·&nbsp;·</td>71 <td·valign="middle"·align="left">·&nbsp;·</td>
72 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>72 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
73 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Up·section">·Up·</a>]</td>73 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Up·section">·Up·</a>]</td>
74 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Next·chapter">·&gt;&gt;·</a>]</td>74 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Next·chapter">·&gt;&gt;·</a>]</td>
75 </tr></table>75 </tr></table>
76 <p>76 <p>
77 ·<font·size="-1">77 ·<font·size="-1">
78 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.78 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
79 ·</font>79 ·</font>
80 ·<br>80 ·<br>
  
81 </p>81 </p>
82 </body>82 </body>
83 </html>83 </html>
922 B
./usr/share/doc/libapron-dev/html/apron_9.html
    
Offset 414, 14 lines modifiedOffset 414, 14 lines modified
414 <td·valign="middle"·align="left">·&nbsp;·</td>414 <td·valign="middle"·align="left">·&nbsp;·</td>
415 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>415 <td·valign="middle"·align="left">[<a·href="apron_7.html#APRON-Guidelines"·title="Beginning·of·this·chapter·or·previous·chapter">·&lt;&lt;·</a>]</td>
416 <td·valign="middle"·align="left">[<a·href="#C-Programming-Guidelines"·title="Up·section">·Up·</a>]</td>416 <td·valign="middle"·align="left">[<a·href="#C-Programming-Guidelines"·title="Up·section">·Up·</a>]</td>
417 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Next·chapter">·&gt;&gt;·</a>]</td>417 <td·valign="middle"·align="left">[<a·href="apron_12.html#Managers-and-Abstract-Domains"·title="Next·chapter">·&gt;&gt;·</a>]</td>
418 </tr></table>418 </tr></table>
419 <p>419 <p>
420 ·<font·size="-1">420 ·<font·size="-1">
421 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.421 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
422 ·</font>422 ·</font>
423 ·<br>423 ·<br>
  
424 </p>424 </p>
425 </body>425 </body>
426 </html>426 </html>
1.65 KB
./usr/share/doc/libapron-dev/html/apron_abt.html
    
Offset 46, 15 lines modifiedOffset 46, 15 lines modified
46 <tr><td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Cover·(top)·of·document">Top</a>]</td>46 <tr><td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Cover·(top)·of·document">Top</a>]</td>
47 <td·valign="middle"·align="left">[Contents]</td>47 <td·valign="middle"·align="left">[Contents]</td>
48 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Index">Index</a>]</td>48 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Index">Index</a>]</td>
49 <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td>49 <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td>
50 </tr></table>50 </tr></table>
51 <h1>About·This·Document</h1>51 <h1>About·This·Document</h1>
52 <p>52 <p>
53 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.53 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
54 </p>54 </p>
55 <p>55 <p>
56 ··The·buttons·in·the·navigation·panels·have·the·following·meaning:56 ··The·buttons·in·the·navigation·panels·have·the·following·meaning:
57 </p>57 </p>
58 <table·border="1">58 <table·border="1">
59 ··<tr>59 ··<tr>
60 ····<th>·Button·</th>60 ····<th>·Button·</th>
Offset 154, 14 lines modifiedOffset 154, 14 lines modified
154 <tr><td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Cover·(top)·of·document">Top</a>]</td>154 <tr><td·valign="middle"·align="left">[<a·href="apron.html#Top"·title="Cover·(top)·of·document">Top</a>]</td>
155 <td·valign="middle"·align="left">[Contents]</td>155 <td·valign="middle"·align="left">[Contents]</td>
156 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Index">Index</a>]</td>156 <td·valign="middle"·align="left">[<a·href="apron_42.html#Appendices"·title="Index">Index</a>]</td>
157 <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td>157 <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td>
158 </tr></table>158 </tr></table>
159 <p>159 <p>
160 ·<font·size="-1">160 ·<font·size="-1">
161 ··This·document·was·generated·on·<i>August·3,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·1.82</i></a>.161 ··This·document·was·generated·by·<em>second·user</em>·on·<em>August·3,·2016</em>·using·<a·href="http://www.nongnu.org/texi2html/"><em>texi2html·1.82</em></a>.
162 ·</font>162 ·</font>
163 ·<br>163 ·<br>
  
164 </p>164 </p>
165 </body>165 </body>
166 </html>166 </html>