index-all.html

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

<DT><A HREF="./JSHOP2/Axiom.html" title="class in JSHOP2"><B>Axiom</B></A> - Class in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>Each axiom at run time is represented as a class derived from this abstract
  class.<DT><A HREF="./JSHOP2/Axiom.html#Axiom(JSHOP2.Predicate, int)"><B>Axiom(Predicate, int)</B></A> - 
Constructor for class JSHOP2.<A HREF="./JSHOP2/Axiom.html" title="class in JSHOP2">Axiom</A>
<DD>To initialize the axiom.
<DT><A HREF="./JSHOP2/JSHOP2Parser.html#axiom()"><B>axiom()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2Parser.html" title="class in JSHOP2">JSHOP2Parser</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#AXIOM"><B>AXIOM</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/Domain.html#axioms"><B>axioms</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Domain.html" title="class in JSHOP2">Domain</A>
<DD>The axioms in this domain.
<DT><A HREF="./JSHOP2/InternalDomain.html#axioms"><B>axioms</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>A <code>Vector</code> of axioms seen so far in the domain description.
<DT><A HREF="./JSHOP2/State.html#axioms"><B>axioms</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/State.html" title="class in JSHOP2">State</A>
<DD>The axioms in the domain description as a two-dimensional array.
</DL>
<HR>
<A NAME="_B_"><!-- --></A><H2>
<B>B</B></H2>
<DL>
<DT><A HREF="./JSHOP2/JSHOP2GUI.html#backtrack(javax.swing.tree.DefaultMutableTreeNode)"><B>backtrack(DefaultMutableTreeNode)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2GUI.html" title="class in JSHOP2">JSHOP2GUI</A>
<DD>This function handles the procedures that take place when backtracking.
<DT><A HREF="./JSHOP2/Precondition.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A>
<DD>This abstract function binds the logical expression to a given binding.
<DT><A HREF="./JSHOP2/PreconditionAssign.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/PreconditionAssign.html" title="class in JSHOP2">PreconditionAssign</A>
<DD>To bind the assignment logical expression to some binding.
<DT><A HREF="./JSHOP2/PreconditionAtomic.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/PreconditionAtomic.html" title="class in JSHOP2">PreconditionAtomic</A>
<DD>To bind the assignment logical expression to some binding.
<DT><A HREF="./JSHOP2/PreconditionCall.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/PreconditionCall.html" title="class in JSHOP2">PreconditionCall</A>
<DD>To bind the call logical expression to some binding.
<DT><A HREF="./JSHOP2/PreconditionForAll.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/PreconditionForAll.html" title="class in JSHOP2">PreconditionForAll</A>
<DD>To bind the <code>ForAll</code> logical expression to some binding.
<DT><A HREF="./JSHOP2/PreconditionNegation.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/PreconditionNegation.html" title="class in JSHOP2">PreconditionNegation</A>
<DD>To bind the negation logical expression to some binding.
<DT><A HREF="./JSHOP2/PreconditionNil.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/PreconditionNil.html" title="class in JSHOP2">PreconditionNil</A>
<DD>Since this is an empty logical expression, this function does nothing.
<DT><A HREF="./JSHOP2/TaskAtom.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TaskAtom.html" title="class in JSHOP2">TaskAtom</A>
<DD>To calculate the result of applying a given binding to this task atom.
<DT><A HREF="./JSHOP2/TaskList.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TaskList.html" title="class in JSHOP2">TaskList</A>
<DD>To bind a task list to a given binding.
<DT><A HREF="./JSHOP2/Term.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Term.html" title="class in JSHOP2">Term</A>
<DD>To apply a given binding to this term.
<DT><A HREF="./JSHOP2/TermCall.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermCall.html" title="class in JSHOP2">TermCall</A>
<DD>To apply a given binding to the list of arguments of the function call.
<DT><A HREF="./JSHOP2/TermConstant.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermConstant.html" title="class in JSHOP2">TermConstant</A>
<DD>Since this term is a constant symbol, binding will not change it,
  therefore, simply this constant symbol itself is returned.
<DT><A HREF="./JSHOP2/TermList.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermList.html" title="class in JSHOP2">TermList</A>
<DD>To apply a given binding to the list this term represents.
<DT><A HREF="./JSHOP2/TermNumber.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermNumber.html" title="class in JSHOP2">TermNumber</A>
<DD>Since this term is a numerical term, binding will not change it,
  therefore, simply this numerical term itself is returned.
