/usr/share/mozart/doc/cpitut/idx.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>Index</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="bib.html#label25"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD></TR></TABLE><H1><A name="label26">Index</A></H1><CENTER><TABLE border="1" cellpadding="2"><TR><TD><A href="#_R">R</A></TD></TR></TABLE></CENTER><H3 class="margin"><A name="_R">R</A></H3><DL><DT><CODE>RI</CODE></DT><DD><DL><DT><A><CODE>distribute</CODE></A>: <A href="node20.html#label22">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>getLowerBound</CODE></A>: <A href="node20.html#label12">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>getUpperBound</CODE></A>: <A href="node20.html#label13">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>getWidth</CODE></A>: <A href="node20.html#label14">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>greater</CODE></A>: <A href="node20.html#label18">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>inf</CODE></A>: <A href="node20.html#label9">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>intBounds</CODE></A>: <A href="node20.html#label19">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>lessEq</CODE></A>: <A href="node20.html#label17">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>plus</CODE></A>: <A href="node20.html#label21">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>setPrec</CODE></A>: <A href="node20.html#label11">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>sup</CODE></A>: <A href="node20.html#label10">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>times</CODE></A>: <A href="node20.html#label20">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><CODE>var</CODE></DT><DD><DL><DT><A><CODE>bounds</CODE></A>: <A href="node20.html#label16">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL><DL><DT><A><CODE>decl</CODE></A>: <A href="node20.html#label15">2.2.2 The Reference of the Implemented Real-Interval Constraint Solver</A></DT></DL></DD></DL></DD></DL><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="bib.html#label25"><< Prev</A></TD><TD><A href="index.html">- Up -</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>
|