<!--
  - Authors:
  -   Christian Schulte <schulte@ps.uni-sb.de>
  -   Gert Smolka <smolka@dfki.de>
  -   Jörg Würtz
  -
  - Contributors:
  -   Daniel Simon <dansim@ps.uni-sb.de>
  -   Andy Walter <anwalt@ps.uni-sb.de>
  -   
  - Copyright:
  -   Christian Schulte, 1998
  -   Gert Smolka, 1998
  -   Jörg Würtz, 1997
  -
  - Last change:
  -   $Date: 1999/09/10 12:00:29 $ by $Author: schulte $
  -   $Revision: 1.6 $
  -
  - This file is part of Mozart, an implementation
  - of Oz 3
  -    http://www.mozart-oz.org
  -
  - See the file "LICENSE" or
  -    http://www.mozart-oz.org/LICENSE.html
  - for information on usage and redistribution
  - of this file, and for a DISCLAIMER OF ALL
  - WARRANTIES.
  -
  -->

<appendix id=appendix.data>
  <title/Example Data/

<p> The following appendix features some data specifications omitted
in the chapters' text.

<section class=unnumbered id="section.data.scheduling">
  <title/Scheduling/

<p>
<chunk id=data.bridge><title/Bridge task specification/
[pa(dur: 0)
 a1(dur: 4 pre:[pa] res:excavator)
 a2(dur: 2 pre:[pa] res:excavator)
 a3(dur: 2 pre:[pa] res:excavator)
 a4(dur: 2 pre:[pa] res:excavator)
 a5(dur: 2 pre:[pa] res:excavator)
 a6(dur: 5 pre:[pa] res:excavator)
 p1(dur:20 pre:[a3] res:pileDriver)
 p2(dur:13 pre:[a4] res:pileDriver)
 ue(dur:10 pre:[pa])
 s1(dur: 8 pre:[a1] res:carpentry)
 s2(dur: 4 pre:[a2] res:carpentry)
 s3(dur: 4 pre:[p1] res:carpentry)
 s4(dur: 4 pre:[p2] res:carpentry)
 s5(dur: 4 pre:[a5] res:carpentry)
 s6(dur:10 pre:[a6] res:carpentry)
 b1(dur: 1 pre:[s1] res:concreteMixer)
 b2(dur: 1 pre:[s2] res:concreteMixer)
 b3(dur: 1 pre:[s3] res:concreteMixer)
 b4(dur: 1 pre:[s4] res:concreteMixer)
 b5(dur: 1 pre:[s5] res:concreteMixer)
 b6(dur: 1 pre:[s6] res:concreteMixer)
 ab1(dur:1 pre:[b1])
 ab2(dur:1 pre:[b2])
 ab3(dur:1 pre:[b3])
 ab4(dur:1 pre:[b4])
 ab5(dur:1 pre:[b5])
 ab6(dur:1 pre:[b6])
 m1(dur:16 pre:[ab1] res:bricklaying)
 m2(dur: 8 pre:[ab2] res:bricklaying)
 m3(dur: 8 pre:[ab3] res:bricklaying)
 m4(dur: 8 pre:[ab4] res:bricklaying)
 m5(dur: 8 pre:[ab5] res:bricklaying)
 m6(dur:20 pre:[ab6] res:bricklaying)
 l(dur:  2 res:crane)
 t1(dur:12 pre:[m1 m2 l] res:crane)
 t2(dur:12 pre:[m2 m3 l] res:crane)
 t3(dur:12 pre:[m3 m4 l] res:crane)
 t4(dur:12 pre:[m4 m5 l] res:crane)
 t5(dur:12 pre:[m5 m6 l] res:crane)
 ua(dur:10)
 v1(dur:15 pre:[t1] res:caterpillar)
 v2(dur:10 pre:[t5] res:caterpillar)
 pe(dur: 0 pre:[t2 t3 t4 v1 v2 ua])]