<DT><A HREF="./JSHOP2/TermVariable.html#bind(JSHOP2.Term[])"><B>bind(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermVariable.html" title="class in JSHOP2">TermVariable</A>
<DD>Since this term is a variable symbol, binding it basically means finding
  out whether or not this variable is already mapped to something in the
  input, and if so, returning the value this variable is mapped to.
<DT><A HREF="./JSHOP2/InternalVars.html#binding"><B>binding</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalVars.html" title="class in JSHOP2">InternalVars</A>
<DD>The binding that unifies the head of a method or an operator with the
  task being achieved.
<DT><A HREF="./JSHOP2/MyIterator.html#binding"><B>binding</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/MyIterator.html" title="class in JSHOP2">MyIterator</A>
<DD>When an axiom is being used, this variable holds the binding that unifies
  the head of the axiom and the atom being proved.
<DT><A HREF="./JSHOP2/Precondition.html#bindings"><B>bindings</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A>
<DD>The array that stores the sorted satisfiers for this logical precondition
  if this is a <code>:sort-by</code> logical precondition.
<DT><A HREF="./JSHOP2/Precondition.html#bindingsIdx"><B>bindingsIdx</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A>
<DD>The index pointing to the next satisfier to be returned in case this is a
  <code>:sort-by</code> logical precondition.
<DT><A HREF="./JSHOP2/List.html#bindList(JSHOP2.Term[])"><B>bindList(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/List.html" title="class in JSHOP2">List</A>
<DD>To apply a given binding to this list.
<DT><A HREF="./JSHOP2/JSHOP2GUI.NodeRenderer.html#blueBall"><B>blueBall</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/JSHOP2GUI.NodeRenderer.html" title="class in JSHOP2">JSHOP2GUI.NodeRenderer</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/PreconditionAtomic.html#boundP"><B>boundP</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/PreconditionAtomic.html" title="class in JSHOP2">PreconditionAtomic</A>
<DD>The predicate this atomic logical expression represents, after all the
  bindings are applied.
<DT><A HREF="./JSHOP2/PreconditionAssign.html#boundT"><B>boundT</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/PreconditionAssign.html" title="class in JSHOP2">PreconditionAssign</A>
<DD>The term this assignment logical expression represents, after all the
  bindings are applied.
<DT><A HREF="./JSHOP2/PreconditionCall.html#boundT"><B>boundT</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/PreconditionCall.html" title="class in JSHOP2">PreconditionCall</A>
<DD>The term this call logical expression represents, after all the bindings
  are applied.
<DT><A HREF="./JSHOP2/InternalAxiom.html#branches"><B>branches</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalAxiom.html" title="class in JSHOP2">InternalAxiom</A>
<DD>A <code>Vector</code> of logical expressions each of which represents a
  branch of the axiom.
<DT><A HREF="./JSHOP2/Axiom.html#branchSize"><B>branchSize</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Axiom.html" title="class in JSHOP2">Axiom</A>
<DD>Number of branches of this axiom.
</DL>
<HR>
<A NAME="_C_"><!-- --></A><H2>
<B>C</B></H2>
<DL>
<DT><A HREF="./JSHOP2/InternalDomain.html#calcs"><B>calcs</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 user-defined
  external code calls that must be imported before being used in the
  domain description.
<DT><A HREF="./JSHOP2/Calculate.html" title="interface in JSHOP2"><B>Calculate</B></A> - Interface in <A HREF="./JSHOP2/package-summary.html">JSHOP2</A><DD>This is the common interface for code calls in call terms.<DT><A HREF="./JSHOP2/TermCall.html#calculate"><B>calculate</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/TermCall.html" title="class in JSHOP2">TermCall</A>
<DD>The Java implementation of the function that is called in this call term.
<DT><A HREF="./JSHOP2/Calculate.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in interface JSHOP2.<A HREF="./JSHOP2/Calculate.html" title="interface in JSHOP2">Calculate</A>
<DD>This abstract function implements the code call associated with the class
  implementing this interface.
<DT><A HREF="./JSHOP2/Div.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Div.html" title="class in JSHOP2">Div</A>
<DD>This function executes the code call and returns the result by dividing
  the first argument by the second one, the result of that division by the
  third argument, and so on.
<DT><A HREF="./JSHOP2/Equal.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Equal.html" title="class in JSHOP2">Equal</A>
<DD>This function executes the code call and returns <code>NIL</code> if not
  all of its (possibly several) arguments are equal, and something other
  than <code>NIL</code> otherwise.
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#CALL"><B>CALL</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/Less.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Less.html" title="class in JSHOP2">Less</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
  less than the next argument.
<DT><A HREF="./JSHOP2/LessEq.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/LessEq.html" title="class in JSHOP2">LessEq</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
  less than or equal to the next argument.
<DT><A HREF="./JSHOP2/Member.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Member.html" title="class in JSHOP2">Member</A>
<DD>This function executes the code call and returns <code>NIL</code> if its
  first argument is not a member of its second argument, and something
  other than <code>NIL</code> otherwise.
<DT><A HREF="./JSHOP2/Minus.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Minus.html" title="class in JSHOP2">Minus</A>
<DD>This function executes the code call and returns the result by
  subtracting the second argument from the first one, the third argument
  from the result of that subtraction, and so on.
<DT><A HREF="./JSHOP2/More.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/More.html" title="class in JSHOP2">More</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
  more than the next argument.
<DT><A HREF="./JSHOP2/MoreEq.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/MoreEq.html" title="class in JSHOP2">MoreEq</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
  more than or equal to the next argument.
<DT><A HREF="./JSHOP2/Mult.html#call(JSHOP2.List)"><B>call(List)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Mult.html" title="class in JSHOP2">Mult</A>
<DD>This function executes the code call and returns the product of all its