/usr/share/mozart/doc/cpitut/node20.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 3 4 5 6 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</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="node13.html#ct.casestudy.impl"><< Prev</A></TD><TD><A href="node12.html">- Up -</A></TD></TR></TABLE><DIV id="ct.casestudy.reference"><H3><A name="ct.casestudy.reference">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></H3><P> The module <CODE>RI</CODE> is provided as contribution (being part of the Mozart Oz 3 distribution<A href="node20.html#label23"><SUP>1</SUP></A>) and can be accessed either by </P><BLOCKQUOTE class="code"><CODE><SPAN class="keyword">declare</SPAN> [RI] = {Module<SPAN class="keyword">.</SPAN>link [<SPAN class="string">'x-oz://contrib/RI'</SPAN>]}</CODE></BLOCKQUOTE><P> or by </P><BLOCKQUOTE class="code"><CODE><SPAN class="keyword">import</SPAN> RI <SPAN class="keyword">at</SPAN> <SPAN class="string">'x-oz://contrib/RI'</SPAN></CODE></BLOCKQUOTE><P> as part of a functor definition. </P><P></P><DL><DT><CODE>RI<SPAN class="keyword">.</SPAN>inf</CODE> <A name="label9"></A></DT><DD><P>An implementation-dependent float value that denotes the smallest possible float number. It is <IMG alt="-1.79769 \times
10^{308}" src="latex94.png">. </P></DD><DT><CODE>RI<SPAN class="keyword">.</SPAN>sup</CODE> <A name="label10"></A></DT><DD><P>An implementation-dependent float value that denotes the smallest possible float number. It is <IMG alt="1.79769 \times
10^{308}" src="latex95.png">. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>setPrec </CODE><CODE>+<I>F</I></CODE><CODE>}</CODE> <A name="label11"></A></DT><DD><P>Sets the precision of the real-interval constraints to <CODE>F</CODE>. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>getLowerBound </CODE><CODE>+<I>RI</I></CODE><CODE> </CODE><CODE>?<I>F</I></CODE><CODE>}</CODE> <A name="label12"></A></DT><DD><P>Returns the lower bound of <CODE>RI</CODE> in <CODE>F</CODE>. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>getUpperBound </CODE><CODE>+<I>RI</I></CODE><CODE> </CODE><CODE>?<I>F</I></CODE><CODE>}</CODE> <A name="label13"></A></DT><DD><P>Returns the upper bound of <CODE>RI</CODE> in <CODE>F</CODE>. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>getWidth </CODE><CODE>+<I>RI</I></CODE><CODE> </CODE><CODE>?<I>F</I></CODE><CODE>}</CODE> <A name="label14"></A></DT><DD><P>Returns the width of <CODE>RI</CODE> in <CODE>F</CODE>. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>var<SPAN class="keyword">.</SPAN>decl </CODE><CODE>?<I>RI</I></CODE><CODE>}</CODE> <A name="label15"></A></DT><DD><P>Constrains <CODE>RI</CODE> to a real-interval constraint with the lower bound to be <CODE>RI<SPAN class="keyword">.</SPAN>inf</CODE> and the upper bound to be <CODE>RI<SPAN class="keyword">.</SPAN>sup</CODE>. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>var<SPAN class="keyword">.</SPAN>bounds </CODE><CODE>+<I>L</I></CODE><CODE> </CODE><CODE>+<I>U</I></CODE><CODE> </CODE><CODE>?<I>RI</I></CODE><CODE>}</CODE> <A name="label16"></A></DT><DD><P>Constrains <CODE>RI</CODE> to a real-interval constraint with the lower bound to be <CODE>L</CODE> and the upper bound to be <CODE>U</CODE>. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>lessEq </CODE><CODE>$<I>X</I></CODE><CODE> </CODE><CODE>$<I>Y</I></CODE><CODE>}</CODE> <A name="label17"></A></DT><DD><P>Imposes the constraint <CODE>X</CODE> <IMG alt="\le" src="latex96.png"> <CODE>Y</CODE>. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>greater </CODE><CODE>$<I>X</I></CODE><CODE> </CODE><CODE>$<I>Y</I></CODE><CODE>}</CODE> <A name="label18"></A></DT><DD><P>Imposes the constraint <CODE>X</CODE> <IMG alt=">" src="latex97.png"> <CODE>Y</CODE>. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>intBounds </CODE><CODE>$<I>RI</I></CODE><CODE> </CODE><CODE>$<I>D</I></CODE><CODE>}</CODE> <A name="label19"></A></DT><DD><P>Imposes the constraint <IMG alt="\lceil \underline{\mbox{\tt RI}}
\rceil = \underline{\mbox{\tt D}} \wedge \lfloor \overline{\mbox{\tt
RI}} \rfloor = \overline{\mbox{\tt D}}" src="latex98.png">. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>times </CODE><CODE>$<I>X</I></CODE><CODE> </CODE><CODE>$<I>Y</I></CODE><CODE> </CODE><CODE>$<I>Z</I></CODE><CODE>}</CODE> <A name="label20"></A></DT><DD><P>Imposes the constraint <CODE>X</CODE> <IMG alt="\times" src="latex99.png"> <CODE>Y</CODE> <IMG alt="=" src="latex100.png"> <CODE>Z</CODE>. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>plus </CODE><CODE>$<I>X</I></CODE><CODE> </CODE><CODE>$<I>Y</I></CODE><CODE> </CODE><CODE>$<I>Z</I></CODE><CODE>}</CODE> <A name="label21"></A></DT><DD><P>Imposes the constraint <CODE>X</CODE> + <CODE>Y</CODE> <IMG alt="=" src="latex100.png"> <CODE>Z</CODE>. </P></DD><DT><CODE>{RI<SPAN class="keyword">.</SPAN>distribute </CODE><CODE>*<I>RI</I></CODE><CODE>}</CODE> <A name="label22"></A></DT><DD><P>Creates a choice-point for <IMG alt="\mbox{RI} \le m" src="latex101.png"> and <IMG alt="\mbox{RI} > m" src="latex102.png"> where <IMG alt="m = \underline{\mbox{\tt RI}} + (\overline{\mbox{\tt RI}} - \underline{\mbox{\tt RI}}) / 2" src="latex103.png">. </P></DD></DL><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node13.html#ct.casestudy.impl"><< Prev</A></TD><TD><A href="node12.html">- Up -</A></TD></TR></TABLE><HR align="left" width="30%"><DIV class="footnote"><A name="label23">1. </A>The module <CODE>RI</CODE> is <EM>not</EM> provided on any Windows platform.</DIV><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|