/usr/share/mozart/doc/demo/node4.html

1
2

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>Example problems: Examples.oz</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="node3.html#code.jobshop.compiler">&lt;&lt; Prev</A></TD><TD><A href="jobshop.html">- Up -</A></TD><TD><A href="node5.html#code.jobshop.scheduler">Next &gt;&gt;</A></TD></TR></TABLE><DIV class="unnumbered" id="code.jobshop.examples"><H3><A name="code.jobshop.examples">Example problems: <CODE>Examples.oz</CODE></A></H3><P class="margin"><A href="JobShop/Examples.oz">Source File</A></P><P> </P><BLOCKQUOTE><PRE><SPAN class="keyword">functor</SPAN>&nbsp;<BR>&nbsp;<BR><SPAN class="keyword">export</SPAN>&nbsp;<BR>&nbsp;&nbsp;&nbsp;Mt10&nbsp;Small<BR>&nbsp;&nbsp;&nbsp;&nbsp;<BR><SPAN class="keyword">prepare</SPAN>&nbsp;<BR>&nbsp;<BR>&nbsp;&nbsp;&nbsp;Mt10&nbsp;&nbsp;=&nbsp;[[2<SPAN class="keyword">#</SPAN>1&nbsp;7<SPAN class="keyword">#</SPAN>2&nbsp;1<SPAN class="keyword">#</SPAN>3&nbsp;3<SPAN class="keyword">#</SPAN>4&nbsp;4<SPAN class="keyword">#</SPAN>5&nbsp;1<SPAN class="keyword">#</SPAN>6&nbsp;6<SPAN class="keyword">#</SPAN>7&nbsp;5<SPAN class="keyword">#</SPAN>8&nbsp;4<SPAN class="keyword">#</SPAN>9&nbsp;2<SPAN class="keyword">#</SPAN>10]&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[4<SPAN class="keyword">#</SPAN>1&nbsp;9<SPAN class="keyword">#</SPAN>3&nbsp;7<SPAN class="keyword">#</SPAN>5&nbsp;1<SPAN class="keyword">#</SPAN>10&nbsp;6<SPAN class="keyword">#</SPAN>4&nbsp;2<SPAN class="keyword">#</SPAN>2&nbsp;4<SPAN class="keyword">#</SPAN>7&nbsp;4<SPAN class="keyword">#</SPAN>6&nbsp;7<SPAN class="keyword">#</SPAN>8&nbsp;3<SPAN class="keyword">#</SPAN>9]&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[9<SPAN class="keyword">#</SPAN>2&nbsp;8<SPAN class="keyword">#</SPAN>1&nbsp;3<SPAN class="keyword">#</SPAN>4&nbsp;7<SPAN class="keyword">#</SPAN>3&nbsp;9<SPAN class="keyword">#</SPAN>9&nbsp;1<SPAN class="keyword">#</SPAN>6&nbsp;1<SPAN class="keyword">#</SPAN>8&nbsp;8<SPAN class="keyword">#</SPAN>7&nbsp;4<SPAN class="keyword">#</SPAN>10&nbsp;3<SPAN class="keyword">#</SPAN>5]&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[8<SPAN class="keyword">#</SPAN>2&nbsp;9<SPAN class="keyword">#</SPAN>3&nbsp;7<SPAN class="keyword">#</SPAN>1&nbsp;9<SPAN class="keyword">#</SPAN>5&nbsp;1<SPAN class="keyword">#</SPAN>7&nbsp;5<SPAN class="keyword">#</SPAN>9&nbsp;8<SPAN class="keyword">#</SPAN>8&nbsp;9<SPAN class="keyword">#</SPAN>4&nbsp;2<SPAN class="keyword">#</SPAN>10&nbsp;4<SPAN class="keyword">#</SPAN>6]&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[1<SPAN class="keyword">#</SPAN>3&nbsp;1<SPAN class="keyword">#</SPAN>1&nbsp;2<SPAN class="keyword">#</SPAN>2&nbsp;6<SPAN class="keyword">#</SPAN>6&nbsp;2<SPAN class="keyword">#</SPAN>4&nbsp;6<SPAN class="keyword">#</SPAN>5&nbsp;2<SPAN class="keyword">#</SPAN>9&nbsp;4<SPAN class="keyword">#</SPAN>8&nbsp;7<SPAN class="keyword">#</SPAN>10&nbsp;5<SPAN class="keyword">#</SPAN>7]&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[8<SPAN class="keyword">#</SPAN>3&nbsp;1<SPAN class="keyword">#</SPAN>2&nbsp;5<SPAN class="keyword">#</SPAN>6&nbsp;9<SPAN class="keyword">#</SPAN>4&nbsp;4<SPAN class="keyword">#</SPAN>9&nbsp;7<SPAN class="keyword">#</SPAN>10&nbsp;4<SPAN class="keyword">#</SPAN>1&nbsp;6<SPAN class="keyword">#</SPAN>7&nbsp;1<SPAN class="keyword">#</SPAN>5&nbsp;2<SPAN class="keyword">#</SPAN>8]&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[4<SPAN class="keyword">#</SPAN>2&nbsp;3<SPAN class="keyword">#</SPAN>1&nbsp;6<SPAN class="keyword">#</SPAN>4&nbsp;1<SPAN class="keyword">#</SPAN>3&nbsp;3<SPAN class="keyword">#</SPAN>7&nbsp;2<SPAN class="keyword">#</SPAN>6&nbsp;3<SPAN class="keyword">#</SPAN>10&nbsp;8<SPAN class="keyword">#</SPAN>9&nbsp;3<SPAN class="keyword">#</SPAN>8&nbsp;5<SPAN class="keyword">#</SPAN>5]&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[3<SPAN class="keyword">#</SPAN>3&nbsp;8<SPAN class="keyword">#</SPAN>1&nbsp;4<SPAN class="keyword">#</SPAN>2&nbsp;7<SPAN class="keyword">#</SPAN>6&nbsp;3<SPAN class="keyword">#</SPAN>5&nbsp;8<SPAN class="keyword">#</SPAN>7&nbsp;1<SPAN class="keyword">#</SPAN>9&nbsp;4<SPAN class="keyword">#</SPAN>10&nbsp;3<SPAN class="keyword">#</SPAN>8&nbsp;7<SPAN class="keyword">#</SPAN>4]&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[7<SPAN class="keyword">#</SPAN>1&nbsp;6<SPAN class="keyword">#</SPAN>2&nbsp;7<SPAN class="keyword">#</SPAN>4&nbsp;5<SPAN class="keyword">#</SPAN>6&nbsp;8<SPAN class="keyword">#</SPAN>3&nbsp;1<SPAN class="keyword">#</SPAN>10&nbsp;4<SPAN class="keyword">#</SPAN>7&nbsp;8<SPAN class="keyword">#</SPAN>8&nbsp;2<SPAN class="keyword">#</SPAN>5&nbsp;7<SPAN class="keyword">#</SPAN>9]&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[8<SPAN class="keyword">#</SPAN>2&nbsp;1<SPAN class="keyword">#</SPAN>1&nbsp;6<SPAN class="keyword">#</SPAN>3&nbsp;1<SPAN class="keyword">#</SPAN>7&nbsp;6<SPAN class="keyword">#</SPAN>9&nbsp;7<SPAN class="keyword">#</SPAN>10&nbsp;4<SPAN class="keyword">#</SPAN>6&nbsp;5<SPAN class="keyword">#</SPAN>4&nbsp;9<SPAN class="keyword">#</SPAN>5&nbsp;4<SPAN class="keyword">#</SPAN>8]]<BR>&nbsp;&nbsp;&nbsp;&nbsp;<BR>&nbsp;&nbsp;&nbsp;Small&nbsp;=&nbsp;[[1<SPAN class="keyword">#</SPAN>1&nbsp;1<SPAN class="keyword">#</SPAN>1&nbsp;4<SPAN class="keyword">#</SPAN>2&nbsp;1<SPAN class="keyword">#</SPAN>1&nbsp;1<SPAN class="keyword">#</SPAN>1&nbsp;1<SPAN class="keyword">#</SPAN>1&nbsp;4<SPAN class="keyword">#</SPAN>1&nbsp;1<SPAN class="keyword">#</SPAN>2]<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[1<SPAN class="keyword">#</SPAN>2&nbsp;1<SPAN class="keyword">#</SPAN>1&nbsp;1<SPAN class="keyword">#</SPAN>1&nbsp;1<SPAN class="keyword">#</SPAN>2&nbsp;1<SPAN class="keyword">#</SPAN>1&nbsp;4<SPAN class="keyword">#</SPAN>2&nbsp;4<SPAN class="keyword">#</SPAN>1&nbsp;1<SPAN class="keyword">#</SPAN>1]]<BR>&nbsp;<BR><SPAN class="keyword">end</SPAN></PRE></BLOCKQUOTE><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node3.html#code.jobshop.compiler">&lt;&lt; Prev</A></TD><TD><A href="jobshop.html">- Up -</A></TD><TD><A href="node5.html#code.jobshop.scheduler">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>

mozart-doc 1.4.0-8ubuntu1 / usr / share / mozart / doc / demo / node4.html