</TABLE>&nbsp;<A NAME="methods_inherited_from_class_JSHOP2.CompileTimeObject"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor"><TH ALIGN="left"><B>Methods inherited from class JSHOP2.<A HREF="../JSHOP2/CompileTimeObject.html" title="class in JSHOP2">CompileTimeObject</A></B></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD><CODE><A HREF="../JSHOP2/CompileTimeObject.html#toCode()">toCode</A></CODE></TD></TR></TABLE>&nbsp;<A NAME="methods_inherited_from_class_java.lang.Object"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor"><TH ALIGN="left"><B>Methods inherited from class java.lang.Object</B></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD><CODE>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</CODE></TD></TR></TABLE>&nbsp;<P><!-- ============ FIELD DETAIL =========== --><A NAME="field_detail"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2"><B>Field Detail</B></FONT></TH></TR></TABLE><A NAME="classCnt"><!-- --></A><H3>classCnt</H3><PRE>private static int <B>classCnt</B></PRE><DL><DD>The number of times function <code>getClassCnt()</code> is called before.<P><DL></DL></DL><HR><A NAME="varCount"><!-- --></A><H3>varCount</H3><PRE>private int <B>varCount</B></PRE><DL><DD>The number of variables in this logical expression, used to determine  the size of bindings when unifiers are calculated.<P><DL></DL></DL><!-- ========= CONSTRUCTOR DETAIL ======== --><A NAME="constructor_detail"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2"><B>Constructor Detail</B></FONT></TH></TR></TABLE><A NAME="LogicalExpression()"><!-- --></A><H3>LogicalExpression</H3><PRE>public <B>LogicalExpression</B>()</PRE><DL></DL><!-- ============ METHOD DETAIL ========== --><A NAME="method_detail"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2"><B>Method Detail</B></FONT></TH></TR></TABLE><A NAME="getClassCnt()"><!-- --></A><H3>getClassCnt</H3><PRE>public int <B>getClassCnt</B>()</PRE><DL><DD>This function returns a unique integer every time called. This unique  integer is used at compile time to make names of classes that implement  preconditions at run time unique.<P><DD><DL><DT><B>Returns:</B><DD>the unique integer.</DL></DD></DL><HR><A NAME="getInitCode()"><!-- --></A><H3>getInitCode</H3><PRE>public abstract java.lang.String <B>getInitCode</B>()</PRE><DL><DD>This function produces Java code that initializes some data structures  that will be needed to create the precondition object that implements  this logical expression at run time.<P><DD><DL><DT><B>Returns:</B><DD>the produced code as a <code>String</code>.</DL></DD></DL><HR><A NAME="getVarCount()"><!-- --></A><H3>getVarCount</H3><PRE>public int <B>getVarCount</B>()</PRE><DL><DD>This function returns the number of variables in this logical expression.<P><DD><DL><DT><B>Returns:</B><DD>the number of variables in this logical expression.</DL></DD></DL><HR><A NAME="propagateVarCount(int)"><!-- --></A><H3>propagateVarCount</H3><PRE>protected abstract void <B>propagateVarCount</B>(int&nbsp;varCountIn)</PRE><DL><DD>This abstract function is called whenever the number of variables for an  object of this class is set. Classes that extend this class should  implement this function accordingly in order to update their own data  structures where they hold this information.<P><DD><DL><DT><B>Parameters:</B><DD><CODE>varCountIn</CODE> - the number of variables for this logical expression.</DL></DD></DL><HR><A NAME="setVarCount(int)"><!-- --></A><H3>setVarCount</H3><PRE>public void <B>setVarCount</B>(int&nbsp;varCountIn)</PRE><DL><DD>This function is used to set the number of variables for this logical  expression.<P><DD><DL><DT><B>Parameters:</B><DD><CODE>varCountIn</CODE> - the number of variables for this logical expression.</DL></DD></DL><!-- ========= END OF CLASS DATA ========= --><HR><!-- ======= START OF BOTTOM NAVBAR ====== --><A NAME="navbar_bottom"><!-- --></A><A HREF="#skip-navbar_bottom" title="Skip navigation links"></A><TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY=""><TR><TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1"><A NAME="navbar_bottom_firstrow"><!-- --></A><TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">  <TR ALIGN="center" VALIGN="top">  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../JSHOP2/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A>&nbsp;</TD>  <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT>&nbsp;</TD>  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A>&nbsp;</TD>  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A>&nbsp;</TD>  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A>&nbsp;</TD>  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A>&nbsp;</TD>  </TR></TABLE></TD><TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM></EM></TD></TR><TR><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">&nbsp;<A HREF="../JSHOP2/List.html" title="class in JSHOP2"><B>PREV CLASS</B></A>&nbsp;&nbsp;<A HREF="../JSHOP2/LogicalExpressionAssignment.html" title="class in JSHOP2"><B>NEXT CLASS</B></A></FONT></TD><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">  <A HREF="../index.html?JSHOP2/LogicalExpression.html" target="_top"><B>FRAMES</B></A>  &nbsp;&nbsp;<A HREF="LogicalExpression.html" target="_top"><B>NO FRAMES</B></A>  &nbsp;&nbsp;<SCRIPT type="text/javascript">  <!--  if(window==top) {    document.writeln('<A HREF="../allclasses-noframe.html"><B>All Classes</B></A>');  }  //--></SCRIPT><NOSCRIPT>  <A HREF="../allclasses-noframe.html"><B>All Classes</B></A></NOSCRIPT></FONT></TD></TR><TR><TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">  SUMMARY:&nbsp;NESTED&nbsp;|&nbsp;<A HREF="#field_summary">FIELD</A>&nbsp;|&nbsp;<A HREF="#constructor_summary">CONSTR</A>&nbsp;|&nbsp;<A HREF="#method_summary">METHOD</A></FONT></TD><TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">DETAIL:&nbsp;<A HREF="#field_detail">FIELD</A>&nbsp;|&nbsp;<A HREF="#constructor_detail">CONSTR</A>&nbsp;|&nbsp;<A HREF="#method_detail">METHOD</A></FONT></TD></TR></TABLE><A NAME="skip-navbar_bottom"></A><!-- ======== END OF BOTTOM NAVBAR ======= --><HR></BODY></HTML>