index-all.html

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

<DD>What to do when an operator has this element in its delete list and it is
  being applied.
<DT><A HREF="./JSHOP2/DelAddForAll.html#del(JSHOP2.State, JSHOP2.Term[], java.util.Vector[])"><B>del(State, Term[], Vector[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A>
<DD>To delete the atoms of this <code>ForAll</code> delete/add element from
  the current state of the world.
<DT><A HREF="./JSHOP2/DelAddProtection.html#del(JSHOP2.State, JSHOP2.Term[], java.util.Vector[])"><B>del(State, Term[], Vector[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/DelAddProtection.html" title="class in JSHOP2">DelAddProtection</A>
<DD>To delete this atom from the list of protected atoms.
<DT><A HREF="./JSHOP2/InternalOperator.html#del"><B>del</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalOperator.html" title="class in JSHOP2">InternalOperator</A>
<DD>This operator's delete list, a <code>Vector</code> of objects of type
  <code>DelAddElement</code>.
<DT><A HREF="./JSHOP2/Operator.html#del"><B>del</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Operator.html" title="class in JSHOP2">Operator</A>
<DD>Represents the delete list in case it is a real list and not a variable.
<DT><A HREF="./JSHOP2/State.html#del(JSHOP2.Predicate)"><B>del(Predicate)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/State.html" title="class in JSHOP2">State</A>
<DD>To delete a predicate from the current state of the world.
<DT><A HREF="./JSHOP2/InternalVars.html#delAdd"><B>delAdd</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalVars.html" title="class in JSHOP2">InternalVars</A>
<DD>An array of size 4 to store the atoms and protections that are being
  deleted or added to the current state of the world as a result of
  application of an operator, to be used in case of a backtrack over that
  operator.
<DT><A HREF="./JSHOP2/JSHOP2GUI.Node.html#delAdd"><B>delAdd</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/JSHOP2GUI.Node.html" title="class in JSHOP2">JSHOP2GUI.Node</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/PlanStepInfo.html#delAdd"><B>delAdd</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/PlanStepInfo.html" title="class in JSHOP2">PlanStepInfo</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/DelAddAtomic.html" title="class in JSHOP2"><B>DelAddAtomic</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>Each atomic element in the delete/add list of an operator both at compile
  time and run time is represented as an instance of this class.<DT><A HREF="./JSHOP2/DelAddAtomic.html#DelAddAtomic(JSHOP2.Predicate)"><B>DelAddAtomic(Predicate)</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/DelAddAtomic.html" title="class in JSHOP2">DelAddAtomic</A>
<DD>To initialize this atomic delete/add element.
<DT><A HREF="./JSHOP2/DelAddElement.html" title="class in JSHOP2"><B>DelAddElement</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>Each element in the delete/add list of an operator both at compile time and
  run time is represented as an instance of a class derived from this
  abstract class.<DT><A HREF="./JSHOP2/DelAddElement.html#DelAddElement()"><B>DelAddElement()</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/DelAddElement.html" title="class in JSHOP2">DelAddElement</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2"><B>DelAddForAll</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>Each <code>ForAll</code> element in the delete/add list of an operator both
  at compile time and run time is represented as an instance of this class.<DT><A HREF="./JSHOP2/DelAddForAll.html#DelAddForAll(JSHOP2.LogicalExpression, java.util.Vector)"><B>DelAddForAll(LogicalExpression, Vector&lt;Predicate&gt;)</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A>
<DD>To initialize this <code>ForAll</code> delete/add element at compile
  time.
<DT><A HREF="./JSHOP2/DelAddForAll.html#DelAddForAll(JSHOP2.Precondition, JSHOP2.Predicate[])"><B>DelAddForAll(Precondition, Predicate[])</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A>
<DD>To initialize this <code>ForAll</code> delete/add element at run time.
<DT><A HREF="./JSHOP2/DelAddProtection.html" title="class in JSHOP2"><B>DelAddProtection</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>Each <code>Protection</code> element in the delete/add list of an operator
  both at compile time and run time is represented as an instance of this
  class.<DT><A HREF="./JSHOP2/DelAddProtection.html#DelAddProtection(JSHOP2.Predicate)"><B>DelAddProtection(Predicate)</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/DelAddProtection.html" title="class in JSHOP2">DelAddProtection</A>
<DD>To initialize this <code>Protection</code> delete/add element.
<DT><A HREF="./JSHOP2/State.html#delProtection(JSHOP2.Predicate)"><B>delProtection(Predicate)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/State.html" title="class in JSHOP2">State</A>
<DD>To unprotect a given predicate.
<DT><A HREF="./JSHOP2/Operator.html#delVarIdx"><B>delVarIdx</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Operator.html" title="class in JSHOP2">Operator</A>
<DD>Represents the delete list in case it is a variable (The integer value
  represents variable's index), otherwise it is -1.
<DT><A HREF="./JSHOP2/Div.html" title="class in JSHOP2"><B>Div</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>Each code call of the form <code>(call / &#46;&#46;&#46;)</code> is
  implemented by an object of this class.<DT><A HREF="./JSHOP2/Div.html#Div()"><B>Div()</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/Div.html" title="class in JSHOP2">Div</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#DIV"><B>DIV</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/StdLib.html#div"><B>div</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/StdLib.html" title="class in JSHOP2">StdLib</A>
<DD>For code call of the form <code>(call / &#46;&#46;&#46;)</code>.
<DT><A HREF="./JSHOP2/Domain.html" title="class in JSHOP2"><B>Domain</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>Each domain at run time is represented as a class derived from this
  abstract class.<DT><A HREF="./JSHOP2/Domain.html#Domain()"><B>Domain()</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/Domain.html" title="class in JSHOP2">Domain</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/JSHOP2.html#domain"><B>domain</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/JSHOP2.html" title="class in JSHOP2">JSHOP2</A>
<DD>The domain description for the planning problem.
<DT><A HREF="./JSHOP2/JSHOP2Parser.html#domain"><B>domain</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/JSHOP2Parser.html" title="class in JSHOP2">JSHOP2Parser</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/JSHOP2Parser.html#domain()"><B>domain()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2Parser.html" title="class in JSHOP2">JSHOP2Parser</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/DomainElement.html" title="class in JSHOP2"><B>DomainElement</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>This abstract class implements the basic common functionality of the all
  possible elements (i.e., methods, operators, and axioms) of a domain at
  run time.<DT><A HREF="./JSHOP2/DomainElement.html#DomainElement(JSHOP2.Predicate)"><B>DomainElement(Predicate)</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/DomainElement.html" title="class in JSHOP2">DomainElement</A>
<DD>To initialize the domain element.
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#DOT"><B>DOT</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/InternalDomain.html#dumpStringArray(java.io.BufferedWriter, java.util.Vector)"><B>dumpStringArray(BufferedWriter, Vector&lt;?&gt;)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>This function saves a given <code>Vector</code> of <code>String</code>s
  in a given file.
</DL>
<HR>
<A NAME="_E_"><!-- --></A><H2>
<B>E</B></H2>
<DL>
<DT><A HREF="./JSHOP2/InternalVars.html#e"><B>e</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalVars.html" title="class in JSHOP2">InternalVars</A>
<DD>The iterator iterating over the <code>LinkedList</code> of the tasks
  that we have the option to achieve right now.
<DT><A HREF="./JSHOP2/PreconditionAtomic.html#e"><B>e</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/PreconditionAtomic.html" title="class in JSHOP2">PreconditionAtomic</A>
<DD>The iterator this object will use to iterate over the atoms and/or axioms
  that can possibly unify with the predicate this object represents.
<DT><A HREF="./JSHOP2/TaskList.html#empty"><B>empty</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/TaskList.html" title="class in JSHOP2">TaskList</A>
<DD>This variable represents an empty task list.
<DT><A HREF="./JSHOP2/CompileTimeObject.html#endl"><B>endl</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/CompileTimeObject.html" title="class in JSHOP2">CompileTimeObject</A>
<DD>The new line character in the platform JSHOP2 is running on.
<DT><A HREF="./JSHOP2/InternalDomain.html#endl"><B>endl</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>The new line character in the platform JSHOP2 is running on.
<DT><A HREF="./JSHOP2/Plan.html#endl"><B>endl</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/Plan.html" title="class in JSHOP2">Plan</A>
<DD>The new line character in the platform JSHOP2 is running on.
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#EOF"><B>EOF</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/Equal.html" title="class in JSHOP2"><B>Equal</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>Each code call of the form <code>(call = &#46;&#46;&#46;)</code> is
  implemented by an object of this class.<DT><A HREF="./JSHOP2/Equal.html#Equal()"><B>Equal()</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/Equal.html" title="class in JSHOP2">Equal</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#EQUAL"><B>EQUAL</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/StdLib.html#equal"><B>equal</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/StdLib.html" title="class in JSHOP2">StdLib</A>
<DD>For code call of the form <code>(call = &#46;&#46;&#46;)</code>.
<DT><A HREF="./JSHOP2/List.html#equals(JSHOP2.List)"><B>equals(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/List.html" title="class in JSHOP2">List</A>
<DD>Whether or not another list is equivalent to the this list.
<DT><A HREF="./JSHOP2/Predicate.html#equals(JSHOP2.Term)"><B>equals(Term)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Predicate.html" title="class in JSHOP2">Predicate</A>
<DD>Whether or not the argument list of another predicate is equal to the
  the argument list of this predicate.
<DT><A HREF="./JSHOP2/Term.html#equals(JSHOP2.Term)"><B>equals(Term)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Term.html" title="class in JSHOP2">Term</A>
<DD>Whether or not another term is equivalent to this term.
<DT><A HREF="./JSHOP2/TermCall.html#equals(JSHOP2.Term)"><B>equals(Term)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermCall.html" title="class in JSHOP2">TermCall</A>
<DD>Whether or not another term is equivalent to the result of this call
  term.
<DT><A HREF="./JSHOP2/TermConstant.html#equals(JSHOP2.Term)"><B>equals(Term)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermConstant.html" title="class in JSHOP2">TermConstant</A>
<DD>Whether or not another term is equivalent to this constant symbol.
<DT><A HREF="./JSHOP2/TermList.html#equals(JSHOP2.Term)"><B>equals(Term)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermList.html" title="class in JSHOP2">TermList</A>
<DD>Whether or not another term is equivalent to this list term.
<DT><A HREF="./JSHOP2/TermNumber.html#equals(JSHOP2.Term)"><B>equals(Term)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermNumber.html" title="class in JSHOP2">TermNumber</A>
<DD>Whether or not another term is equivalent to this numerical term.
<DT><A HREF="./JSHOP2/TermVariable.html#equals(JSHOP2.Term)"><B>equals(Term)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermVariable.html" title="class in JSHOP2">TermVariable</A>
<DD>This function returns <code>false</code>.
<DT><A HREF="./JSHOP2/DelAddForAll.html#exp"><B>exp</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A>
<DD>The precondtion of the <code>ForAll</code> statement at compile time is
  represented by this variable.
</DL>
<HR>
<A NAME="_F_"><!-- --></A><H2>
<B>F</B></H2>
<DL>
<DT><A HREF="./JSHOP2/JSHOP2Parser.html#fid()"><B>fid()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2Parser.html" title="class in JSHOP2">JSHOP2Parser</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/JSHOP2.html#findPlanHelper(JSHOP2.TaskList)"><B>findPlanHelper(TaskList)</B></A> - 
Static method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2.html" title="class in JSHOP2">JSHOP2</A>
<DD>This is the helper function that finds a plan.
<DT><A HREF="./JSHOP2/JSHOP2.html#findPlans(JSHOP2.TaskList, int)"><B>findPlans(TaskList, int)</B></A> - 
Static method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2.html" title="class in JSHOP2">JSHOP2</A>
<DD>This function finds plan(s) for a given initial task list.
<DT><A HREF="./JSHOP2/Predicate.html#findUnifier(JSHOP2.Term)"><B>findUnifier(Term)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Predicate.html" title="class in JSHOP2">Predicate</A>
<DD>To find a unifier that unifies the argument list of another predicate