/usr/share/mozart/doc/cpiref/ip.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="node1.html#r_overview">1.1 Overview</A></LI></UL><UL class="toc"><LI><A href="node2.html#r_expect">1.2 The class <CODE>OZ_Expect</CODE></A><UL class="toc"><LI><A href="node2.html#expect.types">1.2.1 Types</A></LI><LI><A href="node2.html#expect.condes">1.2.2 Constructor and Destructor</A></LI><LI><A href="node2.html#expect.setdescr">1.2.3 Specification of a Set of Integers</A></LI><LI><A href="node2.html#expect.checkconstr">1.2.4 Member Functions for Checking the Constraint Store</A></LI><LI><A href="node2.html#expect.control">1.2.5 Member Functions for Control Purposes</A></LI><LI><A href="node2.html#expect.macros">1.2.6 Macros</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node3.html#r_prop">1.3 The class <CODE>OZ_Propagator</CODE></A><UL class="toc"><LI><A href="node3.html#r_prop.constr">1.3.1 Constructor and Destructor Member Functions</A></LI><LI><A href="node3.html#r_prop.operator">1.3.2 Operator Member Functions</A></LI><LI><A href="node3.html#r_prop.provided">1.3.3 Provided Member Functions</A></LI><LI><A href="node3.html#r_prop.todefine">1.3.4 Member Functions to be Defined by the Programmer</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node4.html#r_fdint">1.4 The class <CODE>OZ_FDIntVar</CODE></A><UL class="toc"><LI><A href="node4.html#r_fdint.constr">1.4.1 Constructor Member Functions</A></LI><LI><A href="node4.html#r_fdint.op">1.4.2 Operator Member Functions</A></LI><LI><A href="node4.html#r_fdint.member">1.4.3 Member Functions</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node5.html#r_fd">1.5 The class <CODE>OZ_FiniteDomain</CODE></A><UL class="toc"><LI><A href="node5.html#r_fd.misc">1.5.1 Miscellaneous</A></LI><LI><A href="node5.html#r_fd.member">1.5.2 Constructor Member Functions</A></LI><LI><A href="node5.html#r_fd.init">1.5.3 Initialisation Member Functions</A></LI><LI><A href="node5.html#r_fd.reflect">1.5.4 Reflection Member Functions</A></LI><LI><A href="node5.html#r_fd.op">1.5.5 Operator Member Functions</A></LI><LI><A href="node5.html#r_fd.aux">1.5.6 Auxiliary Member Functions</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node6.html#r_fsvar">1.6 The class <CODE>OZ_FSetVar</CODE></A><UL class="toc"><LI><A href="node6.html#r_fsetvar.constr">1.6.1 Constructor Member Functions</A></LI><LI><A href="node6.html#r_fsetvar.op">1.6.2 Operator Member Functions</A></LI><LI><A href="node6.html#r_fsetvar.member">1.6.3 Member Functions</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node7.html#r_fs">1.7 The class <CODE>OZ_FSetValue</CODE></A><UL class="toc"><LI><A href="node7.html#r_fs.misc">1.7.1 Miscellaneous</A></LI><LI><A href="node7.html#r_fs.constr">1.7.2 Constructor Member Functions</A></LI><LI><A href="node7.html#r_fs.refl">1.7.3 Reflection Member Functions</A></LI><LI><A href="node7.html#r_fs.op">1.7.4 Operator Member Functions</A></LI><LI><A href="node7.html#r_fs.aux">1.7.5 Auxiliary Member Functions</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node8.html#r_fsc">1.8 The class <CODE>OZ_FSetConstraint</CODE></A><UL class="toc"><LI><A href="node8.html#r_fsc.constr">1.8.1 Constructor Member Functions</A></LI><LI><A href="node8.html#r_fsc.init">1.8.2 Initialization Member Functions</A></LI><LI><A href="node8.html#r_fsc.refl">1.8.3 Reflection Member Functions</A></LI><LI><A href="node8.html#r_fsc.op">1.8.4 Imposing Constraints</A></LI><LI><A href="node8.html#r_fsc.aux">1.8.5 Auxiliary Member Functions</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node9.html#r_aux">1.9 Auxiliary Interface Functions</A></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>
|