/usr/share/mozart/doc/cpiref/node10.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>2.1 The class OZ_CtDefinition </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="ct.html">- Up -</A></TD><TD><A href="node11.html#ct.reference.wakeup">Next >></A></TD></TR></TABLE><DIV id="ct.reference.def"><H2><A name="ct.reference.def">2.1 The class <CODE>OZ_CtDefinition</CODE> </A></H2><P></P><DL><DT class="purevirtual"><CODE>getKind</CODE> <A name="label255"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function pure virtual</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">getKind</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns an integer identifying a constraint system. The integer value has to be unique for each constraint system. Call <CODE><SPAN class="type">int</SPAN> <BR><SPAN class="functionname">OZ_getUniqueId</SPAN>(<SPAN class="type">void</SPAN>)</CODE> to obtain a unique identifier. </P></DD><DT class="purevirtual"><CODE>getNoOfWakeUpLists</CODE> <A name="label256"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function pure virtual</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">getNoOfWakeUpLists</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns the numbers of wake-up lists of variables constrained with this kind of constraint. This number corresponds to the number of events which can cause a propagator being imposed on that kind of variable being rerun. </P></DD><DT class="purevirtual"><CODE>getNamesOfWakeUpLists</CODE> <A name="label257"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function pure virtual</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="keyword">virtual</SPAN> <SPAN class="type">char</SPAN> ** <SPAN class="functionname">getNamesOfWakeUpLists</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns an array (with <CODE>getNoOfWakeUpLists()</CODE> entries) of strings describing the event(s) associated to the corresponding wake-up list. </P></DD><DT class="purevirtual"><CODE>getName</CODE> <A name="label258"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function pure virtual</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="keyword">virtual</SPAN> <SPAN class="type">char</SPAN> * <SPAN class="functionname">getName</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns the name of the constraint system. Is used when outputting variables of that kind. </P></DD><DT class="purevirtual"><CODE>leastConstraint</CODE> <A name="label259"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function pure virtual</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="keyword">virtual</SPAN> <SPAN class="type">OZ_Ct</SPAN> * <SPAN class="functionname">leastConstraint</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns the constraint which is subsumed by or equal to all other constraints of a certain constraint system. </P></DD><DT class="purevirtual"><CODE>isValidValue</CODE> <A name="label260"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>member function pure virtual</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="keyword">virtual</SPAN> <SPAN class="type">OZ_Boolean</SPAN> <SPAN class="functionname">isValidValue</SPAN>(<SPAN class="type">OZ_Term</SPAN> <SPAN class="variablename">t</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns <CODE>OZ_True</CODE> if the Oz value referred to by <CODE>t</CODE> is a value which is in the domain of the constraint system. Otherwise it returns <CODE>OZ_False</CODE>. </P></DD></DL><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="ct.html">- Up -</A></TD><TD><A href="node11.html#ct.reference.wakeup">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>
|