/usr/share/mozart/doc/cpiref/node27.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.13 The class PEL_SuspFDIntVar</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="node26.html#pel.suspfsetvar"><< Prev</A></TD><TD><A href="pel.html">- Up -</A></TD></TR></TABLE><DIV id="pel.suspfdintvar"><H2><A name="pel.suspfdintvar">4.13 The class <CODE>PEL_SuspFDIntVar</CODE></A></H2><P></P><DL><DT class="constructor"><CODE>PEL_SuspFDVar</CODE> <A name="label369"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>constructor</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>PEL_SuspFDVar(<SPAN class="type">void</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Constructs an uninitialized library finite set variable. </P></DD><DT class="constructor"><CODE>PEL_SuspFDVar</CODE> <A name="label370"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>constructor</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>PEL_SuspFDIntVar(PEL_FDProfile &fdp, <BR> OZ_FiniteDomain &fdv,<BR> PEL_FDEventLists &fdel, <BR> PEL_PropQueue &pd,<BR> PEL_PropFnctTable &pft, <BR> <SPAN class="type">int</SPAN> <SPAN class="variablename">first</SPAN> = 1);</CODE></BLOCKQUOTE><P> </P></BLOCKQUOTE></DD><DD><P>Constructs an initialized library finite domain variable which is directly connected with the corresponding variable in the constraint store. </P></DD><DT class="constructor"><CODE>PEL_SuspFDVar</CODE> <A name="label371"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>constructor</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>PEL_SuspFDIntVar(OZ_FiniteDomain &fdl, <BR> PEL_FDEventLists &fdel,<BR> PEL_PropQueue &pd, <BR> PEL_PropFnctTable &pft);</CODE></BLOCKQUOTE><P> </P></BLOCKQUOTE></DD><DD><P>Constructs an initialized library finite domain variable which is not directly connected with the corresponding variable in the constraint store. This constructor is used if the library variable is subordinated to the store variable, e.g. when implementing a clause of a disjunction. </P></DD><DT class="member"><CODE>init</CODE> <A name="label372"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>PEL_SuspFDIntVar * init(PEL_FDProfile &fdp, <BR> OZ_FiniteDomain &fd,<BR> PEL_FDEventLists &fdel, <BR> PEL_PropQueue &pq,<BR> PEL_PropFnctTable &pft, <BR> <SPAN class="type">int</SPAN> <SPAN class="variablename">first</SPAN> = 1);</CODE></BLOCKQUOTE><P> </P></BLOCKQUOTE></DD><DD><P>This initialization function is associated with the constructor for the directly connected library variable and returns a pointer the library variable. </P></DD><DT class="member"><CODE>init</CODE> <A name="label373"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>PEL_SuspFDIntVar * init(OZ_FiniteDomain &fdl, <BR> PEL_FDEventLists &fdel, <BR> PEL_PropQueue &pq, <BR> PEL_PropFnctTable &pft);</CODE></BLOCKQUOTE><P> </P></BLOCKQUOTE></DD><DD><P>This initialization function is associated with the constructor for the not directly connected library variable and returns a pointer the library variable. </P></DD><DT class="member"><CODE>propagate_to</CODE> <A name="label374"></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">propagate_to</SPAN>(<SPAN class="type">OZ_FiniteDomain</SPAN> &<SPAN class="variablename">fd</SPAN>, <SPAN class="type">int</SPAN> <SPAN class="variablename">first</SPAN> = 0);</CODE> </P></BLOCKQUOTE></DD><DD><P>The constraint <CODE>fd</CODE> is propagated to the library variable and <CODE>wakeup</CODE> is called if necessary. The function returns 0 in case propagation fails. Otherwise it returns 1. </P></DD><DT class="member"><CODE>wakeup</CODE> <A name="label375"></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="keyword">virtual</SPAN> <SPAN class="type">int</SPAN> <SPAN class="functionname">wakeup</SPAN>(<SPAN class="type">int</SPAN> <SPAN class="variablename">first</SPAN> = 0);</CODE> </P></BLOCKQUOTE></DD><DD><P>Causes propagation functions to be scheduled for rerun according to the constraints imposed on this variable since the last invocation of this function. This function returns 1 if variable denotes a single value and else 0. </P></DD><DT class="operator"><CODE><SPAN class="keyword">operator</SPAN> *</CODE> <A name="label376"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>operator member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>OZ_FiniteDomain &<SPAN class="keyword">operator</SPAN> * (<SPAN class="type">void</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns the finite domain constraint associated with this variable. </P></DD><DT class="operator"><CODE><SPAN class="keyword">operator</SPAN> -> </CODE> <A name="label377"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>operator member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>OZ_FiniteDomain * <SPAN class="keyword">operator</SPAN> -> (<SPAN class="type">void</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns the pointer to the finite domain constraint associated with this variable. </P></DD></DL><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node26.html#pel.suspfsetvar"><< Prev</A></TD><TD><A href="pel.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>
|