</TABLE>&nbsp;<A NAME="methods_inherited_from_class_JSHOP2.LogicalExpression"><!-- --></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/LogicalExpression.html" title="class in JSHOP2">LogicalExpression</A></B></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD><CODE><A HREF="../JSHOP2/LogicalExpression.html#getClassCnt()">getClassCnt</A>, <A HREF="../JSHOP2/LogicalExpression.html#getVarCount()">getVarCount</A>, <A HREF="../JSHOP2/LogicalExpression.html#setVarCount(int)">setVarCount</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="term"><!-- --></A><H3>term</H3><PRE>private <A HREF="../JSHOP2/TermCall.html" title="class in JSHOP2">TermCall</A> <B>term</B></PRE><DL><DD>The call term this object represents.<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="LogicalExpressionCall(JSHOP2.TermCall)"><!-- --></A><H3>LogicalExpressionCall</H3><PRE>public <B>LogicalExpressionCall</B>(<A HREF="../JSHOP2/TermCall.html" title="class in JSHOP2">TermCall</A>&nbsp;termIn)</PRE><DL><DD>To initialize this call logical expression.<P><DL><DT><B>Parameters:</B><DD><CODE>termIn</CODE> - the call term this object represents.</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="getInitCode()"><!-- --></A><H3>getInitCode</H3><PRE>public java.lang.String <B>getInitCode</B>()</PRE><DL><DD>This class does not need any initialization code, therefore, this  function simply returns an empty <code>String</code>.<P><DD><DL><DT><B>Specified by:</B><DD><CODE><A HREF="../JSHOP2/LogicalExpression.html#getInitCode()">getInitCode</A></CODE> in class <CODE><A HREF="../JSHOP2/LogicalExpression.html" title="class in JSHOP2">LogicalExpression</A></CODE></DL></DD><DD><DL><DT><B>Returns:</B><DD>the produced code as a <code>String</code>.</DL></DD></DL><HR><A NAME="getNNF(boolean)"><!-- --></A><H3>getNNF</H3><PRE>public <A HREF="../JSHOP2/LogicalExpression.html" title="class in JSHOP2">LogicalExpression</A> <B>getNNF</B>(boolean&nbsp;negated)</PRE><DL><DD><DL></DL></DD></DL><HR><A NAME="propagateVarCount(int)"><!-- --></A><H3>propagateVarCount</H3><PRE>protected void <B>propagateVarCount</B>(int&nbsp;varCount)</PRE><DL><DD>This class does not need to propagate the variable count, therefore, this  function does nothing.<P><DD><DL><DT><B>Specified by:</B><DD><CODE><A HREF="../JSHOP2/LogicalExpression.html#propagateVarCount(int)">propagateVarCount</A></CODE> in class <CODE><A HREF="../JSHOP2/LogicalExpression.html" title="class in JSHOP2">LogicalExpression</A></CODE></DL></DD><DD><DL><DT><B>Parameters:</B><DD><CODE>varCount</CODE> - the number of variables for this logical expression.</DL></DD></DL><HR><A NAME="toCode()"><!-- --></A><H3>toCode</H3><PRE>public java.lang.String <B>toCode</B>()</PRE><DL><DD>This function produces the Java code to create a  <code>PreconditionCall</code> object that represents this call logical  expression at run time.<P><DD><DL><DT><B>Specified by:</B><DD><CODE><A HREF="../JSHOP2/CompileTimeObject.html#toCode()">toCode</A></CODE> in class <CODE><A HREF="../JSHOP2/CompileTimeObject.html" title="class in JSHOP2">CompileTimeObject</A></CODE></DL></DD><DD><DL><DT><B>Returns:</B><DD>the produced code as a <code>String</code>.</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/LogicalExpressionAtomic.html" title="class in JSHOP2"><B>PREV CLASS</B></A>&nbsp;&nbsp;<A HREF="../JSHOP2/LogicalExpressionConjunction.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/LogicalExpressionCall.html" target="_top"><B>FRAMES</B></A>  &nbsp;&nbsp;<A HREF="LogicalExpressionCall.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>