/usr/share/mozart/doc/cpiref/node21.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>4.7 The class PEL_FSetProfile</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="node20.html#pel.propqueue"><< Prev</A></TD><TD><A href="pel.html">- Up -</A></TD><TD><A href="node22.html#pel.fseteventlists">Next >></A></TD></TR></TABLE><DIV id="pel.fsetprofile"><H2><A name="pel.fsetprofile">4.7 The class <CODE>PEL_FSetProfile</CODE></A></H2><P></P><DL><DT class="constructor"><CODE>PEL_FSetProfile</CODE> <A name="label338"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>constructor</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>PEL_FSetProfile(<SPAN class="type">void</SPAN>);</CODE></P></BLOCKQUOTE></DD><DD><P>Constructs a profile for finite set constraint. </P></DD><DT class="member"><CODE>init</CODE> <A name="label339"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="type">void</SPAN> <SPAN class="functionname">init</SPAN>(<SPAN class="type">OZ_FSetConstraint</SPAN> &<SPAN class="variablename">fset</SPAN>);</CODE></P></BLOCKQUOTE></DD><DD><P>Initializes the profile with <CODE>fset</CODE>. </P></DD><DT class="member"><CODE>isTouched</CODE> <A name="label340"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="type">int</SPAN> <SPAN class="functionname">isTouched</SPAN>(<SPAN class="type">OZ_FSetConstraint</SPAN> &<SPAN class="variablename">fset</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Tests if the constraint <CODE>fset</CODE> is more constrained than the constraint, the profile has been initialized with. </P></DD><DT class="member"><CODE>isTouchedSingleValue</CODE> <A name="label341"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="type">int</SPAN> <SPAN class="functionname">isTouchedSingleValue</SPAN>(<SPAN class="type">OZ_FSetConstraint</SPAN> &<SPAN class="variablename">fset</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Tests if the constraint <CODE>fset</CODE> has become a single value since the last initialization of the profile. </P></DD><DT class="member"><CODE>isTouchedLowerBound</CODE> <A name="label342"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="type">int</SPAN> <SPAN class="functionname">isTouchedLowerBound</SPAN>(<SPAN class="type">OZ_FSetConstraint</SPAN> &<SPAN class="variablename">fset</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Tests if the lower bound of the constraint <CODE>fset</CODE> has been further constrained since the last initialization of the profile. </P></DD><DT class="member"><CODE>isTouchedUpperBound</CODE> <A name="label343"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="type">int</SPAN> <SPAN class="functionname">isTouchedUpperBound</SPAN>(<SPAN class="type">OZ_FSetConstraint</SPAN> &<SPAN class="variablename">fset</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Tests if the upper bound of the constraint <CODE>fset</CODE> has been further constrained since the last initialization of the profile. </P></DD></DL><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node20.html#pel.propqueue"><< Prev</A></TD><TD><A href="pel.html">- Up -</A></TD><TD><A href="node22.html#pel.fseteventlists">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>
|