📄 internaldomain.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"><!--NewPage--><HTML><HEAD><!-- Generated by javadoc (build 1.5.0_07) on Tue Oct 16 12:57:42 EDT 2007 --><TITLE>InternalDomain</TITLE><META NAME="keywords" CONTENT="JSHOP2.InternalDomain class"><LINK REL ="stylesheet" TYPE="text/css" HREF="../stylesheet.css" TITLE="Style"><SCRIPT type="text/javascript">function windowTitle(){ parent.document.title="InternalDomain";}</SCRIPT><NOSCRIPT></NOSCRIPT></HEAD><BODY BGCOLOR="white" onload="windowTitle();"><!-- ========= START OF TOP NAVBAR ======= --><A NAME="navbar_top"><!-- --></A><A HREF="#skip-navbar_top" title="Skip navigation links"></A><TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY=""><TR><TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1"><A NAME="navbar_top_firstrow"><!-- --></A><TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY=""> <TR ALIGN="center" VALIGN="top"> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../JSHOP2/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD> <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD> <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD> </TR></TABLE></TD><TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM></EM></TD></TR><TR><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="../JSHOP2/InternalAxiom.html" title="class in JSHOP2"><B>PREV CLASS</B></A> <A HREF="../JSHOP2/InternalElement.html" title="class in JSHOP2"><B>NEXT CLASS</B></A></FONT></TD><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="../index.html?JSHOP2/InternalDomain.html" target="_top"><B>FRAMES</B></A> <A HREF="InternalDomain.html" target="_top"><B>NO FRAMES</B></A> <SCRIPT type="text/javascript"> <!-- if(window==top) { document.writeln('<A HREF="../allclasses-noframe.html"><B>All Classes</B></A>'); } //--></SCRIPT><NOSCRIPT> <A HREF="../allclasses-noframe.html"><B>All Classes</B></A></NOSCRIPT></FONT></TD></TR><TR><TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2"> SUMMARY: NESTED | <A HREF="#field_summary">FIELD</A> | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#method_summary">METHOD</A></FONT></TD><TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">DETAIL: <A HREF="#field_detail">FIELD</A> | <A HREF="#constructor_detail">CONSTR</A> | <A HREF="#method_detail">METHOD</A></FONT></TD></TR></TABLE><A NAME="skip-navbar_top"></A><!-- ========= END OF TOP NAVBAR ========= --><HR><!-- ======== START OF CLASS DATA ======== --><H2><FONT SIZE="-1">JSHOP2</FONT><BR>Class InternalDomain</H2><PRE>java.lang.Object <IMG SRC="../resources/inherit.gif" ALT="extended by "><B>JSHOP2.InternalDomain</B></PRE><HR><DL><DT><PRE>public class <B>InternalDomain</B><DT>extends java.lang.Object</DL></PRE><P>Each domain at compile time is represented as an instance of this class.<P><P><DL><DT><B>Version:</B></DT> <DD>1.0.3</DD><DT><B>Author:</B></DT> <DD>Okhtay Ilghami, <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a></DD></DL><HR><P><!-- =========== FIELD SUMMARY =========== --><A NAME="field_summary"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2"><B>Field Summary</B></FONT></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private java.util.Vector<<A HREF="../JSHOP2/InternalAxiom.html" title="class in JSHOP2">InternalAxiom</A>></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#axioms">axioms</A></B></CODE><BR> A <code>Vector</code> of axioms seen so far in the domain description.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private java.util.Vector<java.lang.String></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#calcs">calcs</A></B></CODE><BR> 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.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private java.util.Vector<java.lang.String></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#compoundTasks">compoundTasks</A></B></CODE><BR> A <code>Vector</code> of <code>String</code> names of compound tasks seen so far in the domain.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private java.util.Vector<java.lang.String></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#constants">constants</A></B></CODE><BR> A <code>Vector</code> of <code>String</code> names of constant symbols seen so far in the domain.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private int</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#constantsSize">constantsSize</A></B></CODE><BR> The number of constant symbols already seen in the planning domain.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>(package private) static java.lang.String</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#endl">endl</A></B></CODE><BR> The new line character in the platform JSHOP2 is running on.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private java.util.Vector<<A HREF="../JSHOP2/InternalMethod.html" title="class in JSHOP2">InternalMethod</A>></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#methods">methods</A></B></CODE><BR> A <code>Vector</code> of methods seen so far in the domain description.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private java.lang.String</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#name">name</A></B></CODE><BR> The <code>String</code> name of the domain.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private java.util.Vector<<A HREF="../JSHOP2/InternalOperator.html" title="class in JSHOP2">InternalOperator</A>></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#operators">operators</A></B></CODE><BR> A <code>Vector</code> of operators seen so far in the domain description.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private <A HREF="../JSHOP2/JSHOP2Parser.html" title="class in JSHOP2">JSHOP2Parser</A></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#parser">parser</A></B></CODE><BR> The parser object that will parse this domain.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private int</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#planNo">planNo</A></B></CODE><BR> The number of solution plans per planning problem that the user has requested from this object.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private java.util.Vector<java.lang.String></CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#primitiveTasks">primitiveTasks</A></B></CODE><BR> A <code>Vector</code> of <code>String</code> names of primitive tasks seen so far in the domain.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE>private java.lang.String</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#probName">probName</A></B></CODE><BR> The <code>String</code> name of the planning problem.</TD></TR></TABLE> <!-- ======== CONSTRUCTOR SUMMARY ======== --><A NAME="constructor_summary"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2"><B>Constructor Summary</B></FONT></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#InternalDomain(java.io.File, int)">InternalDomain</A></B>(java.io.File fin, int planNoIn)</CODE><BR> To initialize this domain.</TD></TR></TABLE> <!-- ========== METHOD SUMMARY =========== --><A NAME="method_summary"><!-- --></A><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2"><B>Method Summary</B></FONT></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> void</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#addAxiom(JSHOP2.InternalAxiom)">addAxiom</A></B>(<A HREF="../JSHOP2/InternalAxiom.html" title="class in JSHOP2">InternalAxiom</A> axiom)</CODE><BR> To add an axiom to the list of axioms read from the file.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> void</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#addCalc(java.lang.String)">addCalc</A></B>(java.lang.String what)</CODE><BR> To add the <code>String</code> name of an external code call to the list of such code calls.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> int</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#addCompoundTask(java.lang.String)">addCompoundTask</A></B>(java.lang.String s)</CODE><BR> 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.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> int</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#addConstant(java.lang.String)">addConstant</A></B>(java.lang.String s)</CODE><BR> 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.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> void</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#addMethod(JSHOP2.InternalMethod)">addMethod</A></B>(<A HREF="../JSHOP2/InternalMethod.html" title="class in JSHOP2">InternalMethod</A> method)</CODE><BR> To add a method to the list of methods read from the file.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> void</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#addOperator(JSHOP2.InternalOperator)">addOperator</A></B>(<A HREF="../JSHOP2/InternalOperator.html" title="class in JSHOP2">InternalOperator</A> op)</CODE><BR> To add an operator to the list of operators read from the file.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> int</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#addPrimitiveTask(java.lang.String)">addPrimitiveTask</A></B>(java.lang.String s)</CODE><BR> To add a <code>String</code> used as a name of a primitive task in the domain description to the list of primitive task names, in case it has not been added before.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> void</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#close(int)">close</A></B>(int varsMaxSize)</CODE><BR> This function writes the Java code necessary to produce this domain at run time in the appropriate file.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> void</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#commandInitialize()">commandInitialize</A></B>()</CODE><BR> 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.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> void</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#commandToCode(java.util.LinkedList, java.util.LinkedList)">commandToCode</A></B>(java.util.LinkedList<java.util.Vector<<A HREF="../JSHOP2/Predicate.html" title="class in JSHOP2">Predicate</A>>> states, java.util.LinkedList<<A HREF="../JSHOP2/TaskList.html" title="class in JSHOP2">TaskList</A>> taskLists)</CODE><BR> This function writes the Java code necessary to produce these planning problems at run time in the appropriate file.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> void</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#dumpStringArray(java.io.BufferedWriter, java.util.Vector)">dumpStringArray</A></B>(java.io.BufferedWriter dest, java.util.Vector<?> list)</CODE><BR> This function saves a given <code>Vector</code> of <code>String</code>s in a given file.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1"><CODE> int</CODE></FONT></TD><TD><CODE><B><A HREF="../JSHOP2/InternalDomain.html#getAxiomNo()">getAxiomNo</A></B>()</CODE><BR>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -