/usr/share/mozart/doc/cpitut/node13.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>2.2.1 An Implementation</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="node12.html">- Up -</A></TD><TD><A href="node20.html#ct.casestudy.reference">Next >></A></TD></TR></TABLE><DIV id="ct.casestudy.impl"><H3><A name="ct.casestudy.impl">2.2.1 An Implementation</A></H3><P>In real-interval constraints <A href="bib.html#benhamou:95a">[Ben95]</A> a variable denotes a real number <IMG alt="r" src="latex87.png">. The constraint approximates <IMG alt="r" src="latex87.png"> by a lower bound and a upper bound, i. e. <IMG alt="l \le r \le u" src="latex88.png">. The bounds are represented as floating point numbers. A floating point number itself is an approximation of a real number due to the limited precision of its machine representation. The implementation of real-interval constraints has to take care to not prune valid solutions by computing the bounds too tight. This has to be avoided by controlling the direction of rounding of the floating point operations. </P><P>The <EM>width</EM> of a real-interval is the difference between its upper bound and its lower bound. If the width of a real-interval constraint is less than or equal to a given <EM>precision</EM> then the constraint is regarded a value. </P><P>The goal of this section is to give an overview of how the C<SPAN class="allcaps">PI</SPAN> classes interact with each other and not to describe the implementation of a complete constraint system in too much detail. The definition of all required classes is only sketched and additionally, a simple propagator is implemented. </P><P>Note that floating point numbers have the type <CODE>ri_float</CODE> which is compatible with float numbers used by the Oz runtime system. Such float numbers may range from <CODE>RI_FLOAT_MIN</CODE> to <CODE>RI_FLOAT_MAX</CODE>. </P><HR><UL class="toc"><LI><A href="node14.html#ct.casestudy.impl.ridef">A Definition Class for Real-Interval Constraints</A></LI></UL><UL class="toc"><LI><A href="node15.html#ct.casestudy.impl.profilewakeup">Determining Wake-up Events for Real-Interval Constraints</A></LI></UL><UL class="toc"><LI><A href="node16.html#ct.casestudy.impl.constraint">The Actual Real-Interval Constraint</A></LI></UL><UL class="toc"><LI><A href="node17.html#ct.casestudy.impl.rivar">Accessing the Constraint Store</A></LI></UL><UL class="toc"><LI><A href="node18.html#ct.casestudy.impl.expect">Extending <CODE>OZ_Expect</CODE></A></LI></UL><UL class="toc"><LI><A href="node19.html#ct.casestudy.impl.propagator">A Simple Propagator</A></LI></UL></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node12.html">- Up -</A></TD><TD><A href="node20.html#ct.casestudy.reference">Next >></A></TD></TR></TABLE><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>
|