index-all.html

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

  arguments.
<DT><A HREF="./JSHOP2/NotEq.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/NotEq.html" title="class in JSHOP2">NotEq</A>
<DD>This function executes the code call and returns something other than
  <code>NIL</code> if and only if each argument in its argument list is
  not equal to the next argument.
<DT><A HREF="./JSHOP2/Plus.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Plus.html" title="class in JSHOP2">Plus</A>
<DD>This function executes the code call and returns the sum of all its
  arguments.
<DT><A HREF="./JSHOP2/Power.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Power.html" title="class in JSHOP2">Power</A>
<DD>This function executes the code call and returns the result by raising
  the first argument to the power of the second one, the result of that to
  the power of the third argument, and so on.
<DT><A HREF="./JSHOP2/PlanStepInfo.html#children"><B>children</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/PlanStepInfo.html" title="class in JSHOP2">PlanStepInfo</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/DelAddForAll.html#classCnt"><B>classCnt</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A>
<DD>The number of objects already instantiated from this class.
<DT><A HREF="./JSHOP2/InternalAxiom.html#classCnt"><B>classCnt</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/InternalAxiom.html" title="class in JSHOP2">InternalAxiom</A>
<DD>The number of objects already instantiated from this class.
<DT><A HREF="./JSHOP2/InternalMethod.html#classCnt"><B>classCnt</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/InternalMethod.html" title="class in JSHOP2">InternalMethod</A>
<DD>The number of objects already instantiated from this class.
<DT><A HREF="./JSHOP2/InternalOperator.html#classCnt"><B>classCnt</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/InternalOperator.html" title="class in JSHOP2">InternalOperator</A>
<DD>The number of objects already instantiated from this class.
<DT><A HREF="./JSHOP2/LogicalExpression.html#classCnt"><B>classCnt</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/LogicalExpression.html" title="class in JSHOP2">LogicalExpression</A>
<DD>The number of times function <code>getClassCnt()</code> is called before.
<DT><A HREF="./JSHOP2/State.html#clear()"><B>clear()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/State.html" title="class in JSHOP2">State</A>
<DD>To empty the world state.
<DT><A HREF="./JSHOP2/Plan.html#clone()"><B>clone()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Plan.html" title="class in JSHOP2">Plan</A>
<DD>To clone an object of this class.
<DT><A HREF="./JSHOP2/TaskList.html#clone()"><B>clone()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TaskList.html" title="class in JSHOP2">TaskList</A>
<DD>This clone function was added so that TaskLists can be copied and passed to
 JSHOP2GUI.
<DT><A HREF="./JSHOP2/InternalDomain.html#close(int)"><B>close(int)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>This function writes the Java code necessary to produce this domain at
  run time in the appropriate file.
<DT><A HREF="./JSHOP2/DelAddForAll.html#cnt"><B>cnt</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A>
<DD>The number of objects already instantiated from this class before this
  object was instantiated.
<DT><A HREF="./JSHOP2/InternalElement.html#cnt"><B>cnt</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalElement.html" title="class in JSHOP2">InternalElement</A>
<DD>The number of objects already instantiated from this class before this
  object was instantiated.
<DT><A HREF="./JSHOP2/LogicalExpressionConjunction.html#cnt"><B>cnt</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/LogicalExpressionConjunction.html" title="class in JSHOP2">LogicalExpressionConjunction</A>
<DD>The number of objects instantiated from this class before this object was
  instantiated.
<DT><A HREF="./JSHOP2/LogicalExpressionDisjunction.html#cnt"><B>cnt</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/LogicalExpressionDisjunction.html" title="class in JSHOP2">LogicalExpressionDisjunction</A>
<DD>The number of objects instantiated from this class before this object was
  instantiated.
<DT><A HREF="./JSHOP2/JSHOP2Parser.html#command()"><B>command()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2Parser.html" title="class in JSHOP2">JSHOP2Parser</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/InternalDomain.html#commandInitialize()"><B>commandInitialize()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>This function performs some necessary initialization when a problem file
  is being compiled, mainly reading and parsing the text file associated
  with the domain the planning problem is defined in.
<DT><A HREF="./JSHOP2/InternalDomain.html#commandToCode(java.util.LinkedList, java.util.LinkedList)"><B>commandToCode(LinkedList&lt;Vector&lt;Predicate&gt;&gt;, LinkedList&lt;TaskList&gt;)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>This function writes the Java code necessary to produce these planning
  problems at run time in the appropriate file.
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#COMMENT"><B>COMMENT</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/Precondition.html#comp"><B>comp</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A>
<DD>The function to be used to sort the possible bindings if this is a
  <code>:sort-by</code> logical precondition.