</chunk>

<p>
<chunk id=data.abz6><title/ABZ6 Specification/
abz6(tasks:
[pa(dur: 0) 
 a1(dur:62  pre:[pa] res:m7) a2(dur:24  pre:[a1] res:m8) 
 a3(dur:25  pre:[a2] res:m5) a4(dur:84  pre:[a3] res:m3) 
 a5(dur:47  pre:[a4] res:m4) a6(dur:38  pre:[a5] res:m6) 
 a7(dur:82  pre:[a6] res:m2) a8(dur:93  pre:[a7] res:m0) 
 a9(dur:24  pre:[a8] res:m9) a10(dur:66 pre:[a9] res:m1) 
 b1(dur:47  pre:[pa] res:m5) b2(dur:97  pre:[b1] res:m2) 
 b3(dur:92  pre:[b2] res:m8) b4(dur:22  pre:[b3] res:m9) 
 b5(dur:93  pre:[b4] res:m1) b6(dur:29  pre:[b5] res:m4) 
 b7(dur:56  pre:[b6] res:m7) b8(dur:80  pre:[b7] res:m3) 
 b9(dur:78  pre:[b8] res:m0) b10(dur:67 pre:[b9] res:m6) 
 c1(dur:45  pre:[pa] res:m1) c2(dur:46  pre:[c1] res:m7) 
 c3(dur:22  pre:[c2] res:m6) c4(dur:26  pre:[c3] res:m2) 
 c5(dur:38  pre:[c4] res:m9) c6(dur:69  pre:[c5] res:m0) 
 c7(dur:40  pre:[c6] res:m4) c8(dur:33  pre:[c7] res:m3) 
 c9(dur:75  pre:[c8] res:m8) c10(dur:96 pre:[c9] res:m5) 
 d1(dur:85  pre:[pa] res:m4) d2(dur:76  pre:[d1] res:m8) 
 d3(dur:68  pre:[d2] res:m5) d4(dur:88  pre:[d3] res:m9) 
 d5(dur:36  pre:[d4] res:m3) d6(dur:75  pre:[d5] res:m6) 
 d7(dur:56  pre:[d6] res:m2) d8(dur:35  pre:[d7] res:m1) 
 d9(dur:77  pre:[d8] res:m0) d10(dur:85 pre:[d9] res:m7) 
 e1(dur:60  pre:[pa] res:m8) e2(dur:20  pre:[e1] res:m9) 
 e3(dur:25  pre:[e2] res:m7) e4(dur:63  pre:[e3] res:m3) 
 e5(dur:81  pre:[e4] res:m4) e6(dur:52  pre:[e5] res:m0) 
 e7(dur:30  pre:[e6] res:m1) e8(dur:98  pre:[e7] res:m5) 
 e9(dur:54  pre:[e8] res:m6) e10(dur:86 pre:[e9] res:m2) 
 f1(dur:87  pre:[pa] res:m3) f2(dur:73  pre:[f1] res:m9) 
 f3(dur:51  pre:[f2] res:m5) f4(dur:95  pre:[f3] res:m2) 
 f5(dur:65  pre:[f4] res:m4) f6(dur:86  pre:[f5] res:m1) 
 f7(dur:22  pre:[f6] res:m6) f8(dur:58  pre:[f7] res:m8) 
 f9(dur:80  pre:[f8] res:m0) f10(dur:65 pre:[f9] res:m7) 
 g1(dur:81  pre:[pa] res:m5) g2(dur:53  pre:[g1] res:m2) 
 g3(dur:57  pre:[g2] res:m7) g4(dur:71  pre:[g3] res:m6) 
 g5(dur:81  pre:[g4] res:m9) g6(dur:43  pre:[g5] res:m0) 
 g7(dur:26  pre:[g6] res:m4) g8(dur:54  pre:[g7] res:m8) 
 g9(dur:58  pre:[g8] res:m3) g10(dur:69 pre:[g9] res:m1) 
 h1(dur:20  pre:[pa] res:m4) h2(dur:86  pre:[h1] res:m6) 
 h3(dur:21  pre:[h2] res:m5) h4(dur:79  pre:[h3] res:m8) 
 h5(dur:62  pre:[h4] res:m9) h6(dur:34  pre:[h5] res:m2) 
 h7(dur:27  pre:[h6] res:m0) h8(dur:81  pre:[h7] res:m1) 
 h9(dur:30  pre:[h8] res:m7) h10(dur:46 pre:[h9] res:m3) 
 i1(dur:68  pre:[pa] res:m9) i2(dur:66  pre:[i1] res:m6) 
 i3(dur:98  pre:[i2] res:m5) i4(dur:86  pre:[i3] res:m8) 
 i5(dur:66  pre:[i4] res:m7) i6(dur:56  pre:[i5] res:m0) 
 i7(dur:82  pre:[i6] res:m3) i8(dur:95  pre:[i7] res:m1) 
 i9(dur:47  pre:[i8] res:m4) i10(dur:78 pre:[i9] res:m2) 
 j1(dur:30  pre:[pa] res:m0) j2(dur:50  pre:[j1] res:m3) 
 j3(dur:34  pre:[j2] res:m7) j4(dur:58  pre:[j3] res:m2) 
 j5(dur:77  pre:[j4] res:m1) j6(dur:34  pre:[j5] res:m5) 
 j7(dur:84  pre:[j6] res:m8) j8(dur:40  pre:[j7] res:m4) 
 j9(dur:46  pre:[j8] res:m9) j10(dur:44 pre:[j9] res:m6)
 pe(dur:0 pre:[a10 b10 c10 d10 e10 f10 g10 h10 i10 j10])])
