/usr/share/mozart/doc/cpiref/node23.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.9 The class PEL_FDProfile</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="node22.html#pel.fseteventlists"><< Prev</A></TD><TD><A href="pel.html">- Up -</A></TD><TD><A href="node24.html#pel.fdeventlists">Next >></A></TD></TR></TABLE><DIV id="pel.fdprofile"><H2><A name="pel.fdprofile">4.9 The class <CODE>PEL_FDProfile</CODE></A></H2><P></P><DL><DT class="constructor"><CODE>PEL_FDProfile</CODE> <A name="label348"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>constructor</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>PEL_FDProfile(<SPAN class="type">void</SPAN>);</CODE></P></BLOCKQUOTE></DD><DD><P>Constructs a profile for finite domain constraint. </P></DD><DT class="member"><CODE>init</CODE> <A name="label349"></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_FDConstraint</SPAN> &<SPAN class="variablename">fd</SPAN>);</CODE></P></BLOCKQUOTE></DD><DD><P>Initializes the profile with <CODE>fd</CODE>. </P></DD><DT class="member"><CODE>isTouched</CODE> <A name="label350"></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_FDConstraint</SPAN> &<SPAN class="variablename">fd</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Tests if the constraint <CODE>fd</CODE> is more constrained than the constraint, the profile has been initialized with. </P></DD><DT class="member"><CODE>isTouchedWidth</CODE> <A name="label351"></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">isTouchedWidth</SPAN>(<SPAN class="type">OZ_FDConstraint</SPAN> &<SPAN class="variablename">fd</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Tests if the width of the constraint <CODE>fd</CODE> has been further constrained since the last initialization of the profile. </P></DD><DT class="member"><CODE>isTouchedLowerBound</CODE> <A name="label352"></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_FDConstraint</SPAN> &<SPAN class="variablename">fd</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Tests if the lower bound of the constraint <CODE>fd</CODE> has been further constrained since the last initialization of the profile. </P></DD><DT class="member"><CODE>isTouchedUpperBound</CODE> <A name="label353"></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_FDConstraint</SPAN> &<SPAN class="variablename">fd</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Tests if the upper bound of the constraint <CODE>fd</CODE> has been further constrained since the last initialization of the profile. </P></DD><DT class="member"><CODE>isTouchedBounds</CODE> <A name="label354"></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">isTouchedBounds</SPAN>(<SPAN class="type">OZ_FDConstraint</SPAN> &<SPAN class="variablename">fd</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Tests if at least one of the bounds of the constraint <CODE>fd</CODE> has been further constrained since the last initialization of the profile. </P></DD><DT class="member"><CODE>isTouchedSingleValue</CODE> <A name="label355"></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_FDConstraint</SPAN> &<SPAN class="variablename">fd</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Tests if the constraint <CODE>fd</CODE> has become a single value 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="node22.html#pel.fseteventlists"><< Prev</A></TD><TD><A href="pel.html">- Up -</A></TD><TD><A href="node24.html#pel.fdeventlists">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>
|