index-all.html

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

  with the argument list of this predicate.
<DT><A HREF="./JSHOP2/Term.html#findUnifier(JSHOP2.Term, JSHOP2.Term[])"><B>findUnifier(Term, Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Term.html" title="class in JSHOP2">Term</A>
<DD>To find a unifier that binds this term to another given term.
<DT><A HREF="./JSHOP2/TermCall.html#findUnifier(JSHOP2.Term, JSHOP2.Term[])"><B>findUnifier(Term, Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermCall.html" title="class in JSHOP2">TermCall</A>
<DD>Find a unifier between the result of this call term and another given
  term.
<DT><A HREF="./JSHOP2/TermConstant.html#findUnifier(JSHOP2.Term, JSHOP2.Term[])"><B>findUnifier(Term, Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermConstant.html" title="class in JSHOP2">TermConstant</A>
<DD>Find a unifier between this constant symbol and another given term.
<DT><A HREF="./JSHOP2/TermList.html#findUnifier(JSHOP2.Term, JSHOP2.Term[])"><B>findUnifier(Term, Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermList.html" title="class in JSHOP2">TermList</A>
<DD>Find a unifier between this list and another given term.
<DT><A HREF="./JSHOP2/TermNumber.html#findUnifier(JSHOP2.Term, JSHOP2.Term[])"><B>findUnifier(Term, Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermNumber.html" title="class in JSHOP2">TermNumber</A>
<DD>Find a unifier between this numerical term and another given term.
<DT><A HREF="./JSHOP2/TermVariable.html#findUnifier(JSHOP2.Term, JSHOP2.Term[])"><B>findUnifier(Term, Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermVariable.html" title="class in JSHOP2">TermVariable</A>
<DD>Find a unifier between this variable symbol and another given term.
<DT><A HREF="./JSHOP2/List.html#findUnifierList(JSHOP2.List, JSHOP2.Term[])"><B>findUnifierList(List, Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/List.html" title="class in JSHOP2">List</A>
<DD>Find a unifier that will bind this list to another given list.
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#FIRST"><B>FIRST</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/LogicalPrecondition.html#first"><B>first</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/LogicalPrecondition.html" title="class in JSHOP2">LogicalPrecondition</A>
<DD>Whether or not this logical precondition is marked <code>:first</code>.
<DT><A HREF="./JSHOP2/Precondition.html#first"><B>first</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A>
<DD>Whether or not this logical expression is marked <code>:first</code>.
<DT><A HREF="./JSHOP2/Precondition.html#firstCall"><B>firstCall</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/Precondition.html" title="class in JSHOP2">Precondition</A>
<DD>Whether or not this is the first time the <code>nextBinding</code>
  function is called for this object after the latest call to its
  <code>reset</code> function.
<DT><A HREF="./JSHOP2/JSHOP2TokenTypes.html#FORALL"><B>FORALL</B></A> - 
Static variable in interface JSHOP2.<A HREF="./JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A>
<DD>&nbsp;
<DT><A HREF="./JSHOP2/InternalVars.html#found"><B>found</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/InternalVars.html" title="class in JSHOP2">InternalVars</A>
<DD>Whether or not at least one satisfier has been found for the current
  branch of the current method.
<DT><A HREF="./JSHOP2/MyIterator.html#found"><B>found</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/MyIterator.html" title="class in JSHOP2">MyIterator</A>
<DD>Whether or not at least one satisfier has been found for the current
  branch of the current axiom.
<DT><A HREF="./JSHOP2/LogicalPrecondition.html#func"><B>func</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/LogicalPrecondition.html" title="class in JSHOP2">LogicalPrecondition</A>
<DD>The name of the function used in a <code>:sort-by</code> logical
  precondition.
<DT><A HREF="./JSHOP2/TermCall.html#func"><B>func</B></A> - 
Variable in class JSHOP2.<A HREF="./JSHOP2/TermCall.html" title="class in JSHOP2">TermCall</A>
<DD>The name of the function that is called in this call term as a
  <code>String</code>.
</DL>
<HR>
<A NAME="_G_"><!-- --></A><H2>
<B>G</B></H2>
<DL>
<DT><A HREF="./JSHOP2/InternalDomain.html#getAxiomNo()"><B>getAxiomNo()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>This function returns the number of axioms in this domain.
<DT><A HREF="./JSHOP2/Domain.html#getAxioms()"><B>getAxioms()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Domain.html" title="class in JSHOP2">Domain</A>
<DD>This function returns the axioms in this domain.
<DT><A HREF="./JSHOP2/Axiom.html#getBranchSize()"><B>getBranchSize()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Axiom.html" title="class in JSHOP2">Axiom</A>
<DD>To get the number of branches in this axiom.
<DT><A HREF="./JSHOP2/TaskList.html#getChildren(java.util.ArrayList)"><B>getChildren(ArrayList&lt;String&gt;)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TaskList.html" title="class in JSHOP2">TaskList</A>
<DD>Returns an ArrayList of strings that represent the children of this
 compound task.
<DT><A HREF="./JSHOP2/LogicalExpression.html#getClassCnt()"><B>getClassCnt()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/LogicalExpression.html" title="class in JSHOP2">LogicalExpression</A>
<DD>This function returns a unique integer every time called.
<DT><A HREF="./JSHOP2/InternalElement.html#getCnt()"><B>getCnt()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/InternalElement.html" title="class in JSHOP2">InternalElement</A>
<DD>To get the number of objects already instantiated from this class before
  this object was instantiated.
<DT><A HREF="./JSHOP2/InternalDomain.html#getCompoundTasks()"><B>getCompoundTasks()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>This function returns the <code>Vector</code> where the
  <code>String</code> names of the compound tasks in this domain are
  stored.
<DT><A HREF="./JSHOP2/Domain.html#getConstant(int)"><B>getConstant(int)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Domain.html" title="class in JSHOP2">Domain</A>
<DD>This function returns the <code>String</code> representation of a given
  constant symbol that appears in the domain description, the problem
  description, or both.
<DT><A HREF="./JSHOP2/TermConstant.html#getConstant(int)"><B>getConstant(int)</B></A> - 
Static method in class JSHOP2.<A HREF="./JSHOP2/TermConstant.html" title="class in JSHOP2">TermConstant</A>
<DD>To return the correponding existing constant symbol.
<DT><A HREF="./JSHOP2/InternalDomain.html#getConstants()"><B>getConstants()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A>
<DD>This function returns the <code>Vector</code> where the
  <code>String</code> names of the constant symbols in this domain are
  stored.
<DT><A HREF="./JSHOP2/Operator.html#getCost(JSHOP2.Term[])"><B>getCost(Term[])</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Operator.html" title="class in JSHOP2">Operator</A>
<DD>To get the cost of this operator.
<DT><A HREF="./JSHOP2/JSHOP2.html#getDomain()"><B>getDomain()</B></A> - 
Static method in class JSHOP2.<A HREF="./JSHOP2/JSHOP2.html" title="class in JSHOP2">JSHOP2</A>
<DD>This function returns the planning domain.
<DT><A HREF="./JSHOP2/DelAddForAll.html#getExpCode()"><B>getExpCode()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A>
<DD>This function produces Java code that initializes some data structures
  that will be needed to create the precondition object that implements
  the precondition of this <code>ForAll</code> delete/add element at run
  time.
<DT><A HREF="./JSHOP2/LogicalPrecondition.html#getFirst()"><B>getFirst()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/LogicalPrecondition.html" title="class in JSHOP2">LogicalPrecondition</A>
<DD>To check whether or not this logical precondition is marked
  <code>:first</code>.
<DT><A HREF="./JSHOP2/TaskList.html#getFirst()"><B>getFirst()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TaskList.html" title="class in JSHOP2">TaskList</A>
<DD>To return a <code>LinkedList</code> of the task atoms we have the option
  to achieve right now.
<DT><A HREF="./JSHOP2/TaskList.html#getFirstHelper(java.util.LinkedList)"><B>getFirstHelper(LinkedList&lt;TaskList&gt;)</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TaskList.html" title="class in JSHOP2">TaskList</A>
<DD>The helper function to calculate a <code>LinkedList</code> of the task
  atoms we have the option to achieve right now.
<DT><A HREF="./JSHOP2/DomainElement.html#getHead()"><B>getHead()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/DomainElement.html" title="class in JSHOP2">DomainElement</A>
<DD>This function returns the head of this domain element.
<DT><A HREF="./JSHOP2/InternalElement.html#getHead()"><B>getHead()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/InternalElement.html" title="class in JSHOP2">InternalElement</A>
<DD>To get the head of this internal domain element.
<DT><A HREF="./JSHOP2/List.html#getHead()"><B>getHead()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/List.html" title="class in JSHOP2">List</A>
<DD>To get the head of this list, a term.
<DT><A HREF="./JSHOP2/NumberedPredicate.html#getHead()"><B>getHead()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/NumberedPredicate.html" title="class in JSHOP2">NumberedPredicate</A>
<DD>To get the head of the predicate.
<DT><A HREF="./JSHOP2/Predicate.html#getHead()"><B>getHead()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Predicate.html" title="class in JSHOP2">Predicate</A>
<DD>To get the head of this predicate.
<DT><A HREF="./JSHOP2/TaskAtom.html#getHead()"><B>getHead()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TaskAtom.html" title="class in JSHOP2">TaskAtom</A>
<DD>To get the head of this task atom.
<DT><A HREF="./JSHOP2/Predicate.html#getID()"><B>getID()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/Predicate.html" title="class in JSHOP2">Predicate</A>
<DD>Returns the unique identifier for this predicate
<DT><A HREF="./JSHOP2/TermConstant.html#getIndex()"><B>getIndex()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermConstant.html" title="class in JSHOP2">TermConstant</A>
<DD>To get the index for this constant symbol.
<DT><A HREF="./JSHOP2/TermVariable.html#getIndex()"><B>getIndex()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/TermVariable.html" title="class in JSHOP2">TermVariable</A>
<DD>To get the index for this variable symbol.
<DT><A HREF="./JSHOP2/DelAddForAll.html#getInitCode()"><B>getInitCode()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A>
<DD>This function produces Java code used to initialize an array of type
  predicate this <code>ForAll</code> delete/add element will use at run
  time to represent the atoms that will be deleted/added by this element.
<DT><A HREF="./JSHOP2/LogicalExpression.html#getInitCode()"><B>getInitCode()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/LogicalExpression.html" title="class in JSHOP2">LogicalExpression</A>
<DD>This function produces Java code that initializes some data structures
  that will be needed to create the precondition object that implements
  this logical expression at run time.
<DT><A HREF="./JSHOP2/LogicalExpressionAssignment.html#getInitCode()"><B>getInitCode()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/LogicalExpressionAssignment.html" title="class in JSHOP2">LogicalExpressionAssignment</A>
<DD>This class does not need any initialization code, therefore, this
  function simply returns an empty <code>String</code>.
<DT><A HREF="./JSHOP2/LogicalExpressionAtomic.html#getInitCode()"><B>getInitCode()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/LogicalExpressionAtomic.html" title="class in JSHOP2">LogicalExpressionAtomic</A>
<DD>This class does not need any initialization code, therefore, this
  function simply returns an empty <code>String</code>.
<DT><A HREF="./JSHOP2/LogicalExpressionCall.html#getInitCode()"><B>getInitCode()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/LogicalExpressionCall.html" title="class in JSHOP2">LogicalExpressionCall</A>
<DD>This class does not need any initialization code, therefore, this
  function simply returns an empty <code>String</code>.
<DT><A HREF="./JSHOP2/LogicalExpressionConjunction.html#getInitCode()"><B>getInitCode()</B></A> - 
Method in class JSHOP2.<A HREF="./JSHOP2/LogicalExpressionConjunction.html" title="class in JSHOP2">LogicalExpressionConjunction</A>
<DD>This function produces Java code that implements the classes any object
  of which can be used at run time to represent the conj