📄 myiterator.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"><!--NewPage--><HTML><HEAD><!-- Generated by javadoc (build 1.5.0_07) on Tue Oct 16 12:57:45 EDT 2007 --><TITLE>MyIterator</TITLE><META NAME="keywords" CONTENT="JSHOP2.MyIterator class"><LINK REL ="stylesheet" TYPE="text/css" HREF="../stylesheet.css" TITLE="Style"><SCRIPT type="text/javascript">function windowTitle(){ parent.document.title="MyIterator";}</SCRIPT><NOSCRIPT></NOSCRIPT></HEAD><BODY BGCOLOR="white" onload="windowTitle();"><!-- ========= START OF TOP NAVBAR ======= --><A NAME="navbar_top"><!-- --></A><A HREF="#skip-navbar_top" 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_top_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> </TD> <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD> </TR></TABLE></TD><TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM></EM></TD></TR><TR><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="../JSHOP2/Mult.html" title="class in JSHOP2"><B>PREV CLASS</B></A> <A HREF="../JSHOP2/NotEq.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/MyIterator.html" target="_top"><B>FRAMES</B></A> <A HREF="MyIterator.html" target="_top"><B>NO FRAMES</B></A> <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: NESTED | <A HREF="#field_summary">FIELD</A> | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#methods_inherited_from_class_java.lang.Object">METHOD</A></FONT></TD><TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">DETAIL: <A HREF="#field_detail">FIELD</A> | <A HREF="#constructor_detail">CONSTR</A> | METHOD</FONT></TD></TR></TABLE><A NAME="skip-navbar_top"></A><!-- ========= END OF TOP NAVBAR ========= --><HR><!-- ======== START OF CLASS DATA ======== --><H2><FONT SIZE="-1">JSHOP2</FONT><BR>Class MyIterator</H2><PRE>java.lang.Object <IMG SRC="../resources/inherit.gif" ALT="extended by "><B>JSHOP2.MyIterator</B></PRE><HR><DL><DT><PRE>public class <B>MyIterator</B><DT>extends java.lang.Object</DL></PRE><P>This class implements an iterator with data members that can keep track of where the algorithm is in terms of bindings found so far so that when the next binding is needed it can be calculated correctly. This class is needed because an atom can be satisfied either by looking for bindings at the current state of the world, or by using an axiom.<P><P><DL><DT><B>Version:</B></DT> <DD>1.0.3</DD><DT><B>Author:</B></DT> <DD>Okhtay Ilghami, <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a></DD></DL><HR><P><!-- =========== FIELD SUMMARY =========== --><A NAME="field_summary"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2"><B>Field Summary</B></FONT></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>(package private) <A HREF="../JSHOP2/Axiom.html" title="class in JSHOP2">Axiom</A></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/MyIterator.html#ax">ax</A></B></CODE><BR> The axiom being used right now.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>(package private) <A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[]</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/MyIterator.html#binding">binding</A></B></CODE><BR> When an axiom is being used, this variable holds the binding that unifies the head of the axiom and the atom being proved.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>(package private) boolean</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/MyIterator.html#found">found</A></B></CODE><BR> Whether or not at least one satisfier has been found for the current branch of the current axiom.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>(package private) int</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/MyIterator.html#index">index</A></B></CODE><BR> When looking at the current state of the world, this variable represents the index of the corresponding <code>Vector</code>, when using an axiom to prove an atom, this variable represents which branch of that axiom is being used.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>(package private) <A HREF="../JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/MyIterator.html#pre">pre</A></B></CODE><BR> When an axiom is being used, this variable acts as an iterator over all the possible satisfiers of the precondition of the current branch of the current axiom.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>(package private) java.util.Vector<<A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/MyIterator.html#vec">vec</A></B></CODE><BR> The <code>Vector</code> in the current state of the world that represents the atoms for which we are trying to find satisfiers.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>(package private) int</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/MyIterator.html#whichAxiom">whichAxiom</A></B></CODE><BR> Which of the (possibly several) axioms that can be used to prove a certain atom is being used right now.</TD></TR></TABLE> <!-- ======== CONSTRUCTOR SUMMARY ======== --><A NAME="constructor_summary"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2"><B>Constructor Summary</B></FONT></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD><CODE><B><A HREF="../JSHOP2/MyIterator.html#MyIterator(java.util.Vector)">MyIterator</A></B>(java.util.Vector<<A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>> vecIn)</CODE><BR> To initialize this iterator.</TD></TR></TABLE> <!-- ========== METHOD SUMMARY =========== --><A NAME="method_summary"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2"><B>Method Summary</B></FONT></TH></TR></TABLE> <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> <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="ax"><!-- --></A><H3>ax</H3><PRE><A HREF="../JSHOP2/Axiom.html" title="class in JSHOP2">Axiom</A> <B>ax</B></PRE><DL><DD>The axiom being used right now. If none is used (i.e., we are still looking for the atom in the current state of the world) the value of this variable is <code>null</code>.<P><DL></DL></DL><HR><A NAME="binding"><!-- --></A><H3>binding</H3><PRE><A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>[] <B>binding</B></PRE><DL><DD>When an axiom is being used, this variable holds the binding that unifies the head of the axiom and the atom being proved.<P><DL></DL></DL><HR><A NAME="found"><!-- --></A><H3>found</H3><PRE>boolean <B>found</B></PRE><DL><DD>Whether or not at least one satisfier has been found for the current branch of the current axiom. As soon as it becomes <code>true</code>, further branches of the axiom will not be considered.<P><DL></DL></DL><HR><A NAME="index"><!-- --></A><H3>index</H3><PRE>int <B>index</B></PRE><DL><DD>When looking at the current state of the world, this variable represents the index of the corresponding <code>Vector</code>, when using an axiom to prove an atom, this variable represents which branch of that axiom is being used.<P><DL></DL></DL><HR><A NAME="pre"><!-- --></A><H3>pre</H3><PRE><A HREF="../JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A> <B>pre</B></PRE><DL><DD>When an axiom is being used, this variable acts as an iterator over all the possible satisfiers of the precondition of the current branch of the current axiom.<P><DL></DL></DL><HR><A NAME="vec"><!-- --></A><H3>vec</H3><PRE>java.util.Vector<<A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>> <B>vec</B></PRE><DL><DD>The <code>Vector</code> in the current state of the world that represents the atoms for which we are trying to find satisfiers.<P><DL></DL></DL><HR><A NAME="whichAxiom"><!-- --></A><H3>whichAxiom</H3><PRE>int <B>whichAxiom</B></PRE><DL><DD>Which of the (possibly several) axioms that can be used to prove a certain atom is being used right now. If none is being used (i.e., we are still looking for the atom in the current state of the world), it is set to -1.<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="MyIterator(java.util.Vector)"><!-- --></A><H3>MyIterator</H3><PRE>public <B>MyIterator</B>(java.util.Vector<<A HREF="../JSHOP2/Term.html" title="class in JSHOP2">Term</A>> vecIn)</PRE><DL><DD>To initialize this iterator.<P><DL><DT><B>Parameters:</B><DD><CODE>vecIn</CODE> - The <code>Vector</code> in the current state of the world that represents the atoms for which we are trying to find satisfiers.</DL></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> </TD> <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD> </TR></TABLE></TD><TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM></EM></TD></TR><TR><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="../JSHOP2/Mult.html" title="class in JSHOP2"><B>PREV CLASS</B></A> <A HREF="../JSHOP2/NotEq.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/MyIterator.html" target="_top"><B>FRAMES</B></A> <A HREF="MyIterator.html" target="_top"><B>NO FRAMES</B></A> <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: NESTED | <A HREF="#field_summary">FIELD</A> | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#methods_inherited_from_class_java.lang.Object">METHOD</A></FONT></TD><TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">DETAIL: <A HREF="#field_detail">FIELD</A> | <A HREF="#constructor_detail">CONSTR</A> | METHOD</FONT></TD></TR></TABLE><A NAME="skip-navbar_bottom"></A><!-- ======== END OF BOTTOM NAVBAR ======= --><HR></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -