📄 index-all.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:46 EDT 2007 --><TITLE>Index</TITLE><LINK REL ="stylesheet" TYPE="text/css" HREF="./stylesheet.css" TITLE="Style"><SCRIPT type="text/javascript">function windowTitle(){ parent.document.title="Index";}</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="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./JSHOP2/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="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Index</B></FONT> </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"> PREV NEXT</FONT></TD><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="./index.html?index-all.html" target="_top"><B>FRAMES</B></A> <A HREF="index-all.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></TABLE><A NAME="skip-navbar_top"></A><!-- ========= END OF TOP NAVBAR ========= --><A HREF="#_A_">A</A> <A HREF="#_B_">B</A> <A HREF="#_C_">C</A> <A HREF="#_D_">D</A> <A HREF="#_E_">E</A> <A HREF="#_F_">F</A> <A HREF="#_G_">G</A> <A HREF="#_H_">H</A> <A HREF="#_I_">I</A> <A HREF="#_J_">J</A> <A HREF="#_K_">K</A> <A HREF="#_L_">L</A> <A HREF="#_M_">M</A> <A HREF="#_N_">N</A> <A HREF="#_O_">O</A> <A HREF="#_P_">P</A> <A HREF="#_R_">R</A> <A HREF="#_S_">S</A> <A HREF="#_T_">T</A> <A HREF="#_U_">U</A> <A HREF="#_V_">V</A> <A HREF="#_W_">W</A> <A HREF="#_Y_">Y</A> <A HREF="#___">_</A> <HR><A NAME="_A_"><!-- --></A><H2><B>A</B></H2><DL><DT><A HREF="./JSHOP2/PlanStepInfo.html#action"><B>action</B></A> - Variable in class JSHOP2.<A HREF="./JSHOP2/PlanStepInfo.html" title="class in JSHOP2">PlanStepInfo</A><DD> <DT><A HREF="./JSHOP2/JSHOP2GUI.SHOP2GUIMenuHandler.html#actionPerformed(java.awt.event.ActionEvent)"><B>actionPerformed(ActionEvent)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2GUI.SHOP2GUIMenuHandler.html" title="class in JSHOP2">JSHOP2GUI.SHOP2GUIMenuHandler</A><DD> <DT><A HREF="./JSHOP2/DelAddAtomic.html#add(JSHOP2.State, JSHOP2.Term[], java.util.Vector[])"><B>add(State, Term[], Vector[])</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/DelAddAtomic.html" title="class in JSHOP2">DelAddAtomic</A><DD>To add this atomic delete/add element to the current state of the world.<DT><A HREF="./JSHOP2/DelAddElement.html#add(JSHOP2.State, JSHOP2.Term[], java.util.Vector[])"><B>add(State, Term[], Vector[])</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/DelAddElement.html" title="class in JSHOP2">DelAddElement</A><DD>What to do when an operator has this element in its add list and it is being applied.<DT><A HREF="./JSHOP2/DelAddForAll.html#add(JSHOP2.State, JSHOP2.Term[], java.util.Vector[])"><B>add(State, Term[], Vector[])</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A><DD>To add the atoms of this <code>ForAll</code> delete/add element to the current state of the world.<DT><A HREF="./JSHOP2/DelAddProtection.html#add(JSHOP2.State, JSHOP2.Term[], java.util.Vector[])"><B>add(State, Term[], Vector[])</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/DelAddProtection.html" title="class in JSHOP2">DelAddProtection</A><DD>To add this atom to the list of protected atoms.<DT><A HREF="./JSHOP2/InternalOperator.html#add"><B>add</B></A> - Variable in class JSHOP2.<A HREF="./JSHOP2/InternalOperator.html" title="class in JSHOP2">InternalOperator</A><DD>This operator's add list, a <code>Vector</code> of objects of type <code>DelAddElement</code>.<DT><A HREF="./JSHOP2/Operator.html#add"><B>add</B></A> - Variable in class JSHOP2.<A HREF="./JSHOP2/Operator.html" title="class in JSHOP2">Operator</A><DD>Represents the add list in case it is a real list and not a variable.<DT><A HREF="./JSHOP2/State.html#add(JSHOP2.Predicate)"><B>add(Predicate)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/State.html" title="class in JSHOP2">State</A><DD>To add a predicate to the current state of the world.<DT><A HREF="./JSHOP2/InternalDomain.html#addAxiom(JSHOP2.InternalAxiom)"><B>addAxiom(InternalAxiom)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A><DD>To add an axiom to the list of axioms read from the file.<DT><A HREF="./JSHOP2/InternalDomain.html#addCalc(java.lang.String)"><B>addCalc(String)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A><DD>To add the <code>String</code> name of an external code call to the list of such code calls.<DT><A HREF="./JSHOP2/InternalDomain.html#addCompoundTask(java.lang.String)"><B>addCompoundTask(String)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A><DD>To add a <code>String</code> used as a name of a compound task in the domain description to the list of compound task names, in case it has not been added before.<DT><A HREF="./JSHOP2/InternalDomain.html#addConstant(java.lang.String)"><B>addConstant(String)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A><DD>To add a <code>String</code> used as a constant symbol in the domain description to the list of constant symbols, in case it has not been added before.<DT><A HREF="./JSHOP2/InternalDomain.html#addMethod(JSHOP2.InternalMethod)"><B>addMethod(InternalMethod)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A><DD>To add a method to the list of methods read from the file.<DT><A HREF="./JSHOP2/InternalDomain.html#addOperator(JSHOP2.InternalOperator)"><B>addOperator(InternalOperator)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A><DD>To add an operator to the list of operators read from the file.<DT><A HREF="./JSHOP2/Plan.html#addOperator(JSHOP2.Operator, JSHOP2.Term[])"><B>addOperator(Operator, Term[])</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/Plan.html" title="class in JSHOP2">Plan</A><DD>To add an operator instance to the end of the plan.<DT><A HREF="./JSHOP2/InternalDomain.html#addPrimitiveTask(java.lang.String)"><B>addPrimitiveTask(String)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A><DD>To add a <code>String</code> used as a name of a primitive task in the domain description to the list of primitive task names, in case it has not been added before.<DT><A HREF="./JSHOP2/State.html#addProtection(JSHOP2.Predicate)"><B>addProtection(Predicate)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/State.html" title="class in JSHOP2">State</A><DD>To protect a given predicate in the current state of the world.<DT><A HREF="./JSHOP2/Operator.html#addVarIdx"><B>addVarIdx</B></A> - Variable in class JSHOP2.<A HREF="./JSHOP2/Operator.html" title="class in JSHOP2">Operator</A><DD>Represents the add list in case it is a variable (The integer value represents variable's index), otherwise it is -1.<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#AND"><B>AND</B></A> - Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A><DD> <DT><A HREF="./JSHOP2/List.html#append(JSHOP2.Term)"><B>append(Term)</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/List.html" title="class in JSHOP2">List</A><DD>To append another term to the end of this list.<DT><A HREF="./JSHOP2/Operator.html#apply(JSHOP2.Term[], JSHOP2.State, java.util.Vector[])"><B>apply(Term[], State, Vector[])</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/Operator.html" title="class in JSHOP2">Operator</A><DD>This function is used to apply this operator to a given state.<DT><A HREF="./JSHOP2/Predicate.html#applySubstitution(JSHOP2.Term[])"><B>applySubstitution(Term[])</B></A> - Method in class JSHOP2.<A HREF="./JSHOP2/Predicate.html" title="class in JSHOP2">Predicate</A><DD>To apply a binding to this predicate.<DT><A HREF="./JSHOP2/TermCall.html#args"><B>args</B></A> - Variable in class JSHOP2.<A HREF="./JSHOP2/TermCall.html" title="class in JSHOP2">TermCall</A><DD>The list that represents the arguments of the call term.<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#ASSIGN"><B>ASSIGN</B></A> - Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A><DD> <DT><A HREF="./JSHOP2/DelAddAtomic.html#atom"><B>atom</B></A> - Variable in class JSHOP2.<A HREF="./JSHOP2/DelAddAtomic.html" title="class in JSHOP2">DelAddAtomic</A><DD>The atom to be deleted/added.<DT><A HREF="./JSHOP2/DelAddProtection.html#atom"><B>atom</B></A> - Variable in class JSHOP2.<A HREF="./JSHOP2/DelAddProtection.html" title="class in JSHOP2">DelAddProtection</A><DD>The atom to be protected/unprotected.<DT><A HREF="./JSHOP2/DelAddForAll.html#atoms"><B>atoms</B></A> - Variable in class JSHOP2.<A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A><DD>The atoms to be deleted/added.<DT><A HREF="./JSHOP2/State.html#atoms"><B>atoms</B></A> - Variable in class JSHOP2.<A HREF="./JSHOP2/State.html" title="class in JSHOP2">State</A><DD>The atoms in the current state of the world as an array of <code>Vector</code>s.<DT><A HREF="./JSHOP2/MyIterator.html#ax"><B>ax</B></A> - Variable in class JSHOP2.<A HREF="./JSHOP2/MyIterator.html" title="class in JSHOP2">MyIterator</A><DD>The axiom being used right now.⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -