/usr/share/mozart/doc/system/node40.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>7.7 Iterating and Monitoring</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="node39.html#section.fs.reified"><< Prev</A></TD><TD><A href="node33.html">- Up -</A></TD><TD><A href="node41.html#section.fs.reflection">Next >></A></TD></TR></TABLE><DIV id="section.fs.iterating"><H2><A name="section.fs.iterating">7.7 Iterating and Monitoring</A></H2><P></P><DL><DT><A name="label423"></A> <CODE>monitorIn</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FS<SPAN class="keyword">.</SPAN>monitorIn <SPAN class="keyword">*</SPAN>M ?Is}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>This procedure writes all elements of <CODE>M</CODE> to <CODE>Is</CODE> as soon as <IMG alt="{\tt I} \in {\tt M}" src="latex150.png"> becomes <EM>known</EM>. When <CODE>M</CODE> becomes determined the stream <CODE>Is</CODE> will be closed. </P></DD><DT><A name="label425"></A> <CODE>monitorOut</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FS<SPAN class="keyword">.</SPAN>monitorOut <SPAN class="keyword">*</SPAN>M ?Is}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>This procedure writes all elements of <CODE>M</CODE> to <CODE>Is</CODE> as soon as <IMG alt="{\tt I} \notin {\tt M}" src="latex151.png"> becomes <EM>known</EM>. When <CODE>M</CODE> becomes determined the stream <CODE>Is</CODE> will be closed. </P></DD><DT><A name="label427"></A> <CODE>forAllIn</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FS<SPAN class="keyword">.</SPAN>forAllIn <SPAN class="keyword">*</SPAN>M <SPAN class="keyword">+</SPAN>P<SPAN class="keyword">/</SPAN>1}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>This procedure applies <CODE>P<SPAN class="keyword">/</SPAN>1</CODE> to all elements of <CODE>M</CODE>. </P></DD></DL><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node39.html#section.fs.reified"><< Prev</A></TD><TD><A href="node33.html">- Up -</A></TD><TD><A href="node41.html#section.fs.reflection">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A>, <A href="http://www.ps.uni-sb.de/~homik/">Martin Homik</A>, <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A> and <A href="http://www.info.ucl.ac.be/~pvr">Peter Van Roy</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|