/usr/share/mozart/doc/fdt/node54.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>C Example Data</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node53.html#appendix.golden-rules"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="answers.html#label182">Next >></A></TD></TR></TABLE><DIV id="appendix.data"><H1><A name="appendix.data">C Example Data</A></H1><P> The following appendix features some data specifications omitted in the chapters' text. </P><DIV class="unnumbered" id="section.data.scheduling"><H2><A name="section.data.scheduling">Scheduling</A></H2><P></P><DL id="data.bridge"><DT><SPAN class="chunktitle"><SPAN class="chunkborder"><</SPAN><A name="label178">Bridge task specification</A><SPAN class="chunkborder">>=</SPAN></SPAN></DT><DD class="code"><CODE>[pa(dur: 0)<BR> a1(dur: 4 pre:[pa] res:excavator)<BR> a2(dur: 2 pre:[pa] res:excavator)<BR> a3(dur: 2 pre:[pa] res:excavator)<BR> a4(dur: 2 pre:[pa] res:excavator)<BR> a5(dur: 2 pre:[pa] res:excavator)<BR> a6(dur: 5 pre:[pa] res:excavator)<BR> p1(dur:20 pre:[a3] res:pileDriver)<BR> p2(dur:13 pre:[a4] res:pileDriver)<BR> ue(dur:10 pre:[pa])<BR> s1(dur: 8 pre:[a1] res:carpentry)<BR> s2(dur: 4 pre:[a2] res:carpentry)<BR> s3(dur: 4 pre:[p1] res:carpentry)<BR> s4(dur: 4 pre:[p2] res:carpentry)<BR> s5(dur: 4 pre:[a5] res:carpentry)<BR> s6(dur:10 pre:[a6] res:carpentry)<BR> b1(dur: 1 pre:[s1] res:concreteMixer)<BR> b2(dur: 1 pre:[s2] res:concreteMixer)<BR> b3(dur: 1 pre:[s3] res:concreteMixer)<BR> b4(dur: 1 pre:[s4] res:concreteMixer)<BR> b5(dur: 1 pre:[s5] res:concreteMixer)<BR> b6(dur: 1 pre:[s6] res:concreteMixer)<BR> ab1(dur:1 pre:[b1])<BR> ab2(dur:1 pre:[b2])<BR> ab3(dur:1 pre:[b3])<BR> ab4(dur:1 pre:[b4])<BR> ab5(dur:1 pre:[b5])<BR> ab6(dur:1 pre:[b6])<BR> m1(dur:16 pre:[ab1] res:bricklaying)<BR> m2(dur: 8 pre:[ab2] res:bricklaying)<BR> m3(dur: 8 pre:[ab3] res:bricklaying)<BR> m4(dur: 8 pre:[ab4] res:bricklaying)<BR> m5(dur: 8 pre:[ab5] res:bricklaying)<BR> m6(dur:20 pre:[ab6] res:bricklaying)<BR> l(dur: 2 res:crane)<BR> t1(dur:12 pre:[m1 m2 l] res:crane)<BR> t2(dur:12 pre:[m2 m3 l] res:crane)<BR> t3(dur:12 pre:[m3 m4 l] res:crane)<BR> t4(dur:12 pre:[m4 m5 l] res:crane)<BR> t5(dur:12 pre:[m5 m6 l] res:crane)<BR> ua(dur:10)<BR> v1(dur:15 pre:[t1] res:caterpillar)<BR> v2(dur:10 pre:[t5] res:caterpillar)<BR> pe(dur: 0 pre:[t2 t3 t4 v1 v2 ua])]</CODE></DD></DL><P> </P><P></P><DL id="data.abz6"><DT><SPAN class="chunktitle"><SPAN class="chunkborder"><</SPAN><A name="label179">ABZ6 Specification</A><SPAN class="chunkborder">>=</SPAN></SPAN></DT><DD class="code"><CODE>abz6(tasks:<BR>[pa(dur: 0) <BR> a1(dur:62 pre:[pa] res:m7) a2(dur:24 pre:[a1] res:m8) <BR> a3(dur:25 pre:[a2] res:m5) a4(dur:84 pre:[a3] res:m3) <BR> a5(dur:47 pre:[a4] res:m4) a6(dur:38 pre:[a5] res:m6) <BR> a7(dur:82 pre:[a6] res:m2) a8(dur:93 pre:[a7] res:m0) <BR> a9(dur:24 pre:[a8] res:m9) a10(dur:66 pre:[a9] res:m1) <BR> b1(dur:47 pre:[pa] res:m5) b2(dur:97 pre:[b1] res:m2) <BR> b3(dur:92 pre:[b2] res:m8) b4(dur:22 pre:[b3] res:m9) <BR> b5(dur:93 pre:[b4] res:m1) b6(dur:29 pre:[b5] res:m4) <BR> b7(dur:56 pre:[b6] res:m7) b8(dur:80 pre:[b7] res:m3) <BR> b9(dur:78 pre:[b8] res:m0) b10(dur:67 pre:[b9] res:m6) <BR> c1(dur:45 pre:[pa] res:m1) c2(dur:46 pre:[c1] res:m7) <BR> c3(dur:22 pre:[c2] res:m6) c4(dur:26 pre:[c3] res:m2) <BR> c5(dur:38 pre:[c4] res:m9) c6(dur:69 pre:[c5] res:m0) <BR> c7(dur:40 pre:[c6] res:m4) c8(dur:33 pre:[c7] res:m3) <BR> c9(dur:75 pre:[c8] res:m8) c10(dur:96 pre:[c9] res:m5) <BR> d1(dur:85 pre:[pa] res:m4) d2(dur:76 pre:[d1] res:m8) <BR> d3(dur:68 pre:[d2] res:m5) d4(dur:88 pre:[d3] res:m9) <BR> d5(dur:36 pre:[d4] res:m3) d6(dur:75 pre:[d5] res:m6) <BR> d7(dur:56 pre:[d6] res:m2) d8(dur:35 pre:[d7] res:m1) <BR> d9(dur:77 pre:[d8] res:m0) d10(dur:85 pre:[d9] res:m7) <BR> e1(dur:60 pre:[pa] res:m8) e2(dur:20 pre:[e1] res:m9) <BR> e3(dur:25 pre:[e2] res:m7) e4(dur:63 pre:[e3] res:m3) <BR> e5(dur:81 pre:[e4] res:m4) e6(dur:52 pre:[e5] res:m0) <BR> e7(dur:30 pre:[e6] res:m1) e8(dur:98 pre:[e7] res:m5) <BR> e9(dur:54 pre:[e8] res:m6) e10(dur:86 pre:[e9] res:m2) <BR> f1(dur:87 pre:[pa] res:m3) f2(dur:73 pre:[f1] res:m9) <BR> f3(dur:51 pre:[f2] res:m5) f4(dur:95 pre:[f3] res:m2) <BR> f5(dur:65 pre:[f4] res:m4) f6(dur:86 pre:[f5] res:m1) <BR> f7(dur:22 pre:[f6] res:m6) f8(dur:58 pre:[f7] res:m8) <BR> f9(dur:80 pre:[f8] res:m0) f10(dur:65 pre:[f9] res:m7) <BR> g1(dur:81 pre:[pa] res:m5) g2(dur:53 pre:[g1] res:m2) <BR> g3(dur:57 pre:[g2] res:m7) g4(dur:71 pre:[g3] res:m6) <BR> g5(dur:81 pre:[g4] res:m9) g6(dur:43 pre:[g5] res:m0) <BR> g7(dur:26 pre:[g6] res:m4) g8(dur:54 pre:[g7] res:m8) <BR> g9(dur:58 pre:[g8] res:m3) g10(dur:69 pre:[g9] res:m1) <BR> h1(dur:20 pre:[pa] res:m4) h2(dur:86 pre:[h1] res:m6) <BR> h3(dur:21 pre:[h2] res:m5) h4(dur:79 pre:[h3] res:m8) <BR> h5(dur:62 pre:[h4] res:m9) h6(dur:34 pre:[h5] res:m2) <BR> h7(dur:27 pre:[h6] res:m0) h8(dur:81 pre:[h7] res:m1) <BR> h9(dur:30 pre:[h8] res:m7) h10(dur:46 pre:[h9] res:m3) <BR> i1(dur:68 pre:[pa] res:m9) i2(dur:66 pre:[i1] res:m6) <BR> i3(dur:98 pre:[i2] res:m5) i4(dur:86 pre:[i3] res:m8) <BR> i5(dur:66 pre:[i4] res:m7) i6(dur:56 pre:[i5] res:m0) <BR> i7(dur:82 pre:[i6] res:m3) i8(dur:95 pre:[i7] res:m1) <BR> i9(dur:47 pre:[i8] res:m4) i10(dur:78 pre:[i9] res:m2) <BR> j1(dur:30 pre:[pa] res:m0) j2(dur:50 pre:[j1] res:m3) <BR> j3(dur:34 pre:[j2] res:m7) j4(dur:58 pre:[j3] res:m2) <BR> j5(dur:77 pre:[j4] res:m1) j6(dur:34 pre:[j5] res:m5) <BR> j7(dur:84 pre:[j6] res:m8) j8(dur:40 pre:[j7] res:m4) <BR> j9(dur:46 pre:[j8] res:m9) j10(dur:44 pre:[j9] res:m6)<BR> pe(dur:0 pre:[a10 b10 c10 d10 e10 f10 g10 h10 i10 j10])])</CODE></DD></DL><P> </P><P></P><DL id="data.mt10"><DT><SPAN class="chunktitle"><SPAN class="chunkborder"><</SPAN><A name="label180">MT10 Specification</A><SPAN class="chunkborder">>=</SPAN></SPAN></DT><DD class="code"><CODE>mt10(tasks:<BR>[pa(dur:0)<BR> a1(dur:29 pre:[pa] res:m1) a2(dur:78 pre:[a1] res:m2) <BR> a3(dur: 9 pre:[a2] res:m3) a4(dur:36 pre:[a3] res:m4) <BR> a5(dur:49 pre:[a4] res:m5) a6(dur:11 pre:[a5] res:m6) <BR> a7(dur:62 pre:[a6] res:m7) a8(dur:56 pre:[a7] res:m8) <BR> a9(dur:44 pre:[a8] res:m9) a10(dur:21 pre:[a9] res:m10) <BR> b1(dur:43 pre:[pa] res:m1) b2(dur:90 pre:[b1] res:m3) <BR> b3(dur:75 pre:[b2] res:m5) b4(dur:11 pre:[b3] res:m10) <BR> b5(dur:69 pre:[b4] res:m4) b6(dur:28 pre:[b5] res:m2) <BR> b7(dur:46 pre:[b6] res:m7) b8(dur:46 pre:[b7] res:m6) <BR> b9(dur:72 pre:[b8] res:m8) b10(dur:30 pre:[b9] res:m9) <BR> c1(dur:91 pre:[pa] res:m2) c2(dur:85 pre:[c1] res:m1) <BR> c3(dur:39 pre:[c2] res:m4) c4(dur:74 pre:[c3] res:m3) <BR> c5(dur:90 pre:[c4] res:m9) c6(dur:10 pre:[c5] res:m6) <BR> c7(dur:12 pre:[c6] res:m8) c8(dur:89 pre:[c7] res:m7) <BR> c9(dur:45 pre:[c8] res:m10) c10(dur:33 pre:[c9] res:m5) <BR> d1(dur:81 pre:[pa] res:m2) d2(dur:95 pre:[d1] res:m3) <BR> d3(dur:71 pre:[d2] res:m1) d4(dur:99 pre:[d3] res:m5) <BR> d5(dur: 9 pre:[d4] res:m7) d6(dur:52 pre:[d5] res:m9) <BR> d7(dur:85 pre:[d6] res:m8) d8(dur:98 pre:[d7] res:m4) <BR> d9(dur:22 pre:[d8] res:m10) d10(dur:43 pre:[d9] res:m6) <BR> e1(dur:14 pre:[pa] res:m3) e2(dur: 6 pre:[e1] res:m1) <BR> e3(dur:22 pre:[e2] res:m2) e4(dur:61 pre:[e3] res:m6) <BR> e5(dur:26 pre:[e4] res:m4) e6(dur:69 pre:[e5] res:m5) <BR> e7(dur:21 pre:[e6] res:m9) e8(dur:49 pre:[e7] res:m8) <BR> e9(dur:72 pre:[e8] res:m10) e10(dur:53 pre:[e9] res:m7) <BR> f1(dur:84 pre:[pa] res:m3) f2(dur: 2 pre:[f1] res:m2) <BR> f3(dur:52 pre:[f2] res:m6) f4(dur:95 pre:[f3] res:m4) <BR> f5(dur:48 pre:[f4] res:m9) f6(dur:72 pre:[f5] res:m10) <BR> f7(dur:47 pre:[f6] res:m1) f8(dur:65 pre:[f7] res:m7) <BR> f9(dur: 6 pre:[f8] res:m5) f10(dur:25 pre:[f9] res:m8) <BR> g1(dur:46 pre:[pa] res:m2) g2(dur:37 pre:[g1] res:m1) <BR> g3(dur:61 pre:[g2] res:m4) g4(dur:13 pre:[g3] res:m3) <BR> g5(dur:32 pre:[g4] res:m7) g6(dur:21 pre:[g5] res:m6) <BR> g7(dur:32 pre:[g6] res:m10) g8(dur:89 pre:[g7] res:m9) <BR> g9(dur:30 pre:[g8] res:m8) g10(dur:55 pre:[g9] res:m5) <BR> h1(dur:31 pre:[pa] res:m3) h2(dur:86 pre:[h1] res:m1) <BR> h3(dur:46 pre:[h2] res:m2) h4(dur:74 pre:[h3] res:m6) <BR> h5(dur:32 pre:[h4] res:m5) h6(dur:88 pre:[h5] res:m7) <BR> h7(dur:19 pre:[h6] res:m9) h8(dur:48 pre:[h7] res:m10) <BR> h9(dur:36 pre:[h8] res:m8) h10(dur:79 pre:[h9] res:m4) <BR> i1(dur:76 pre:[pa] res:m1) i2(dur:69 pre:[i1] res:m2) <BR> i3(dur:76 pre:[i2] res:m4) i4(dur:51 pre:[i3] res:m6) <BR> i5(dur:85 pre:[i4] res:m3) i6(dur:11 pre:[i5] res:m10) <BR> i7(dur:40 pre:[i6] res:m7) i8(dur:89 pre:[i7] res:m8) <BR> i9(dur:26 pre:[i8] res:m5) i10(dur:74 pre:[i9] res:m9) <BR> j1(dur:85 pre:[pa] res:m2) j2(dur:13 pre:[j1] res:m1) <BR> j3(dur:61 pre:[j2] res:m3) j4(dur: 7 pre:[j3] res:m7) <BR> j5(dur:64 pre:[j4] res:m9) j6(dur:76 pre:[j5] res:m10) <BR> j7(dur:47 pre:[j6] res:m6) j8(dur:52 pre:[j7] res:m4) <BR> j9(dur:90 pre:[j8] res:m5) j10(dur:45 pre:[j9] res:m8) <BR> pe(dur:0 pre:[a10 b10 c10 d10 e10 f10 g10 h10 i10 j10])])</CODE></DD></DL><P> </P><P id="data.optmt10"></P><DL><DT><SPAN class="chunktitle"><SPAN class="chunkborder"><</SPAN><A name="label181">Definition of OptMT10</A><SPAN class="chunkborder">>=</SPAN></SPAN></DT><DD class="code"><CODE>OptMT10 = {AdjoinAt MT10 constraints<BR> <SPAN class="keyword">proc</SPAN><SPAN class="variablename"> </SPAN>{<SPAN class="functionname">$</SPAN> Start Dur}<BR> Start<SPAN class="keyword">.</SPAN>pe <SPAN class="keyword"><:</SPAN> 930<BR> <SPAN class="keyword">end</SPAN>}</CODE></DD></DL><P> </P></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node53.html#appendix.golden-rules"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="answers.html#label182">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A> and <A href="http://www.ps.uni-sb.de/~smolka/">Gert Smolka</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|