precondition.html

SHOP2 一个人工智能里面关于任务分解和任务规划的系统。JSHOP2是其java版本。

<!-- ============ 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="bindings"><!-- --></A><H3>
bindings</H3>
<PRE>
<A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[][] <B>bindings</B></PRE>
<DL>
<DD>The array that stores the sorted satisfiers for this logical precondition
  if this is a <code>:sort-by</code> logical precondition.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="bindingsIdx"><!-- --></A><H3>
bindingsIdx</H3>
<PRE>
int <B>bindingsIdx</B></PRE>
<DL>
<DD>The index pointing to the next satisfier to be returned in case this is a
  <code>:sort-by</code> logical precondition.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="comp"><!-- --></A><H3>
comp</H3>
<PRE>
private java.util.Comparator&lt;<A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[]&gt; <B>comp</B></PRE>
<DL>
<DD>The function to be used to sort the possible bindings if this is a
  <code>:sort-by</code> logical precondition.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="first"><!-- --></A><H3>
first</H3>
<PRE>
private boolean <B>first</B></PRE>
<DL>
<DD>Whether or not this logical expression is marked <code>:first</code>.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="firstCall"><!-- --></A><H3>
firstCall</H3>
<PRE>
private boolean <B>firstCall</B></PRE>
<DL>
<DD>Whether or not this is the first time the <code>nextBinding</code>
  function is called for this object after the latest call to its
  <code>reset</code> function.
<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="Precondition()"><!-- --></A><H3>
Precondition</H3>
<PRE>
public <B>Precondition</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="bind(JSHOP2.Term[])"><!-- --></A><H3>
bind</H3>
<PRE>
public abstract void <B>bind</B>(<A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[]&nbsp;binding)</PRE>
<DL>
<DD>This abstract function binds the logical expression to a given binding.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>binding</CODE> - the given binding.</DL>
</DD>
</DL>
<HR>

<A NAME="nextBinding()"><!-- --></A><H3>
nextBinding</H3>
<PRE>
public <A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[] <B>nextBinding</B>()</PRE>
<DL>
<DD>This function returns the next satisfier for this logical expression.
<P>
<DD><DL>

<DT><B>Returns:</B><DD>the next satisfier as an array of terms, each element of which
          is either what its corresponding variable should be mapped to,
          or <code>null</code> when that variable is not mapped under this
          satisfier, <code>null</code> if there is no such satisfier.</DL>
</DD>
</DL>
<HR>

<A NAME="nextBindingHelper()"><!-- --></A><H3>
nextBindingHelper</H3>
<PRE>
protected abstract <A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[] <B>nextBindingHelper</B>()</PRE>
<DL>
<DD>This abstract function is called by the <code>nextBinding</code> function
  and does the subclass-specific part of the finding the next binding.
<P>
<DD><DL>
</DL>
</DD>
</DL>
<HR>

<A NAME="reset()"><!-- --></A><H3>
reset</H3>
<PRE>
public void <B>reset</B>()</PRE>
<DL>
<DD>This function resets this iterator so that it can iterate over again.
  Note that this will undo any bindings and/or iterations done before.
<P>
<DD><DL>
</DL>
</DD>
</DL>
<HR>

<A NAME="resetHelper()"><!-- --></A><H3>
resetHelper</H3>
<PRE>
protected abstract void <B>resetHelper</B>()</PRE>
<DL>
<DD>This abstract function is called by the <code>reset</code> function and
  does the subclass-specific part of the resetting.
<P>
<DD><DL>
</DL>
</DD>
</DL>
<HR>

<A NAME="setComparator(java.util.Comparator)"><!-- --></A><H3>
setComparator</H3>
<PRE>
public <A HREF="../JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A> <B>setComparator</B>(java.util.Comparator&lt;<A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[]&gt;&nbsp;compIn)</PRE>
<DL>
<DD>To set the function to be used to sort the possible bindings that satisfy
  this logical precondition.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>compIn</CODE> - the function to be used to sort the possible bindings in case
          this is a <code>:sort-by</code> logical precondition,
          <code>null</code> otherwise.
<DT><B>Returns:</B><DD>this object.</DL>
</DD>
</DL>
<HR>

<A NAME="setFirst(boolean)"><!-- --></A><H3>
setFirst</H3>
<PRE>
public void <B>setFirst</B>(boolean&nbsp;firstIn)</PRE>
<DL>
<DD>To set whether or not this function is marked <code>:fist</code>.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>firstIn</CODE> - <code>true</code> if this logical expression is marked
          <code>:first</code>, <code>false</code> otherwise.</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/Power.html" title="class in JSHOP2"><B>PREV CLASS</B></A>&nbsp;
&nbsp;<A HREF="../JSHOP2/PreconditionAssign.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/Precondition.html" target="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="Precondition.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>