</chunk>

<p>
<chunk id=data.mt10><title/MT10 Specification/
mt10(tasks:
[pa(dur:0)
 a1(dur:29  pre:[pa] res:m1)  a2(dur:78  pre:[a1] res:m2) 
 a3(dur: 9  pre:[a2] res:m3)  a4(dur:36  pre:[a3] res:m4) 
 a5(dur:49  pre:[a4] res:m5)  a6(dur:11  pre:[a5] res:m6) 
 a7(dur:62  pre:[a6] res:m7)  a8(dur:56  pre:[a7] res:m8) 
 a9(dur:44  pre:[a8] res:m9)  a10(dur:21 pre:[a9] res:m10) 
 b1(dur:43  pre:[pa] res:m1)  b2(dur:90  pre:[b1] res:m3) 
 b3(dur:75  pre:[b2] res:m5)  b4(dur:11  pre:[b3] res:m10) 
 b5(dur:69  pre:[b4] res:m4)  b6(dur:28  pre:[b5] res:m2) 
 b7(dur:46  pre:[b6] res:m7)  b8(dur:46  pre:[b7] res:m6) 
 b9(dur:72  pre:[b8] res:m8)  b10(dur:30 pre:[b9] res:m9) 
 c1(dur:91  pre:[pa] res:m2)  c2(dur:85  pre:[c1] res:m1) 
 c3(dur:39  pre:[c2] res:m4)  c4(dur:74  pre:[c3] res:m3) 
 c5(dur:90  pre:[c4] res:m9)  c6(dur:10  pre:[c5] res:m6) 
 c7(dur:12  pre:[c6] res:m8)  c8(dur:89  pre:[c7] res:m7) 
 c9(dur:45  pre:[c8] res:m10) c10(dur:33 pre:[c9] res:m5) 
 d1(dur:81  pre:[pa] res:m2)  d2(dur:95  pre:[d1] res:m3) 
 d3(dur:71  pre:[d2] res:m1)  d4(dur:99  pre:[d3] res:m5) 
 d5(dur: 9  pre:[d4] res:m7)  d6(dur:52  pre:[d5] res:m9) 
 d7(dur:85  pre:[d6] res:m8)  d8(dur:98  pre:[d7] res:m4) 
 d9(dur:22  pre:[d8] res:m10) d10(dur:43 pre:[d9] res:m6) 
 e1(dur:14  pre:[pa] res:m3)  e2(dur: 6  pre:[e1] res:m1) 
 e3(dur:22  pre:[e2] res:m2)  e4(dur:61  pre:[e3] res:m6) 
 e5(dur:26  pre:[e4] res:m4)  e6(dur:69  pre:[e5] res:m5) 
 e7(dur:21  pre:[e6] res:m9)  e8(dur:49  pre:[e7] res:m8) 
 e9(dur:72  pre:[e8] res:m10) e10(dur:53 pre:[e9] res:m7) 
 f1(dur:84  pre:[pa] res:m3)  f2(dur: 2  pre:[f1] res:m2) 
 f3(dur:52  pre:[f2] res:m6)  f4(dur:95  pre:[f3] res:m4) 
 f5(dur:48  pre:[f4] res:m9)  f6(dur:72  pre:[f5] res:m10) 
 f7(dur:47  pre:[f6] res:m1)  f8(dur:65  pre:[f7] res:m7) 
 f9(dur: 6  pre:[f8] res:m5)  f10(dur:25 pre:[f9] res:m8) 
 g1(dur:46  pre:[pa] res:m2)  g2(dur:37  pre:[g1] res:m1) 
 g3(dur:61  pre:[g2] res:m4)  g4(dur:13  pre:[g3] res:m3) 
 g5(dur:32  pre:[g4] res:m7)  g6(dur:21  pre:[g5] res:m6) 
 g7(dur:32  pre:[g6] res:m10) g8(dur:89  pre:[g7] res:m9) 
 g9(dur:30  pre:[g8] res:m8)  g10(dur:55 pre:[g9] res:m5) 
 h1(dur:31  pre:[pa] res:m3)  h2(dur:86  pre:[h1] res:m1) 
 h3(dur:46  pre:[h2] res:m2)  h4(dur:74  pre:[h3] res:m6) 
 h5(dur:32  pre:[h4] res:m5)  h6(dur:88  pre:[h5] res:m7) 
 h7(dur:19  pre:[h6] res:m9)  h8(dur:48  pre:[h7] res:m10) 
 h9(dur:36  pre:[h8] res:m8)  h10(dur:79 pre:[h9] res:m4) 
 i1(dur:76  pre:[pa] res:m1)  i2(dur:69  pre:[i1] res:m2) 
 i3(dur:76  pre:[i2] res:m4)  i4(dur:51  pre:[i3] res:m6) 
 i5(dur:85  pre:[i4] res:m3)  i6(dur:11  pre:[i5] res:m10) 
 i7(dur:40  pre:[i6] res:m7)  i8(dur:89  pre:[i7] res:m8) 
 i9(dur:26  pre:[i8] res:m5)  i10(dur:74 pre:[i9] res:m9) 
 j1(dur:85  pre:[pa] res:m2)  j2(dur:13  pre:[j1] res:m1) 
 j3(dur:61  pre:[j2] res:m3)  j4(dur: 7  pre:[j3] res:m7) 
 j5(dur:64  pre:[j4] res:m9)  j6(dur:76  pre:[j5] res:m10) 
 j7(dur:47  pre:[j6] res:m6)  j8(dur:52  pre:[j7] res:m4) 
 j9(dur:90  pre:[j8] res:m5)  j10(dur:45 pre:[j9] res:m8) 
 pe(dur:0 pre:[a10 b10 c10 d10 e10 f10 g10 h10 i10 j10])])
</chunk>

<p id=data.optmt10>
<chunk><title/Definition of OptMT10/
OptMT10 = {AdjoinAt MT10 constraints
           proc {$ Start Dur}
	      Start.pe <: 930
           end}
</chunk>

</section>

</appendix>

