internaldomain.html

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

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;This function returns the number of axioms in this domain.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Vector&lt;java.lang.String&gt;</CODE></FONT></TD>
<TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#getCompoundTasks()">getCompoundTasks</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;This function returns the <code>Vector</code> where the
  <code>String</code> names of the compound tasks in this domain are
  stored.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Vector&lt;java.lang.String&gt;</CODE></FONT></TD>
<TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#getConstants()">getConstants</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;This function returns the <code>Vector</code> where the
  <code>String</code> names of the constant symbols in this domain are
  stored.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#getMethodNo()">getMethodNo</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;This function returns the number of methods in this domain.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.lang.String</CODE></FONT></TD>
<TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#getName()">getName</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;This function returns the <code>String</code> name of this domain.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.util.Vector&lt;java.lang.String&gt;</CODE></FONT></TD>
<TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#getPrimitiveTasks()">getPrimitiveTasks</A></B>()</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;This function returns the <code>Vector</code> where the
  <code>String</code> names of the primitive tasks in this domain are
  stored.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>static&nbsp;void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#main(java.lang.String[])">main</A></B>(java.lang.String[]&nbsp;args)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;The main function that is called to do the compilation.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#readStringArray(java.io.BufferedReader, java.util.Vector)">readStringArray</A></B>(java.io.BufferedReader&nbsp;src,
                java.util.Vector&lt;java.lang.String&gt;&nbsp;list)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;This function reads a <code>Vector</code> of <code>String</code>s from
  a given file.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#setName(java.lang.String)">setName</A></B>(java.lang.String&nbsp;nameIn)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;To set the name of this planning domain.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;void</CODE></FONT></TD>
<TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#setProbName(java.lang.String)">setProbName</A></B>(java.lang.String&nbsp;probNameIn)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;To set the name of this planning problem.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE>&nbsp;java.lang.String</CODE></FONT></TD>
<TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#vectorToCode(java.util.Vector, java.lang.String)">vectorToCode</A></B>(java.util.Vector&lt;java.lang.String&gt;&nbsp;list,
             java.lang.String&nbsp;name)</CODE>

<BR>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;This function produces the Java code needed to allocate and initialize an
  array the elements of which are drawn from a given <code>Vector</code> of
  <code>String</code>s.</TD>
</TR>
</TABLE>
&nbsp;<A NAME="methods_inherited_from_class_java.lang.Object"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from class java.lang.Object</B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</CODE></TD>
</TR>
</TABLE>
&nbsp;
<P>

<!-- ============ FIELD DETAIL =========== -->

<A NAME="field_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Field Detail</B></FONT></TH>
</TR>
</TABLE>

<A NAME="planNo"><!-- --></A><H3>
planNo</H3>
<PRE>
private int <B>planNo</B></PRE>
<DL>
<DD>The number of solution plans per planning problem that the user has
  requested from this object.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="axioms"><!-- --></A><H3>
axioms</H3>
<PRE>
private java.util.Vector&lt;<A HREF="../JSHOP2/InternalAxiom.html" title="class in JSHOP2">InternalAxiom</A>&gt; <B>axioms</B></PRE>
<DL>
<DD>A <code>Vector</code> of axioms seen so far in the domain description.
  Each member is of type <code>InternalAxiom</code>.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="calcs"><!-- --></A><H3>
calcs</H3>
<PRE>
private java.util.Vector&lt;java.lang.String&gt; <B>calcs</B></PRE>
<DL>
<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.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="compoundTasks"><!-- --></A><H3>
compoundTasks</H3>
<PRE>
private java.util.Vector&lt;java.lang.String&gt; <B>compoundTasks</B></PRE>
<DL>
<DD>A <code>Vector</code> of <code>String</code> names of compound tasks seen
  so far in the domain.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="constants"><!-- --></A><H3>
constants</H3>
<PRE>
private java.util.Vector&lt;java.lang.String&gt; <B>constants</B></PRE>
<DL>
<DD>A <code>Vector</code> of <code>String</code> names of constant symbols
  seen so far in the domain.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="constantsSize"><!-- --></A><H3>
constantsSize</H3>
<PRE>
private int <B>constantsSize</B></PRE>
<DL>
<DD>The number of constant symbols already seen in the planning domain. Any
  number of constant symbols in the planning problem more than this
  indicates presence of constant symbols that appear exclusively in the
  problem description.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="endl"><!-- --></A><H3>
