/usr/share/mozart/doc/cpiref/toc.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>Table of Contents</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="index.html">- Up -</A></TD><TD><A href="ip.html#chapter.ip">Next >></A></TD></TR></TABLE><H1><A name="label1">Table of Contents</A></H1><HR><UL class="toc"><LI><A href="toc.html#label1">Table of Contents</A></LI><LI><A href="ip.html#chapter.ip">1 Implementing Propagators</A><UL class="toc"><LI><A href="node1.html#r_overview">1.1 Overview</A></LI><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><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><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><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><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><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><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><LI><A href="node9.html#r_aux">1.9 Auxiliary Interface Functions</A></LI></UL></LI><LI><A href="ct.html#chapter.ct">2 Building Constraint Systems from Scratch</A><UL class="toc"><LI><A href="node10.html#ct.reference.def">2.1 The class <CODE>OZ_CtDefinition</CODE> </A></LI><LI><A href="node11.html#ct.reference.wakeup">2.2 The class <CODE>OZ_CtWakeUp</CODE> </A></LI><LI><A href="node12.html#ct.reference.profile">2.3 The class <CODE>OZ_CtProfile</CODE> </A></LI><LI><A href="node13.html#ct.reference.constraint">2.4 The class <CODE>OZ_Ct</CODE> </A></LI><LI><A href="node14.html#ct.reference.ctvar">2.5 The class <CODE>OZ_CtVar</CODE> </A><UL class="toc"><LI><A href="node14.html#ct.reference.ctvar.protected">2.5.1 Members to be Defined</A></LI><LI><A href="node14.html#ct.reference.ctvar.public">2.5.2 Provided Members</A></LI></UL></LI></UL></LI><LI><A href="lp.html#chapter.lp">3 Employing Linear Programming Solvers</A><UL class="toc"><LI><A href="lp.html#lp.reference">3.1 The Module <CODE>LP</CODE></A></LI></UL></LI><LI><A href="pel.html#chapter.pel">4 Propagation Engine Library</A><UL class="toc"><LI><A href="node15.html#pel.overview">4.1 Overview</A></LI><LI><A href="node16.html#pel.paramtable">4.2 The class <CODE>PEL_ParamTable</CODE></A></LI><LI><A href="node17.html#pel.eventlist">4.3 The class <CODE>PEL_EventList</CODE></A></LI><LI><A href="node18.html#pel.propfncttableentry">4.4 The class <CODE>PEL_PropFnctTableEntry</CODE></A></LI><LI><A href="node19.html#pel.propfncttable">4.5 The class <CODE>PEL_PropFnctTable</CODE></A></LI><LI><A href="node20.html#pel.propqueue">4.6 The class <CODE>PEL_PropQueue</CODE></A></LI><LI><A href="node21.html#pel.fsetprofile">4.7 The class <CODE>PEL_FSetProfile</CODE></A></LI><LI><A href="node22.html#pel.fseteventlists">4.8 The class <CODE>PEL_FSetEventLists</CODE></A></LI><LI><A href="node23.html#pel.fdprofile">4.9 The class <CODE>PEL_FDProfile</CODE></A></LI><LI><A href="node24.html#pel.fdeventlists">4.10 The class <CODE>PEL_FDEventLists</CODE></A></LI><LI><A href="node25.html#pel.suspvar">4.11 The class <CODE>PEL_SuspVar</CODE></A></LI><LI><A href="node26.html#pel.suspfsetvar">4.12 The class <CODE>PEL_SuspFSetVar</CODE></A></LI><LI><A href="node27.html#pel.suspfdintvar">4.13 The class <CODE>PEL_SuspFDIntVar</CODE></A></LI></UL></LI><LI><A href="idx.html#label378">Index</A></LI></UL><HR><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="index.html">- Up -</A></TD><TD><A href="ip.html#chapter.ip">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>
|