/usr/share/mozart/doc/system/node15.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>5.1 Some Facts About Propagators</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="node14.html">- Up -</A></TD><TD><A href="node16.html#section.fd.condis">Next >></A></TD></TR></TABLE><DIV id="section.fd.facts"><H2><A name="section.fd.facts">5.1 Some Facts About Propagators</A></H2><P class="margin">domain propagation, interval propagation</P><P> If a propagator is invoked, it tries to narrow the domains of the variables it is posted on. The amount of narrowing of domains depends on the operational semantics of the propagator. There are two main schemes for the operational semantics of a propagator. Domain propagation means that the propagator narrows the domains such that all values are discarded, which are not contained in a solution of the modeled constraint. But due to efficiency reasons, most propagators provide only interval propagation, i. e. only the bounds of domains are narrowed. For some propagators, there is an operational semantics in between both schemes. </P><P>A propagator ceases to exist at least if all the variables it is posted on are determined. In the following sections, only exceptions from this rule are mentioned, i. e. if the propagator ceases to exist earlier. For example, {<CODE>X <SPAN class="keyword">=<:</SPAN> Y</CODE>} ceases to exist if the current upper bound of <CODE>X</CODE> is smaller than or equal to the current lower bound of <CODE>Y</CODE>.</P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node14.html">- Up -</A></TD><TD><A href="node16.html#section.fd.condis">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>
|