endl</H3>
<PRE>
static final java.lang.String <B>endl</B></PRE>
<DL>
<DD>The new line character in the platform JSHOP2 is running on.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="methods"><!-- --></A><H3>
methods</H3>
<PRE>
private java.util.Vector&lt;<A HREF="../JSHOP2/InternalMethod.html" title="class in JSHOP2">InternalMethod</A>&gt; <B>methods</B></PRE>
<DL>
<DD>A <code>Vector</code> of methods seen so far in the domain description.
  Each member is of type <code>InternalMethod</code>.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="name"><!-- --></A><H3>
name</H3>
<PRE>
private java.lang.String <B>name</B></PRE>
<DL>
<DD>The <code>String</code> name of the domain.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="operators"><!-- --></A><H3>
operators</H3>
<PRE>
private java.util.Vector&lt;<A HREF="../JSHOP2/InternalOperator.html" title="class in JSHOP2">InternalOperator</A>&gt; <B>operators</B></PRE>
<DL>
<DD>A <code>Vector</code> of operators seen so far in the domain description.
  Each member is of type <code>InternalOperator</code>.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="parser"><!-- --></A><H3>
parser</H3>
<PRE>
private <A HREF="../JSHOP2/JSHOP2Parser.html" title="class in JSHOP2">JSHOP2Parser</A> <B>parser</B></PRE>
<DL>
<DD>The parser object that will parse this domain.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="primitiveTasks"><!-- --></A><H3>
primitiveTasks</H3>
<PRE>
private java.util.Vector&lt;java.lang.String&gt; <B>primitiveTasks</B></PRE>
<DL>
<DD>A <code>Vector</code> of <code>String</code> names of primitive tasks
  seen so far in the domain.
<P>
<DL>
</DL>
</DL>
<HR>

<A NAME="probName"><!-- --></A><H3>
probName</H3>
<PRE>
private java.lang.String <B>probName</B></PRE>
<DL>
<DD>The <code>String</code> name of the planning problem.
<P>
<DL>
</DL>
</DL>

<!-- ========= CONSTRUCTOR DETAIL ======== -->

<A NAME="constructor_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Constructor Detail</B></FONT></TH>
</TR>
</TABLE>

<A NAME="InternalDomain(java.io.File, int)"><!-- --></A><H3>
InternalDomain</H3>
<PRE>
public <B>InternalDomain</B>(java.io.File&nbsp;fin,
                      int&nbsp;planNoIn)
               throws java.io.IOException</PRE>
<DL>
<DD>To initialize this domain.
<P>
<DL>
<DT><B>Parameters:</B><DD><CODE>fin</CODE> - the file from which the domain description is to be read.<DD><CODE>planNoIn</CODE> - the number of solution plans per planning problem that the user
          has requested from this object.
<DT><B>Throws:</B>
<DD><CODE>java.io.IOException</CODE></DL>
</DL>

<!-- ============ METHOD DETAIL ========== -->

<A NAME="method_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Method Detail</B></FONT></TH>
</TR>
</TABLE>

<A NAME="addAxiom(JSHOP2.InternalAxiom)"><!-- --></A><H3>
addAxiom</H3>
<PRE>
public void <B>addAxiom</B>(<A HREF="../JSHOP2/InternalAxiom.html" title="class in JSHOP2">InternalAxiom</A>&nbsp;axiom)</PRE>
<DL>
<DD>To add an axiom to the list of axioms read from the file.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>axiom</CODE> - the axiom to be added.</DL>
</DD>
</DL>
<HR>

<A NAME="addCompoundTask(java.lang.String)"><!-- --></A><H3>
addCompoundTask</H3>
<PRE>
public int <B>addCompoundTask</B>(java.lang.String&nbsp;s)</PRE>
<DL>
<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.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>s</CODE> - the <code>String</code> to be added.
<DT><B>Returns:</B><DD>the index assigned to this name.</DL>
</DD>
</DL>
<HR>

<A NAME="addConstant(java.lang.String)"><!-- --></A><H3>
addConstant</H3>
<PRE>
public int <B>addConstant</B>(java.lang.String&nbsp;s)</PRE>
<DL>
<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.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>s</CODE> - the <code>String</code> to be added.
<DT><B>Returns:</B><DD>the index assigned to this name.</DL>
</DD>
</DL>
<HR>