<DT><A HREF="./JSHOP2/CompLess.html#compare(JSHOP2.Term[], JSHOP2.Term[])"><B>compare(Term[], Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/CompLess.html" title="class in JSHOP2">CompLess</A>
<DD>The function that implements the actual comparison.
<DT><A HREF="./JSHOP2/CompMore.html#compare(JSHOP2.Term[], JSHOP2.Term[])"><B>compare(Term[], Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/CompMore.html" title="class in JSHOP2">CompMore</A>
<DD>The function that implements the actual comparison.
<DT><A HREF="./JSHOP2/CompileTimeObject.html" title="class in JSHOP2"><B>CompileTimeObject</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>All the objects at compile time are instances of classes that are derived
  from this abstract class.<DT><A HREF="./JSHOP2/CompileTimeObject.html#CompileTimeObject()"><B>CompileTimeObject()</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/CompileTimeObject.html" title="class in JSHOP2">CompileTimeObject</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/CompLess.html" title="class in JSHOP2"><B>CompLess</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>This class handles <code>:sort-by</code> logical preconditions that use
  numerical <b>less than</b> as the sorting function.<DT><A HREF="./JSHOP2/CompLess.html#CompLess(int)"><B>CompLess(int)</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/CompLess.html" title="class in JSHOP2">CompLess</A>
<DD>To initialize this object.
<DT><A HREF="./JSHOP2/CompMore.html" title="class in JSHOP2"><B>CompMore</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>This class handles <code>:sort-by</code> logical preconditions that use
  numerical <b>more than</b> as the sorting function.<DT><A HREF="./JSHOP2/CompMore.html#CompMore(int)"><B>CompMore(int)</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/CompMore.html" title="class in JSHOP2">CompMore</A>
<DD>To initialize this object.
<DT><A HREF="./JSHOP2/Domain.html#compoundTasks"><B>compoundTasks</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Domain.html" title="class in JSHOP2">Domain</A>
<DD>The <code>String</code> names of compound tasks that appear in the
  domain description.
<DT><A HREF="./JSHOP2/InternalDomain.html#compoundTasks"><B>compoundTasks</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>A <code>Vector</code> of <code>String</code> names of compound tasks seen
  so far in the domain.
<DT><A HREF="./JSHOP2/LogicalExpressionForAll.html#consequence"><B>consequence</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/LogicalExpressionForAll.html" title="class in JSHOP2">LogicalExpressionForAll</A>
<DD>The consequence of this <code>ForAll</code> logical expression.
<DT><A HREF="./JSHOP2/PreconditionForAll.html#consequence"><B>consequence</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/PreconditionForAll.html" title="class in JSHOP2">PreconditionForAll</A>
<DD>The consequence of the <code>ForAll</code> logical expression this object
  represents.
<DT><A HREF="./JSHOP2/Domain.html#constants"><B>constants</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Domain.html" title="class in JSHOP2">Domain</A>
<DD>The <code>String</code> names of constant symbols that appear in the
  domain description.
<DT><A HREF="./JSHOP2/InternalDomain.html#constants"><B>constants</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>A <code>Vector</code> of <code>String</code> names of constant symbols
  seen so far in the domain.
<DT><A HREF="./JSHOP2/TermConstant.html#constants"><B>constants</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/TermConstant.html" title="class in JSHOP2">TermConstant</A>
<DD>To represent the constant symbols that we already know exist, so that
  there will be no duplicate copies of those symbols.
<DT><A HREF="./JSHOP2/InternalDomain.html#constantsSize"><B>constantsSize</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>The number of constant symbols already seen in the planning domain.
<DT><A HREF="./JSHOP2/InternalOperator.html#cost"><B>cost</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalOperator.html" title="class in JSHOP2">InternalOperator</A>
<DD>The cost of this operator.
<DT><A HREF="./JSHOP2/Operator.html#cost"><B>cost</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Operator.html" title="class in JSHOP2">Operator</A>
<DD>Cost of this operator.
<DT><A HREF="./JSHOP2/Plan.html#cost"><B>cost</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Plan.html" title="class in JSHOP2">Plan</A>
<DD>The cost of the plan.
<DT><A HREF="./JSHOP2/JSHOP2GUI.html#count"><B>count</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/JSHOP2GUI.html" title="class in JSHOP2">JSHOP2GUI</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/TaskList.html#createTaskList(java.util.Vector, boolean)"><B>createTaskList(Vector&lt;TaskList&gt;, boolean)</B></A> - 
Static method in class JSHOP2.<A HREF="./JSHOP2/TaskList.html" title="class in JSHOP2">TaskList</A>
<DD>To create a non-atomic task list.
<DT><A HREF="./JSHOP2/PreconditionForAll.html#currentBinding"><B>currentBinding</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/PreconditionForAll.html" title="class in JSHOP2">PreconditionForAll</A>
<DD>To keep track of the bindings seen so far.
<DT><A HREF="./JSHOP2/JSHOP2.html#currentPlan"><B>currentPlan</B></A> - 
Static variable in class JSHOP2.<A HREF="./JSHOP2/JSHOP2.html" title="class in JSHOP2">JSHOP2</A>
<DD>The plan currently being constructed.
</DL>
<HR>
<A NAME="_D_"><!-- --></A><H2>
<B>D</B></H2>
<DL>
<DT><A HREF="./JSHOP2/JSHOP2Parser.html#da()"><B>da()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2Parser.html" title="class in JSHOP2">JSHOP2Parser</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/JSHOP2Parser.html#dae()"><B>dae()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2Parser.html" title="class in JSHOP2">JSHOP2Parser</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/NumberedPredicate.html#dec()"><B>dec()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/NumberedPredicate.html" title="class in JSHOP2">NumberedPredicate</A>
<DD>To decrease the integer by one.
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#DEFDOMAIN"><B>DEFDOMAIN</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#DEFPROBLEM"><B>DEFPROBLEM</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#DEFPROBLEMSET"><B>DEFPROBLEMSET</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/DelAddAtomic.html#del(JSHOP2.State, JSHOP2.Term[], java.util.Vector[])"><B>del(State, Term[], Vector[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/DelAddAtomic.html" title="class in JSHOP2">DelAddAtomic</A>
<DD>To delete this atomic delete/add element from the current state of the
  world.
<DT><A HREF="./JSHOP2/DelAddElement.html#del(JSHOP2.State, JSHOP2.Term[], java.util.Vector[])"><B>del(State, Term[], Vector[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/DelAddElement.html" title="class in JSHOP2">DelAddElement</A>