--- /dev/null
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">\r
+<!--NewPage-->\r
+<HTML>\r
+<HEAD>\r
+<!-- Generated by javadoc (build 1.5.0_11) on Tue Apr 10 15:02:18 UTC 2007 -->\r
+<TITLE>\r
+SampleLabel\r
+</TITLE>\r
+\r
+<META NAME="keywords" CONTENT="org.w3c.jigsaw.pics.SampleLabel class">\r
+\r
+<LINK REL ="stylesheet" TYPE="text/css" HREF="../../../../stylesheet.css" TITLE="Style">\r
+\r
+<SCRIPT type="text/javascript">\r
+function windowTitle()\r
+{\r
+ parent.document.title="SampleLabel";\r
+}\r
+</SCRIPT>\r
+<NOSCRIPT>\r
+</NOSCRIPT>\r
+\r
+</HEAD>\r
+\r
+<BODY BGCOLOR="white" onload="windowTitle();">\r
+\r
+\r
+<!-- ========= START OF TOP NAVBAR ======= -->\r
+<A NAME="navbar_top"><!-- --></A>\r
+<A HREF="#skip-navbar_top" title="Skip navigation links"></A>\r
+<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">\r
+<TR>\r
+<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">\r
+<A NAME="navbar_top_firstrow"><!-- --></A>\r
+<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">\r
+ <TR ALIGN="center" VALIGN="top">\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>\r
+ </TR>\r
+</TABLE>\r
+</TD>\r
+<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>\r
+</EM>\r
+</TD>\r
+</TR>\r
+\r
+<TR>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../../org/w3c/jigsaw/pics/PICSFilter.html" title="class in org.w3c.jigsaw.pics"><B>PREV CLASS</B></A> \r
+ <A HREF="../../../../org/w3c/jigsaw/pics/SampleLabelBureau.html" title="class in org.w3c.jigsaw.pics"><B>NEXT CLASS</B></A></FONT></TD>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../../index.html?org/w3c/jigsaw/pics/SampleLabel.html" target="_top"><B>FRAMES</B></A> \r
+ <A HREF="SampleLabel.html" target="_top"><B>NO FRAMES</B></A> \r
+ <SCRIPT type="text/javascript">\r
+ <!--\r
+ if(window==top) {\r
+ document.writeln('<A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>');\r
+ }\r
+ //-->\r
+</SCRIPT>\r
+<NOSCRIPT>\r
+ <A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>\r
+</NOSCRIPT>\r
+\r
+\r
+</FONT></TD>\r
+</TR>\r
+<TR>\r
+<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">\r
+ SUMMARY: NESTED | FIELD | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#method_summary">METHOD</A></FONT></TD>\r
+<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">\r
+DETAIL: FIELD | <A HREF="#constructor_detail">CONSTR</A> | <A HREF="#method_detail">METHOD</A></FONT></TD>\r
+</TR>\r
+</TABLE>\r
+<A NAME="skip-navbar_top"></A>\r
+<!-- ========= END OF TOP NAVBAR ========= -->\r
+\r
+<HR>\r
+<!-- ======== START OF CLASS DATA ======== -->\r
+<H2>\r
+<FONT SIZE="-1">\r
+org.w3c.jigsaw.pics</FONT>\r
+<BR>\r
+Class SampleLabel</H2>\r
+<PRE>\r
+java.lang.Object\r
+ <IMG SRC="../../../../resources/inherit.gif" ALT="extended by "><B>org.w3c.jigsaw.pics.SampleLabel</B>\r
+</PRE>\r
+<DL>\r
+<DT><B>All Implemented Interfaces:</B> <DD><A HREF="../../../../org/w3c/jigsaw/pics/LabelInterface.html" title="interface in org.w3c.jigsaw.pics">LabelInterface</A></DD>\r
+</DL>\r
+<HR>\r
+<DL>\r
+<DT><PRE>public class <B>SampleLabel</B><DT>extends java.lang.Object<DT>implements <A HREF="../../../../org/w3c/jigsaw/pics/LabelInterface.html" title="interface in org.w3c.jigsaw.pics">LabelInterface</A></DL>\r
+</PRE>\r
+\r
+<P>\r
+Label internal representation.\r
+ The server has to know something about labels. In this implementation, I try\r
+ to reduce this knowledge as fas as I could. Here, a label is a set of\r
+ assignements to variables (options in PICS terms), and a rating.\r
+ The syntax for writing label files is the following:\r
+ <variable>=<value>\n\r
+ <p>Comments are allowed through the '#' at beginning of line.\r
+ With the special variable 'ratings' being mandatory.\r
+<P>\r
+\r
+<P>\r
+<HR>\r
+\r
+<P>\r
+\r
+<!-- ======== CONSTRUCTOR SUMMARY ======== -->\r
+\r
+<A NAME="constructor_summary"><!-- --></A>\r
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">\r
+<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">\r
+<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">\r
+<B>Constructor Summary</B></FONT></TH>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/pics/SampleLabel.html#SampleLabel(java.lang.String[], java.lang.String[])">SampleLabel</A></B>(java.lang.String[] optnames,\r
+ java.lang.String[] optvals)</CODE>\r
+\r
+<BR>\r
+ Create a new label from a set of options.</TD>\r
+</TR>\r
+</TABLE>\r
+ \r
+<!-- ========== METHOD SUMMARY =========== -->\r
+\r
+<A NAME="method_summary"><!-- --></A>\r
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">\r
+<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">\r
+<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">\r
+<B>Method Summary</B></FONT></TH>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/pics/SampleLabel.html#dump(java.lang.StringBuffer, int)">dump</A></B>(java.lang.StringBuffer into,\r
+ int format)</CODE>\r
+\r
+<BR>\r
+ Dump this label according to the given format.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> int</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/pics/SampleLabel.html#getOptionIndex(java.lang.String)">getOptionIndex</A></B>(java.lang.String option)</CODE>\r
+\r
+<BR>\r
+ Get an option index.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> java.lang.String</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/pics/SampleLabel.html#getOptionValue(int)">getOptionValue</A></B>(int idx)</CODE>\r
+\r
+<BR>\r
+ Get an option value, by index.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> java.lang.String</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/pics/SampleLabel.html#getOptionValue(java.lang.String)">getOptionValue</A></B>(java.lang.String option)</CODE>\r
+\r
+<BR>\r
+ Get an option value, by option name.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> boolean</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/pics/SampleLabel.html#hasOption(java.lang.String)">hasOption</A></B>(java.lang.String option)</CODE>\r
+\r
+<BR>\r
+ Does this label defines the given option ?</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> boolean</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/pics/SampleLabel.html#isGeneric()">isGeneric</A></B>()</CODE>\r
+\r
+<BR>\r
+ Is this label generic ?</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>static void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/pics/SampleLabel.html#main(java.lang.String[])">main</A></B>(java.lang.String[] args)</CODE>\r
+\r
+<BR>\r
+ </TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/pics/SampleLabel.html#print(java.io.PrintStream)">print</A></B>(java.io.PrintStream out)</CODE>\r
+\r
+<BR>\r
+ Debugging: print the given options of this label.</TD>\r
+</TR>\r
+</TABLE>\r
+ <A NAME="methods_inherited_from_class_java.lang.Object"><!-- --></A>\r
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">\r
+<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">\r
+<TH ALIGN="left"><B>Methods inherited from class java.lang.Object</B></TH>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD><CODE>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</CODE></TD>\r
+</TR>\r
+</TABLE>\r
+ \r
+<P>\r
+\r
+<!-- ========= CONSTRUCTOR DETAIL ======== -->\r
+\r
+<A NAME="constructor_detail"><!-- --></A>\r
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">\r
+<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">\r
+<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">\r
+<B>Constructor Detail</B></FONT></TH>\r
+</TR>\r
+</TABLE>\r
+\r
+<A NAME="SampleLabel(java.lang.String[], java.lang.String[])"><!-- --></A><H3>\r
+SampleLabel</H3>\r
+<PRE>\r
+public <B>SampleLabel</B>(java.lang.String[] optnames,\r
+ java.lang.String[] optvals)</PRE>\r
+<DL>\r
+<DD>Create a new label from a set of options.\r
+ This constructor takes two arrays, one of option names, and one\r
+ of option values. It builds out of them the internal\r
+ representation for this label.\r
+ <p>The given arrays are used as is (no copy), and might side-effected\r
+ by the new instance.\r
+<P>\r
+<DL>\r
+<DT><B>Parameters:</B><DD><CODE>optnames</CODE> - Names of option for this label.<DD><CODE>optvalues</CODE> - Values of option for this label.</DL>\r
+</DL>\r
+\r
+<!-- ============ METHOD DETAIL ========== -->\r
+\r
+<A NAME="method_detail"><!-- --></A>\r
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">\r
+<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">\r
+<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">\r
+<B>Method Detail</B></FONT></TH>\r
+</TR>\r
+</TABLE>\r
+\r
+<A NAME="print(java.io.PrintStream)"><!-- --></A><H3>\r
+print</H3>\r
+<PRE>\r
+public void <B>print</B>(java.io.PrintStream out)</PRE>\r
+<DL>\r
+<DD>Debugging: print the given options of this label.\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>out</CODE> - The PrintStream to print to.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="hasOption(java.lang.String)"><!-- --></A><H3>\r
+hasOption</H3>\r
+<PRE>\r
+public boolean <B>hasOption</B>(java.lang.String option)</PRE>\r
+<DL>\r
+<DD>Does this label defines the given option ?\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>option</CODE> - The option to look for.\r
+<DT><B>Returns:</B><DD><strong>true</strong> if the label defines the given option.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getOptionIndex(java.lang.String)"><!-- --></A><H3>\r
+getOptionIndex</H3>\r
+<PRE>\r
+public int <B>getOptionIndex</B>(java.lang.String option)</PRE>\r
+<DL>\r
+<DD>Get an option index.\r
+ This allows for fast acces to label options. There is no guarantee that\r
+ the same option will get the same index across labels.\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>option</CODE> - The option to look for.\r
+<DT><B>Returns:</B><DD>An integer, which is the option index if the option was found\r
+ or <strong>-1</strong> if the option isn't defined for this label.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getOptionValue(int)"><!-- --></A><H3>\r
+getOptionValue</H3>\r
+<PRE>\r
+public java.lang.String <B>getOptionValue</B>(int idx)</PRE>\r
+<DL>\r
+<DD>Get an option value, by index.\r
+ This, along with the <strong>getOptionIndex</strong> method provides\r
+ a fast access to option values.\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>idx</CODE> - The index of the option, as gotten from \r
+ <strong>getOptionIndex</strong>.\r
+<DT><B>Returns:</B><DD>A String instance, providing the option value.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getOptionValue(java.lang.String)"><!-- --></A><H3>\r
+getOptionValue</H3>\r
+<PRE>\r
+public java.lang.String <B>getOptionValue</B>(java.lang.String option)</PRE>\r
+<DL>\r
+<DD>Get an option value, by option name.\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>option</CODE> - The option that you want the value of.\r
+<DT><B>Returns:</B><DD>A String instance giving the option value, or \r
+ <strong>null</strong>, if the option isn't defined for this label.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="isGeneric()"><!-- --></A><H3>\r
+isGeneric</H3>\r
+<PRE>\r
+public boolean <B>isGeneric</B>()</PRE>\r
+<DL>\r
+<DD>Is this label generic ?\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+\r
+<DT><B>Returns:</B><DD><strong>true</strong> if the label if generic.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="dump(java.lang.StringBuffer, int)"><!-- --></A><H3>\r
+dump</H3>\r
+<PRE>\r
+public void <B>dump</B>(java.lang.StringBuffer into,\r
+ int format)</PRE>\r
+<DL>\r
+<DD>Dump this label according to the given format.\r
+ The dump should take place <em>after</em> the service has dump itself.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../org/w3c/jigsaw/pics/LabelInterface.html#dump(java.lang.StringBuffer, int)">dump</A></CODE> in interface <CODE><A HREF="../../../../org/w3c/jigsaw/pics/LabelInterface.html" title="interface in org.w3c.jigsaw.pics">LabelInterface</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>into</CODE> - A StringBuffer to dump the labels to.<DD><CODE>format</CODE> - The format in which the dump should be done. This can\r
+ be one of the four format described in the PICS specification.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="main(java.lang.String[])"><!-- --></A><H3>\r
+main</H3>\r
+<PRE>\r
+public static void <B>main</B>(java.lang.String[] args)</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<!-- ========= END OF CLASS DATA ========= -->\r
+<HR>\r
+\r
+\r
+<!-- ======= START OF BOTTOM NAVBAR ====== -->\r
+<A NAME="navbar_bottom"><!-- --></A>\r
+<A HREF="#skip-navbar_bottom" title="Skip navigation links"></A>\r
+<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">\r
+<TR>\r
+<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">\r
+<A NAME="navbar_bottom_firstrow"><!-- --></A>\r
+<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">\r
+ <TR ALIGN="center" VALIGN="top">\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>\r
+ </TR>\r
+</TABLE>\r
+</TD>\r
+<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>\r
+</EM>\r
+</TD>\r
+</TR>\r
+\r
+<TR>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../../org/w3c/jigsaw/pics/PICSFilter.html" title="class in org.w3c.jigsaw.pics"><B>PREV CLASS</B></A> \r
+ <A HREF="../../../../org/w3c/jigsaw/pics/SampleLabelBureau.html" title="class in org.w3c.jigsaw.pics"><B>NEXT CLASS</B></A></FONT></TD>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../../index.html?org/w3c/jigsaw/pics/SampleLabel.html" target="_top"><B>FRAMES</B></A> \r
+ <A HREF="SampleLabel.html" target="_top"><B>NO FRAMES</B></A> \r
+ <SCRIPT type="text/javascript">\r
+ <!--\r
+ if(window==top) {\r
+ document.writeln('<A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>');\r
+ }\r
+ //-->\r
+</SCRIPT>\r
+<NOSCRIPT>\r
+ <A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>\r
+</NOSCRIPT>\r
+\r
+\r
+</FONT></TD>\r
+</TR>\r
+<TR>\r
+<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">\r
+ SUMMARY: NESTED | FIELD | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#method_summary">METHOD</A></FONT></TD>\r
+<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">\r
+DETAIL: FIELD | <A HREF="#constructor_detail">CONSTR</A> | <A HREF="#method_detail">METHOD</A></FONT></TD>\r
+</TR>\r
+</TABLE>\r
+<A NAME="skip-navbar_bottom"></A>\r
+<!-- ======== END OF BOTTOM NAVBAR ======= -->\r
+\r
+<HR>\r
+\r
+</BODY>\r
+</HTML>\r
projects / Benchmarks_CSolver.git / blobdiff