Skip to content

Commit

Permalink
Processed Jurriaan's comments on Chapter 3 and 4 of my master's thesis.
Browse files Browse the repository at this point in the history
  • Loading branch information
@a-middelk
a-middelk committed Sep 4, 2006
1 parent 3e96230 commit 075a843
Show file tree
Hide file tree
Showing 16 changed files with 1,394 additions and 562 deletions.
32 changes: 32 additions & 0 deletions EHC/figs/conflict-lattice.fig
View file
@@ -0,0 +1,32 @@
#FIG 3.2
Landscape
Center
Inches
Letter
100.00
Single
-2
1200 2
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
1425 2175 1050 2925
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
1050 3225 2025 3975
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3525 3225 2400 3975
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3225 2175 3600 2925
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
1650 2025 3075 2025
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
1200 3075 3450 3075
4 0 0 50 -1 0 12 0.0000 4 135 90 3150 2100 1\001
4 0 0 50 -1 0 12 0.0000 4 135 90 1500 2100 0\001
4 0 0 50 -1 0 12 0.0000 4 135 150 900 3150 1-\001
4 0 0 50 -1 0 12 0.0000 4 135 195 3600 3150 1+\001
4 0 0 50 -1 0 12 0.0000 4 75 90 2175 4200 *\001
26 changes: 26 additions & 0 deletions EHC/figs/specific-lattice.fig
View file
@@ -0,0 +1,26 @@
#FIG 3.2
Landscape
Center
Inches
Letter
100.00
Single
-2
1200 2
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2250 3150 2625 2775
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2250 3825 2250 3525
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3300 3150 2925 2775
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3300 3825 3300 3525
4 0 0 50 -1 0 12 0.0000 4 135 90 3300 4050 1\001
4 0 0 50 -1 0 12 0.0000 4 135 90 2250 4050 0\001
4 0 0 50 -1 0 12 0.0000 4 135 195 2175 3450 1+\001
4 0 0 50 -1 0 12 0.0000 4 135 150 3225 3450 1-\001
4 0 0 50 -1 0 12 0.0000 4 75 90 2775 2850 *\001
15 changes: 12 additions & 3 deletions EHC/figs/unq-graph.fig
View file
Expand Up @@ -15,6 +15,9 @@ Single
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1650 1275 300 300 1650 1275 1950 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 1275 300 300 3750 1275 4050 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 3450 300 300 3750 3450 4050 3450
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1650 1275 225 225 1650 1275 1875 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2250 2325 225 225 2250 2325 2475 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 3450 225 225 3750 3450 3975 3450
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
1950 1275 3450 1275
Expand All @@ -29,14 +32,20 @@ Single
3825 3150 3825 1575
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2325 2625 2925 3000
2930 2992 3455 3292
2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
2775 2850 2925 2850 2925 3000 2775 3000 2775 2850
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3150 2625 2925 3000
2475 2550 2775 2850
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2925 3000 3450 3300
3114 2523 2889 2823
4 0 0 50 -1 0 16 0.0000 4 120 105 1575 1350 a\001
4 0 0 50 -1 0 16 0.0000 4 165 120 3675 1350 b\001
4 0 0 50 -1 0 16 0.0000 4 165 120 3225 2400 d\001
4 0 0 50 -1 0 16 0.0000 4 120 105 3675 3525 e\001
4 0 0 50 -1 0 12 0.0000 4 135 90 3900 2475 h\001
4 0 0 50 -1 0 12 0.0000 4 135 90 3375 1800 h\001
4 0 0 50 -1 0 12 0.0000 4 135 90 2850 1800 h\001
4 0 0 50 -1 0 12 0.0000 4 90 90 2625 1200 s\001
70 changes: 70 additions & 0 deletions EHC/figs/unq-graph2.fig
View file
@@ -0,0 +1,70 @@
#FIG 3.2
Landscape
Center
Inches
Letter
100.00
Single
-2
1200 2
6 2175 2250 2325 2400
4 0 0 50 -1 0 16 0.0000 4 120 105 2175 2400 c\001
-6
6 6000 2250 6150 2400
4 0 0 50 -1 0 16 0.0000 4 120 105 6000 2400 c\001
-6
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 2325 300 300 3300 2325 3600 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2250 2325 300 300 2250 2325 2550 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1650 1275 300 300 1650 1275 1950 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 1275 300 300 3750 1275 4050 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 3450 300 300 3750 3450 4050 3450
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1650 1275 225 225 1650 1275 1875 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2250 2325 225 225 2250 2325 2475 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 3450 225 225 3750 3450 3975 3450
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 5475 1275 225 225 5475 1275 5700 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 5475 1275 300 300 5475 1275 5775 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6075 2325 225 225 6075 2325 6300 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6075 2325 300 300 6075 2325 6375 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 7200 1875 225 225 7200 1875 7425 1875
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 7200 1875 300 300 7200 1875 7500 1875
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
1950 1275 3450 1275
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3466 1448 2491 2123
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3600 1575 3450 2025
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3825 3150 3825 1575
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2930 2992 3455 3292
2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
2775 2850 2925 2850 2925 3000 2775 3000 2775 2850
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2475 2550 2775 2850
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3114 2523 2889 2823
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
5625 1575 5925 2025
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
6900 2025 6375 2250
4 0 0 50 -1 0 16 0.0000 4 120 105 1575 1350 a\001
4 0 0 50 -1 0 16 0.0000 4 165 120 3675 1350 b\001
4 0 0 50 -1 0 16 0.0000 4 165 120 3225 2400 d\001
4 0 0 50 -1 0 16 0.0000 4 120 105 3675 3525 e\001
4 0 0 50 -1 0 12 0.0000 4 135 90 3900 2475 h\001
4 0 0 50 -1 0 12 0.0000 4 135 90 3375 1800 h\001
4 0 0 50 -1 0 16 0.0000 4 120 105 5400 1350 a\001
4 0 0 50 -1 0 16 0.0000 4 120 105 7125 1950 e\001
4 0 0 50 -1 0 12 0.0000 4 135 90 2850 1800 h\001
4 0 0 50 -1 0 12 0.0000 4 90 90 5625 1875 s\001
4 0 0 50 -1 0 12 0.0000 4 135 90 6600 2025 h\001
4 0 0 50 -1 0 12 0.0000 4 90 90 2625 1200 s\001
74 changes: 74 additions & 0 deletions EHC/figs/unq-graph3.fig
View file
@@ -0,0 +1,74 @@
#FIG 3.2
Landscape
Center
Inches
Letter
100.00
Single
-2
1200 2
6 2175 2250 2325 2400
4 0 0 50 -1 0 16 0.0000 4 120 105 2175 2400 c\001
-6
6 6600 1200 6750 1350
4 0 0 50 -1 0 16 0.0000 4 120 105 6600 1350 c\001
-6
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 2325 300 300 3300 2325 3600 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2250 2325 300 300 2250 2325 2550 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1650 1275 300 300 1650 1275 1950 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 1275 300 300 3750 1275 4050 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 3450 300 300 3750 3450 4050 3450
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1650 1275 225 225 1650 1275 1875 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2250 2325 225 225 2250 2325 2475 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 3450 225 225 3750 3450 3975 3450
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 5475 1275 225 225 5475 1275 5700 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 5475 1275 300 300 5475 1275 5775 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6675 1275 225 225 6675 1275 6900 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6666 1277 300 300 6666 1277 6966 1277
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6066 2552 300 300 6066 2552 6366 2552
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6063 2554 225 225 6063 2554 6288 2554
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
1950 1275 3450 1275
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3466 1448 2491 2123
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3600 1575 3450 2025
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3825 3150 3825 1575
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2930 2992 3455 3292
2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
2775 2850 2925 2850 2925 3000 2775 3000 2775 2850
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2475 2550 2775 2850
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3114 2523 2889 2823
2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
6000 1800 6150 1800 6150 1950 6000 1950 6000 1800
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
5625 1575 6000 1800
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
6450 1500 6150 1800
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
6075 1950 6075 2250
4 0 0 50 -1 0 16 0.0000 4 120 105 1575 1350 a\001
4 0 0 50 -1 0 16 0.0000 4 165 120 3675 1350 b\001
4 0 0 50 -1 0 16 0.0000 4 165 120 3225 2400 d\001
4 0 0 50 -1 0 16 0.0000 4 120 105 3675 3525 e\001
4 0 0 50 -1 0 12 0.0000 4 135 90 3900 2475 h\001
4 0 0 50 -1 0 12 0.0000 4 135 90 3375 1800 h\001
4 0 0 50 -1 0 16 0.0000 4 120 105 5400 1350 a\001
4 0 0 50 -1 0 12 0.0000 4 135 90 2850 1800 h\001
4 0 0 50 -1 0 12 0.0000 4 90 90 2625 1200 s\001
4 0 0 50 -1 0 12 0.0000 4 90 90 5625 1800 s\001
4 0 0 50 -1 0 16 0.0000 4 120 105 6000 2625 e\001
114 changes: 114 additions & 0 deletions EHC/figs/unq-graph4.fig
View file
@@ -0,0 +1,114 @@
#FIG 3.2
Landscape
Center
Inches
Letter
100.00
Single
-2
1200 2
6 2175 2250 2325 2400
4 0 0 50 -1 0 16 0.0000 4 120 105 2175 2400 c\001
-6
6 6600 1200 6750 1350
4 0 0 50 -1 0 16 0.0000 4 120 105 6600 1350 c\001
-6
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 2325 300 300 3300 2325 3600 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2250 2325 300 300 2250 2325 2550 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1650 1275 300 300 1650 1275 1950 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 1275 300 300 3750 1275 4050 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 3450 300 300 3750 3450 4050 3450
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1650 1275 225 225 1650 1275 1875 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2250 2325 225 225 2250 2325 2475 2325
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3750 3450 225 225 3750 3450 3975 3450
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 5475 1275 225 225 5475 1275 5700 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 5475 1275 300 300 5475 1275 5775 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6675 1275 225 225 6675 1275 6900 1275
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6666 1277 300 300 6666 1277 6966 1277
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6066 2552 300 300 6066 2552 6366 2552
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6063 2554 225 225 6063 2554 6288 2554
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 7945 1998 225 225 7945 1998 8170 1998
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 9171 2012 225 225 9171 2012 9396 2012
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 7955 2001 300 300 7955 2001 8255 2001
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 9170 2016 300 300 9170 2016 9470 2016
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 7951 1070 300 300 7951 1070 8251 1070
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 7947 1082 225 225 7947 1082 8172 1082
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 8580 3285 300 300 8580 3285 8880 3285
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 8577 3294 225 225 8577 3294 8802 3294
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
1950 1275 3450 1275
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3466 1448 2491 2123
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3600 1575 3450 2025
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3825 3150 3825 1575
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2930 2992 3455 3292
2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
2775 2850 2925 2850 2925 3000 2775 3000 2775 2850
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
2475 2550 2775 2850
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
3114 2523 2889 2823
2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
6000 1800 6150 1800 6150 1950 6000 1950 6000 1800
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
5625 1575 6000 1800
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
6450 1500 6150 1800
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
6075 1950 6075 2250
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
5775 1275 6375 1275
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
6300 2325 6600 1575
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
8100 2280 8475 2505
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
8947 2212 8647 2512
2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5
8505 2505 8655 2505 8655 2655 8505 2655 8505 2505
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
8580 2670 8580 2970
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
7950 1380 7950 1680
2 1 1 1 0 7 50 -1 -1 4.000 0 0 -1 1 0 2
0 0 1.00 60.00 120.00
6075 1875 7455 1875
4 0 0 50 -1 0 16 0.0000 4 120 105 1575 1350 a\001
4 0 0 50 -1 0 16 0.0000 4 165 120 3675 1350 b\001
4 0 0 50 -1 0 16 0.0000 4 165 120 3225 2400 d\001
4 0 0 50 -1 0 16 0.0000 4 120 105 3675 3525 e\001
4 0 0 50 -1 0 12 0.0000 4 135 90 3900 2475 h\001
4 0 0 50 -1 0 12 0.0000 4 135 90 3375 1800 h\001
4 0 0 50 -1 0 16 0.0000 4 120 105 5400 1350 a\001
4 0 0 50 -1 0 12 0.0000 4 135 90 2850 1800 h\001
4 0 0 50 -1 0 12 0.0000 4 90 90 2625 1200 s\001
4 0 0 50 -1 0 16 0.0000 4 120 105 6000 2625 e\001
4 0 0 50 -1 0 12 0.0000 4 90 90 6000 1200 s\001
4 0 0 50 -1 0 12 0.0000 4 135 90 6450 2175 h\001
4 0 0 50 -1 0 16 0.0000 4 165 90 7905 2085 f\001
4 0 0 50 -1 0 16 0.0000 4 120 105 9135 2115 c\001
4 0 0 50 -1 0 16 0.0000 4 120 105 8520 3360 e\001
4 0 0 50 -1 0 16 0.0000 4 120 105 7890 1140 a\001
4 0 0 50 -1 0 16 0.0000 4 120 90 7770 1605 s\001
4 0 0 50 -1 0 12 0.0000 4 180 600 1845 3345 graph G\001
4 0 0 50 -1 0 12 0.0000 4 180 585 5715 3090 graph R\001
4 0 0 50 -1 0 12 0.0000 4 180 600 7770 2820 graph X\001

0 comments on commit 075a843

Please sign in to comment.