/usr/share/mozart/doc/demo/cutting.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>4 Cutting Glass Plates</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="college.html#chapter.college"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="flowers.html#chapter.flowers">Next >></A></TD></TR></TABLE><DIV id="chapter.cutting"><H1><A name="chapter.cutting">4 Cutting Glass Plates</A></H1><H3 class="authors"><A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A></H3><P> </P><P class="linkmenu">[ <A href="applets/Cutting.oza">Start Applet</A> | <A href="../install/node14.html#appendix.applets">How to enable Applets</A> ]</P><P> </P><P> This small demo allows to <A href="cutting.html#section.cutting.edit">edit</A> cutting problems and to <A href="cutting.html#section.cutting.compute">compute</A> a solution for the edited problem. </P><DIV class="unnumbered" id="section.cutting.problem"><H2><A name="section.cutting.problem">The Problem</A></H2><P> A number of small glass plates must be cut from a large target glass plate. Additionally, cuts can only be straight and must cut the entire remaining plate (remember the material to be cut is glass). </P></DIV><DIV class="unnumbered" id="section.cutting.edit"><H2><A name="section.cutting.edit">Edit</A></H2><P> The number entries allow to enter the number of glass plates that are to be cut from the target plate. Both x- and y-size of the target plate can be edited by the lower number entries as well. </P><P> The status entry gives suggestions on whether all glass plates can be cut from the target plate. </P></DIV><DIV class="unnumbered" id="section.cutting.compute"><H2><A name="section.cutting.compute">Compute</A></H2><P> </P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Start</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Starts computing a placement of the glass plates together with how the plate can be cut into pieces. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Stop</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Stops a currently running computation. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Animate</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> </DT><DD><P>Animates the glass plate cutting. </P></DD></DL><P> </P><P> The status entry gives information on whether the computation found a solution. </P></DIV><DIV class="unnumbered" id="section.cutting.implementation"><H2><A name="section.cutting.implementation">Implementation</A></H2><HR><UL class="toc"><LI><A href="node16.html#code.cutting.main">Root functor: <CODE>Main.oz</CODE></A></LI></UL><UL class="toc"><LI><A href="node17.html#code.cutting.script">Constraint script: <CODE>Script.oz</CODE></A></LI></UL><UL class="toc"><LI><A href="node18.html#code.cutting.edit">Graphical interface for editing: <CODE>Edit.oz</CODE></A></LI></UL><UL class="toc"><LI><A href="node19.html#code.cutting.compute">Graphical interface for computing solutions: <CODE>Compute.oz</CODE></A></LI></UL><UL class="toc"><LI><A href="node20.html#code.cutting.configure">Default parameters: <CODE>Configure.oz</CODE></A></LI></UL></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="college.html#chapter.college"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="flowers.html#chapter.flowers">Next >></A></TD></TR></TABLE><HR><ADDRESS><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|