/usr/share/mozart/doc/system/node19.html

1
2

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>5.5 Reflection</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="node18.html#section.fd.telling">&lt;&lt; Prev</A></TD><TD><A href="node14.html">- Up -</A></TD><TD><A href="node20.html#section.fd.watching">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="section.fd.reflection"><H2><A name="section.fd.reflection">5.5 Reflection</A></H2><P></P><DL><DT><A name="label144"></A> <CODE>reflect<SPAN class="keyword">.</SPAN>min</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FD<SPAN class="keyword">.</SPAN>reflect<SPAN class="keyword">.</SPAN>min&nbsp;</CODE><CODE>*<I>D1</I></CODE><CODE>&nbsp;</CODE><CODE>?<I>D2</I></CODE><CODE>}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>returns the current lower bound of <CODE><I>D1</I></CODE>. </P></DD><DT><A name="label146"></A> <CODE>reflect<SPAN class="keyword">.</SPAN>max</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FD<SPAN class="keyword">.</SPAN>reflect<SPAN class="keyword">.</SPAN>max&nbsp;</CODE><CODE>*<I>D1</I></CODE><CODE>&nbsp;</CODE><CODE>?<I>D2</I></CODE><CODE>}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>returns the current upper bound of <CODE><I>D1</I></CODE>. </P></DD><DT><A name="label148"></A> <CODE>reflect<SPAN class="keyword">.</SPAN>mid</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FD<SPAN class="keyword">.</SPAN>reflect<SPAN class="keyword">.</SPAN>mid&nbsp;</CODE><CODE>*<I>D1</I></CODE><CODE>&nbsp;</CODE><CODE>?<I>D2</I></CODE><CODE>}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>returns the integer which is closest to the middle of the current domain (the arithmetical means of the lower and upper bound of <CODE><I>D1</I></CODE>). In case of ties, the smaller element is selected. </P></DD><DT><A name="label150"></A> <CODE>reflect<SPAN class="keyword">.</SPAN>nextLarger</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FD<SPAN class="keyword">.</SPAN>reflect<SPAN class="keyword">.</SPAN>nextLarger&nbsp;</CODE><CODE>*<I>D1</I></CODE><CODE>&nbsp;</CODE><CODE>+<I>D2</I></CODE><CODE>&nbsp;</CODE><CODE>?<I>D3</I></CODE><CODE>}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>returns the smallest integer in the domain of <CODE><I>D1</I></CODE> which is larger than <CODE><I>D2</I></CODE>. </P></DD><DT><A name="label152"></A> <CODE>reflect<SPAN class="keyword">.</SPAN>nextSmaller</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FD<SPAN class="keyword">.</SPAN>reflect<SPAN class="keyword">.</SPAN>nextSmaller&nbsp;</CODE><CODE>*<I>D1</I></CODE><CODE>&nbsp;</CODE><CODE>+<I>D2</I></CODE><CODE>&nbsp;</CODE><CODE>?<I>D3</I></CODE><CODE>}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>returns the largest integer in the domain of <CODE><I>D1</I></CODE> which is smaller than <CODE><I>D2</I></CODE>. </P></DD><DT><A name="label154"></A> <CODE>reflect<SPAN class="keyword">.</SPAN>size</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FD<SPAN class="keyword">.</SPAN>reflect<SPAN class="keyword">.</SPAN>size&nbsp;</CODE><CODE>*<I>D1</I></CODE><CODE>&nbsp;</CODE><CODE>?<I>D2</I></CODE><CODE>}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>returns the size of the current domain of <CODE><I>D1</I></CODE>. </P></DD><DT><A name="label156"></A> <CODE>reflect<SPAN class="keyword">.</SPAN>domList</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FD<SPAN class="keyword">.</SPAN>reflect<SPAN class="keyword">.</SPAN>domList&nbsp;</CODE><CODE>*<I>D</I></CODE><CODE>&nbsp;</CODE><CODE>?<I>Ds</I></CODE><CODE>}&nbsp;&nbsp;</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>returns the current domain of <CODE><I>D</I></CODE> as an ordered list of integers. </P></DD><DT><A name="label158"></A> <CODE>reflect<SPAN class="keyword">.</SPAN>dom</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FD<SPAN class="keyword">.</SPAN>reflect<SPAN class="keyword">.</SPAN>dom&nbsp;</CODE><CODE>*<I>D</I></CODE><CODE>&nbsp;</CODE><CODE>?<I>Spec</I></CODE><CODE>}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>returns the current domain of <CODE><I>D</I></CODE> as a domain specification. </P></DD><DT><A name="label160"></A> <CODE>reflect<SPAN class="keyword">.</SPAN>nbSusps</CODE></DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{FD<SPAN class="keyword">.</SPAN>reflect<SPAN class="keyword">.</SPAN>nbSusps&nbsp;</CODE><CODE>*<I>D</I></CODE><CODE>&nbsp;</CODE><CODE>?<I>I</I></CODE><CODE>}</CODE></BLOCKQUOTE><P></P></BLOCKQUOTE></DD><DD><P>returns the current number of suspensions on <CODE><I>D</I></CODE>.</P></DD></DL><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node18.html#section.fd.telling">&lt;&lt; Prev</A></TD><TD><A href="node14.html">- Up -</A></TD><TD><A href="node20.html#section.fd.watching">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys&nbsp;Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif&nbsp;Kornstaedt</A>, <A href="http://www.ps.uni-sb.de/~homik/">Martin&nbsp;Homik</A>, <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias&nbsp;Müller</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A> and&nbsp;<A href="http://www.info.ucl.ac.be/~pvr">Peter&nbsp;Van Roy</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>

mozart-doc 1.4.0-8ubuntu1 / usr / share / mozart / doc / system / node19.html