Class Summary |
Axiom |
Each axiom at run time is represented as a class derived from this abstract
class. |
CompileTimeObject |
All the objects at compile time are instances of classes that are derived
from this abstract class. |
CompLess |
This class handles :sort-by logical preconditions that use
numerical less than as the sorting function. |
CompMore |
This class handles :sort-by logical preconditions that use
numerical more than as the sorting function. |
DelAddAtomic |
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. |
DelAddElement |
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. |
DelAddForAll |
Each ForAll element in the delete/add list of an operator both
at compile time and run time is represented as an instance of this class. |
DelAddProtection |
Each Protection element in the delete/add list of an operator
both at compile time and run time is represented as an instance of this
class. |
Div |
Each code call of the form (call / ...) is
implemented by an object of this class. |
Domain |
Each domain at run time is represented as a class derived from this
abstract class. |
DomainElement |
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. |
Equal |
Each code call of the form (call = ...) is
implemented by an object of this class. |
InternalAxiom |
Each axiom at compile time is represented as an instance of this class. |
InternalDomain |
Each domain at compile time is represented as an instance of this class. |
InternalElement |
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. |
InternalMethod |
Each method at compile time is represented as an instance of this class. |
InternalOperator |
Each operator at compile time is represented as an instance of this class. |
InternalVars |
This class represents all the variables that JSHOP2 needs every time it
calls itself recursively. |
JSHOP2 |
This class is the implementation of the JSHOP2 algorithm. |
JSHOP2GUI |
This is the graphical interface for JSHOP2 |
JSHOP2Lexer |
|
JSHOP2Parser |
|
Less |
Each code call of the form (call < ...) is
implemented by an object of this class |
LessEq |
Each code call of the form (call <= ...) is
implemented by an object of this class |
List |
Each list, both at compile time and at run time, is an instance of this
class. |
LogicalExpression |
Each logical expression at compile time is represented as a class derived
from this abstract class. |
LogicalExpressionAssignment |
Each assign term in a logical expression at compile time is represented as
an instance of this class. |
LogicalExpressionAtomic |
Each atomic term in a logical expression at compile time is represented as
an instance of this class. |
LogicalExpressionCall |
Each call term in a logical expression at compile time is represented as an
instance of this class. |
LogicalExpressionConjunction |
Each conjunction at compile time is represented as an instance of this
class. |
LogicalExpressionDisjunction |
Each disjunction at compile time is represented as an instance of this
class. |
LogicalExpressionForAll |
Each ForAll logical expression at compile time is represented
as an instance of this class. |
LogicalExpressionNegation |
Each negative term in a logical expression at compile time is represented
as an instance of this class. |
LogicalExpressionNil |
Each empty logical expression at compile time is represented as an instance
of this class. |
LogicalPrecondition |
Each logical precondition at compile time is represented as an instance of
this class. |
Member |
Each code call of the form (call Member ...) is
implemented by an object of this class |
Method |
Each method at run time is represented as a class derived from this
abstract class. |
Minus |
Each code call of the form (call - ...) is
implemented by an object of this class. |
More |
Each code call of the form (call > ...) is
implemented by an object of this class |
MoreEq |
Each code call of the form (call >= ...) is
implemented by an object of this class |
Mult |
Each code call of the form (call * ...) is
implemented by an object of this class. |
MyIterator |
This class implements an iterator with data members that can keep track of
where the algorithm is in terms of bindings found so far so that when the
next binding is needed it can be calculated correctly. |
NotEq |
Each code call of the form (call != ...) is
implemented by an object of this class. |
NumberedPredicate |
This class represents a predicate with an integer number associated with
it. |
Operator |
Each operator at run time is represented as a class derived from this
abstract class. |
Plan |
This class represent a plan as a LinkedList of ground
instances of operators. |
PlanStepInfo |
This object encapsulates the information pertaining to a single step in the planning
process. |
Plus |
Each code call of the form (call + ...) is
implemented by an object of this class. |
Power |
Each code call of the form (call ^ ...) is
implemented by an object of this class. |
Precondition |
This abstract class represents an iterator over all the possible bindings
that can satisfy its corresponding logical expression at run time. |
PreconditionAssign |
This class represents an iterator over all the possible bindings that can
satisfy an assignment logical expression at run time. |
PreconditionAtomic |
This class represents an iterator over all the possible bindings that can
satisfy an atomic logical expression at run time. |
PreconditionCall |
This class represents an iterator over all the possible bindings that can
satisfy a call logical expression at run time. |
PreconditionForAll |
This class represents an iterator over all the possible bindings that can
satisfy a ForAll logical expression at run time. |
PreconditionNegation |
This class represents an iterator over all the possible bindings that can
satisfy a negation logical expression at run time. |
PreconditionNil |
This class represents an iterator over all the possible bindings that can
satisfy an empty logical expression at run time. |
Predicate |
Each predicate, both at compile time and at run time, is an instance of
this class. |
SolverThread |
The thread that invokes JSHOP2 to solve a planning problem. |
State |
This class is used to represent the current state of the world. |
StdLib |
This class bundles all the code calls that are implemented in the standard
library of JSHOP2 in one class. |
TaskAtom |
Each task atom both at compile time and at run time is represented as an
object of this class. |
TaskList |
Each task list, both at compile time and at run time, is an instance of
this class. |
Term |
Each term, both at compile time and at run time, is an instance of a class
derived from this abstract class. |
TermCall |
Each call term, both at compile time and at run time, is an instance of
this class. |
TermConstant |
Each constant symbol, both at compile time and at run time, is an instance
of this class. |
TermList |
Each list both at compile time and at run time, is an instance of this
class. |
TermNumber |
Each numerical term both at compile time and at run time, is an instance
of this class. |
TermVariable |
Each variable symbol both at compile time and at run time, is an instance
of this class. |