 
<A NAME="tex2html841"
  HREF="manual-node167.html">
<IMG WIDTH="43" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="index" SRC="index.png"></A> 
<BR>
<B> Next:</B> <A NAME="tex2html844"
  HREF="manual-node32.html">Classes and Methods</A>
<B> Up:</B> <A NAME="tex2html838"
  HREF="manual-node11.html">Bibliography</A>
<B> Previous:</B> <A NAME="tex2html832"
  HREF="manual-node30.html">Predicates</A>
 &nbsp; <B>  <A NAME="tex2html840"
  HREF="manual-node1.html">Contents</A></B> 
 &nbsp; <B>  <A NAME="tex2html842"
