/usr/share/mozart/doc/cpiref/node13.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.4 The class OZ_Ct </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="node12.html#ct.reference.profile"><< Prev</A></TD><TD><A href="ct.html">- Up -</A></TD><TD><A href="node14.html#ct.reference.ctvar">Next >></A></TD></TR></TABLE><DIV id="ct.reference.constraint"><H2><A name="ct.reference.constraint">2.4 The class <CODE>OZ_Ct</CODE> </A></H2><P> An instance of this class represents a constraint of a certain constraint system. </P><P></P><DL><DT class="constructor"><CODE>OZ_Ct</CODE> <A name="label269"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>constructor</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>OZ_Ct(<SPAN class="type">void</SPAN>);</CODE> </P></BLOCKQUOTE></DD><DD><P>Initializes an instance of this class. </P></DD><DT class="purevirtual"><CODE>isValue()</CODE> <A name="label270"></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">isValue</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns <CODE>OZ_True</CODE> if the constraint denotes exactly one value of the domain of the constraint system. </P></DD><DT class="purevirtual"><CODE>toValue</CODE> <A name="label271"></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_Term</SPAN> <SPAN class="functionname">toValue</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns an Oz value of the value denoted by the constraint. Returned value is only defined if <CODE>isValue</CODE> yields <CODE>OZ_True</CODE>. </P></DD><DT class="purevirtual"><CODE>isValid</CODE> <A name="label272"></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">isValid</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns <CODE>OZ_True</CODE> if the constraint denotes at least one element of the domain of the constraint system. Otherwise it returns <CODE>OZ_False</CODE>. </P></DD><DT class="purevirtual"><CODE>isWeakerThan</CODE> <A name="label273"></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">isWeakerThan</SPAN>(<SPAN class="type">OZ_Ct</SPAN> * <SPAN class="variablename">c</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns <CODE>OZ_True</CODE> if the constraint represented by <CODE>*c</CODE> subsumes the constraint represented by <CODE>*<SPAN class="keyword">this</SPAN></CODE> instance. </P></DD><DT class="purevirtual"><CODE>unify</CODE> <A name="label274"></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">unify</SPAN>(<SPAN class="type">OZ_Ct</SPAN> * <SPAN class="variablename">c</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns a constraint that approximates all elements of the constraint domain denoted by the constraints <CODE>*c</CODE> <EM>and</EM> <CODE>*<SPAN class="keyword">this</SPAN></CODE>. </P></DD><DT class="purevirtual"><CODE>unify</CODE> <A name="label275"></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">unify</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 value denoted by <CODE>t</CODE> is included in the values approximated by the constraint. </P></DD><DT class="purevirtual"><CODE>sizeOf</CODE> <A name="label276"></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">size_t</SPAN> <SPAN class="functionname">sizeOf</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns the size of an instance of the class derived <CODE>OZ_Ct</CODE> (analogue to C's <CODE><SPAN class="keyword">sizeof</SPAN></CODE> operator). </P></DD><DT class="purevirtual"><CODE>getProfile</CODE> <A name="label277"></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_CtProfile</SPAN> * <SPAN class="functionname">getProfile</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns a constraint profile (see <A href="node12.html#ct.reference.profile">Section 2.3</A>) according to the constraint. </P></DD><DT class="purevirtual"><CODE>getWakeUpDescriptor</CODE> <A name="label278"></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_CtWakeUp</SPAN> <SPAN class="functionname">getWakeUpDescriptor</SPAN>(<SPAN class="type">OZ_CtProfile</SPAN> * <SPAN class="variablename">p</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns a descriptor for the wake-up lists to be scanned (see <A href="node11.html#ct.reference.wakeup">Section 2.2</A>). This descriptor is computed by comparing the constraint with the profile <CODE>p</CODE>. Note the profile is usually taken from the constraint before modifying it. </P></DD><DT class="purevirtual"><CODE>toString</CODE> <A name="label279"></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">toString</SPAN>(<SPAN class="type">int</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns a textual representation of the constraint. </P></DD><DT class="purevirtual"><CODE>copy</CODE> <A name="label280"></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">copy</SPAN>(<SPAN class="type">void</SPAN>) = 0;</CODE> </P></BLOCKQUOTE></DD><DD><P>Returns a pointer to a copy of the constraint. The memory for the copy is to be allocated by the operator <CODE><SPAN class="reference">OZ_Ct</SPAN>::<SPAN class="keyword">new</SPAN></CODE>. </P></DD><DT class="static"><CODE><SPAN class="keyword">operator</SPAN> <SPAN class="keyword">new</SPAN></CODE> <A name="label281"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>static operator member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="keyword">static</SPAN> <SPAN class="type">void</SPAN> * <SPAN class="keyword">operator</SPAN> <SPAN class="keyword">new</SPAN>(<SPAN class="type">size_t</SPAN>, <SPAN class="type">int</SPAN> <SPAN class="variablename">align</SPAN> = <SPAN class="keyword">sizeof</SPAN>(<SPAN class="type">void</SPAN> <BR>*));</CODE> </P></BLOCKQUOTE></DD><DD><P>Allocates memory for an instance of the constraint on the heap of the Oz runtime system. </P></DD><DT class="static"><CODE><SPAN class="keyword">operator</SPAN> <SPAN class="keyword">delete</SPAN></CODE> <A name="label282"></A><SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>static operator member function</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><BLOCKQUOTE class="synopsis"><P><CODE><SPAN class="keyword">static</SPAN> <SPAN class="type">void</SPAN> <SPAN class="keyword">operator</SPAN> <SPAN class="keyword">delete</SPAN>(<SPAN class="type">void</SPAN> *, size_t);</CODE> </P></BLOCKQUOTE></DD><DD><P>Deallocates memory of an instance of the constraint from the heap of the Oz runtime system. </P></DD></DL><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node12.html#ct.reference.profile"><< Prev</A></TD><TD><A href="ct.html">- Up -</A></TD><TD><A href="node14.html#ct.reference.ctvar">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>
|