📄 package-summary.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:45 EDT 2007 --><TITLE>JSHOP2</TITLE><META NAME="keywords" CONTENT="JSHOP2 package"><LINK REL ="stylesheet" TYPE="text/css" HREF="../stylesheet.css" TITLE="Style"><SCRIPT type="text/javascript">function windowTitle(){ parent.document.title="JSHOP2";}</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="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</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"> PREV PACKAGE NEXT PACKAGE</FONT></TD><TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2"> <A HREF="../index.html?JSHOP2/package-summary.html" target="_top"><B>FRAMES</B></A> <A HREF="package-summary.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></TABLE><A NAME="skip-navbar_top"></A><!-- ========= END OF TOP NAVBAR ========= --><HR><H2>Package JSHOP2</H2><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2"><B>Interface Summary</B></FONT></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/Calculate.html" title="interface in JSHOP2">Calculate</A></B></TD><TD>This is the common interface for code calls in call terms.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/JSHOP2TokenTypes.html" title="interface in JSHOP2">JSHOP2TokenTypes</A></B></TD><TD> </TD></TR></TABLE> <P><TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY=""><TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor"><TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2"><B>Class Summary</B></FONT></TH></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/Axiom.html" title="class in JSHOP2">Axiom</A></B></TD><TD>Each axiom at run time is represented as a class derived from this abstract class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/CompileTimeObject.html" title="class in JSHOP2">CompileTimeObject</A></B></TD><TD>All the objects at compile time are instances of classes that are derived from this abstract class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/CompLess.html" title="class in JSHOP2">CompLess</A></B></TD><TD>This class handles <code>:sort-by</code> logical preconditions that use numerical <b>less than</b> as the sorting function.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/CompMore.html" title="class in JSHOP2">CompMore</A></B></TD><TD>This class handles <code>:sort-by</code> logical preconditions that use numerical <b>more than</b> as the sorting function.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/DelAddAtomic.html" title="class in JSHOP2">DelAddAtomic</A></B></TD><TD>Each atomic element in the delete/add list of an operator both at compile time and run time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/DelAddElement.html" title="class in JSHOP2">DelAddElement</A></B></TD><TD>Each element in the delete/add list of an operator both at compile time and run time is represented as an instance of a class derived from this abstract class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/DelAddForAll.html" title="class in JSHOP2">DelAddForAll</A></B></TD><TD>Each <code>ForAll</code> element in the delete/add list of an operator both at compile time and run time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/DelAddProtection.html" title="class in JSHOP2">DelAddProtection</A></B></TD><TD>Each <code>Protection</code> element in the delete/add list of an operator both at compile time and run time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/Div.html" title="class in JSHOP2">Div</A></B></TD><TD>Each code call of the form <code>(call / ...)</code> is implemented by an object of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/Domain.html" title="class in JSHOP2">Domain</A></B></TD><TD>Each domain at run time is represented as a class derived from this abstract class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/DomainElement.html" title="class in JSHOP2">DomainElement</A></B></TD><TD>This abstract class implements the basic common functionality of the all possible elements (i.e., methods, operators, and axioms) of a domain at run time.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/Equal.html" title="class in JSHOP2">Equal</A></B></TD><TD>Each code call of the form <code>(call = ...)</code> is implemented by an object of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/InternalAxiom.html" title="class in JSHOP2">InternalAxiom</A></B></TD><TD>Each axiom at compile time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/InternalDomain.html" title="class in JSHOP2">InternalDomain</A></B></TD><TD>Each domain at compile time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/InternalElement.html" title="class in JSHOP2">InternalElement</A></B></TD><TD>Each domain element (i.e., method, operator, or axiom) at compile time is represented as an instance of a class derived from this abstract class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/InternalMethod.html" title="class in JSHOP2">InternalMethod</A></B></TD><TD>Each method at compile time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/InternalOperator.html" title="class in JSHOP2">InternalOperator</A></B></TD><TD>Each operator at compile time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/InternalVars.html" title="class in JSHOP2">InternalVars</A></B></TD><TD>This class represents all the variables that JSHOP2 needs every time it calls itself recursively.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/JSHOP2.html" title="class in JSHOP2">JSHOP2</A></B></TD><TD>This class is the implementation of the JSHOP2 algorithm.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/JSHOP2GUI.html" title="class in JSHOP2">JSHOP2GUI</A></B></TD><TD>This is the graphical interface for JSHOP2</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/JSHOP2Lexer.html" title="class in JSHOP2">JSHOP2Lexer</A></B></TD><TD> </TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/JSHOP2Parser.html" title="class in JSHOP2">JSHOP2Parser</A></B></TD><TD> </TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/Less.html" title="class in JSHOP2">Less</A></B></TD><TD>Each code call of the form <code>(call < ...)</code> is implemented by an object of this class</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/LessEq.html" title="class in JSHOP2">LessEq</A></B></TD><TD>Each code call of the form <code>(call <= ...)</code> is implemented by an object of this class</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/List.html" title="class in JSHOP2">List</A></B></TD><TD>Each list, both at compile time and at run time, is an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/LogicalExpression.html" title="class in JSHOP2">LogicalExpression</A></B></TD><TD>Each logical expression at compile time is represented as a class derived from this abstract class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/LogicalExpressionAssignment.html" title="class in JSHOP2">LogicalExpressionAssignment</A></B></TD><TD>Each assign term in a logical expression at compile time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/LogicalExpressionAtomic.html" title="class in JSHOP2">LogicalExpressionAtomic</A></B></TD><TD>Each atomic term in a logical expression at compile time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/LogicalExpressionCall.html" title="class in JSHOP2">LogicalExpressionCall</A></B></TD><TD>Each call term in a logical expression at compile time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/LogicalExpressionConjunction.html" title="class in JSHOP2">LogicalExpressionConjunction</A></B></TD><TD>Each conjunction at compile time is represented as an instance of this class.</TD></TR><TR BGCOLOR="white" CLASS="TableRowColor"><TD WIDTH="15%"><B><A HREF="../JSHOP2/LogicalExpressionDisjunction.html" title="class in JSHOP2">LogicalExpressionDisjunction</A></B></TD>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -