&nbsp;<A NAME="methods_inherited_from_class_JSHOP2.Precondition"><!-- --></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/Precondition.html" title="class in JSHOP2">Precondition</A></B></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD><CODE><A HREF="../JSHOP2/Precondition.html#nextBinding()">nextBinding</A>, <A HREF="../JSHOP2/Precondition.html#reset()">reset</A>, <A HREF="../JSHOP2/Precondition.html#setComparator(java.util.Comparator)">setComparator</A>, <A HREF="../JSHOP2/Precondition.html#setFirst(boolean)">setFirst</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="boundT"><!-- --></A><H3>boundT</H3><PRE>private <A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A> <B>boundT</B></PRE><DL><DD>The term this call logical expression represents, after all the bindings  are applied.<P><DL></DL></DL><HR><A NAME="retVal"><!-- --></A><H3>retVal</H3><PRE>private <A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[] <B>retVal</B></PRE><DL><DD>The array this object will return as its next binding.<P><DL></DL></DL><HR><A NAME="term"><!-- --></A><H3>term</H3><PRE>private <A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A> <B>term</B></PRE><DL><DD>The term this call logical expression represents, without any subsequent  bindings applied to it.<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="PreconditionCall(JSHOP2.TermCall, JSHOP2.Term[])"><!-- --></A><H3>PreconditionCall</H3><PRE>public <B>PreconditionCall</B>(<A HREF="../JSHOP2/TermCall.html" title="class in JSHOP2">TermCall</A>&nbsp;termIn,                        <A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[]&nbsp;unifier)</PRE><DL><DD>To initialize this call logical expression.<P><DL><DT><B>Parameters:</B><DD><CODE>termIn</CODE> - the term this call logical expression represents.<DD><CODE>unifier</CODE> - the current unifier.</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="bind(JSHOP2.Term[])"><!-- --></A><H3>bind</H3><PRE>public void <B>bind</B>(<A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[]&nbsp;binding)</PRE><DL><DD>To bind the call logical expression to some binding.<P><DD><DL><DT><B>Specified by:</B><DD><CODE><A HREF="../JSHOP2/Precondition.html#bind(JSHOP2.Term[])">bind</A></CODE> in class <CODE><A HREF="../JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A></CODE></DL></DD><DD><DL><DT><B>Parameters:</B><DD><CODE>binding</CODE> - the given binding.</DL></DD></DL><HR><A NAME="nextBindingHelper()"><!-- --></A><H3>nextBindingHelper</H3><PRE>protected <A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[] <B>nextBindingHelper</B>()</PRE><DL><DD>To return the next satisfier for this call logical expression.<P><DD><DL><DT><B>Specified by:</B><DD><CODE><A HREF="../JSHOP2/Precondition.html#nextBindingHelper()">nextBindingHelper</A></CODE> in class <CODE><A HREF="../JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A></CODE></DL></DD><DD><DL></DL></DD></DL><HR><A NAME="resetHelper()"><!-- --></A><H3>resetHelper</H3><PRE>protected void <B>resetHelper</B>()</PRE><DL><DD>To reset this call logical expression.<P><DD><DL><DT><B>Specified by:</B><DD><CODE><A HREF="../JSHOP2/Precondition.html#resetHelper()">resetHelper</A></CODE> in class <CODE><A HREF="../JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A></CODE></DL></DD><DD><DL></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/PreconditionAtomic.html" title="class in JSHOP2"><B>PREV CLASS</B></A>&nbsp;&nbsp;<A HREF="../JSHOP2/PreconditionForAll.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/PreconditionCall.html" target="_top"><B>FRAMES</B></A>  &nbsp;&nbsp;<A HREF="PreconditionCall.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>