/usr/share/mozart/doc/cpitut/node1.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>1 Implementing 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="toc.html#label1"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="ct.html#chapter.ct">Next >></A></TD></TR></TABLE><DIV id="chapter.ip"><H1><A name="chapter.ip">1 Implementing Propagators</A></H1><HR><UL class="toc"><LI><A href="node2.html#u_basic_concepts">1.1 Basic Concepts</A><UL class="toc"><LI><A href="node2.html#u_basic_concepts.computation">1.1.1 Computation with Constraints in Oz</A></LI><LI><A href="node2.html#u_basic_concepts.impprop">1.1.2 Implementation of Propagators</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node3.html#u_getting_started">1.2 Getting Started</A><UL class="toc"><LI><A href="node3.html#u_getting_started.prerequisites">1.2.1 Prerequisites</A></LI><LI><A href="node3.html#u_getting_started.building">1.2.2 Building a Propagator</A><UL class="toc"><LI><A href="node3.html#u_getting_started.building.def">A Propagator's Class Definition</A></LI><LI><A href="node3.html#u_getting_started.propagation">The Propagation Part of a Propagator</A></LI><LI><A href="node3.html#u_getting_started.creating">Creating a Propagator</A></LI></UL></LI></UL></LI></UL><UL class="toc"><LI><A href="node4.html#u_replacing">1.3 Replacing a Propagator</A><UL class="toc"><LI><A href="node4.html#u_replace.twice">1.3.1 A Twice Propagator</A></LI><LI><A href="node4.html#u_replace.equality">1.3.2 Equality Detection and Replacement</A></LI><LI><A href="node4.html#u_replace.benefits">1.3.3 Benefits of Replacing Propagators</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node5.html#u_nesting">1.4 Imposing Propagators</A><UL class="toc"><LI><A href="node5.html#u_nesting.basic">1.4.1 Basic Concepts</A></LI><LI><A href="node5.html#u_nesting.impose">1.4.2 Imposing Nestable Propagators</A></LI><LI><A href="node5.html#u_nesting.customize">1.4.3 Customizing <CODE>OZ_Expect</CODE></A></LI></UL></LI></UL><UL class="toc"><LI><A href="node6.html#u_vectors">1.5 Using Vectors in Propagators</A><UL class="toc"><LI><A href="node6.html#u_vector.element">1.5.1 The <EM>element</EM> Constraint</A></LI><LI><A href="node6.html#u_vector.class">1.5.2 The Class Definition of <CODE>ElementProp</CODE></A></LI><LI><A href="node6.html#u_vector.header">1.5.3 The Header Function</A></LI><LI><A href="node6.html#u_vector.iterators">1.5.4 Iterators Make Life Easier</A></LI><LI><A href="node6.html#u_vector.rules">1.5.5 Implementing the Propagation Rules</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node7.html#u_connect">1.6 Connecting Finite Domain and Finite Set Constraints</A><UL class="toc"><LI><A href="node7.html#label3">1.6.1 The Class Definition</A></LI><LI><A href="node7.html#label4">1.6.2 The Propagation Function</A></LI><LI><A href="node7.html#label5">1.6.3 The Header Function and Connecting to the Native Functor Interface</A></LI><LI><A href="node7.html#label6">1.6.4 Testing the Propagator</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node8.html#u_advanced">1.7 Advanced Topics</A><UL class="toc"><LI><A href="node8.html#u_advanced.detect">1.7.1 Detecting Equal Variables in a Vector</A></LI><LI><A href="node8.html#u_advanced.redundant">1.7.2 Avoiding Redundant Copying</A></LI><LI><A href="node8.html#u_advanced.reified">1.7.3 Reified Constraints</A></LI></UL></LI></UL></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="toc.html#label1"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="ct.html#chapter.ct">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>
|