|
||||||||
PREV NEXT | FRAMES NO FRAMES |
ForAll
delete/add element to the
current state of the world.
Vector
of objects of type
DelAddElement
.
String
name of an external code call to the list
of such code calls.
String
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.
String
used as a constant symbol in the domain
description to the list of constant symbols, in case it has not been
added before.
String
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.
Vector
s.
Vector
of axioms seen so far in the domain description.
ForAll
logical expression to some binding.
:sort-by
logical precondition.
:sort-by
logical precondition.
Vector
of logical expressions each of which represents a
branch of the axiom.
Vector
of String
names of user-defined
external code calls that must be imported before being used in the
domain description.
NIL
if not
all of its (possibly several) arguments are equal, and something other
than NIL
otherwise.
NIL
if and only if each argument in its argument list is
less than the next argument.
NIL
if and only if each argument in its argument list is
less than or equal to the next argument.
NIL
if its
first argument is not a member of its second argument, and something
other than NIL
otherwise.
NIL
if and only if each argument in its argument list is
more than the next argument.
NIL
if and only if each argument in its argument list is
more than or equal to the next argument.
NIL
if and only if each argument in its argument list is
not equal to the next argument.
getClassCnt()
is called before.
:sort-by
logical precondition.
:sort-by
logical preconditions that use
numerical less than as the sorting function.:sort-by
logical preconditions that use
numerical more than as the sorting function.String
names of compound tasks that appear in the
domain description.
Vector
of String
names of compound tasks seen
so far in the domain.
ForAll
logical expression.
ForAll
logical expression this object
represents.
String
names of constant symbols that appear in the
domain description.
Vector
of String
names of constant symbols
seen so far in the domain.
ForAll
delete/add element from
the current state of the world.
Vector
of objects of type
DelAddElement
.
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.ForAll
delete/add element at compile
time.
ForAll
delete/add element at run time.
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.Protection
delete/add element.
(call / ...)
is
implemented by an object of this class.(call / ...)
.
Vector
of String
s
in a given file.
LinkedList
of the tasks
that we have the option to achieve right now.
(call = ...)
is
implemented by an object of this class.(call = ...)
.
false
.
ForAll
statement at compile time is
represented by this variable.
:first
.
:first
.
nextBinding
function is called for this object after the latest call to its
reset
function.
:sort-by
logical
precondition.
String
.
Vector
where the
String
names of the compound tasks in this domain are
stored.
String
representation of a given
constant symbol that appears in the domain description, the problem
description, or both.
Vector
where the
String
names of the constant symbols in this domain are
stored.
ForAll
delete/add element at run
time.
:first
.
LinkedList
of the task atoms we have the option
to achieve right now.
LinkedList
of the task
atoms we have the option to achieve right now.
ForAll
delete/add element will use at run
time to represent the atoms that will be deleted/added by this element.
String
.
String
.
String
.
ForAll
logical expression this object is
representing.
String
.
nextBindingHelper
function for the precondition object that
represents this conjunction at run time.
resetHelper
function for the precondtion object that
represents this conjunction at run time.
String
name of this domain.
String
representations
of all the primitive tasks in the domain description.
Vector
where the
String
names of the primitive tasks in this domain are
stored.
:immediate
.
Vector
, when using an axiom
to prove an atom, this variable represents which branch of that axiom is
being used.
InternalAxiom
object.
InternalMethod
object.
InternalOperator
object.
true
because a constant symbol
is always ground by definition.
true
because a numerical term
is always ground by definition.
false
because a variable symbol
is never ground by definition.
:immediate
.
NIL
term?
Vector
of String
s each of which represents
the label of a branch of this axiom.
Vector
of String
s each of which represents
the label of a branch of this method.
(call < ...)
is
implemented by an object of this class(call < ...)
.
(call <= ...)
is
implemented by an object of this class(call <= ...)
.
ForAll
logical expression at compile time is represented
as an instance of this class.ForAll
logical expression.
LinkedList
of terms as input and
returns a list the elements of which are the terms in the input
LinkedList
in the reverse order.
(call Member ...)
is
implemented by an object of this class(call Member ...)
.
Vector
of methods seen so far in the domain description.
(call - ...)
is
implemented by an object of this class.(call - ...)
.
(call > ...)
is
implemented by an object of this class(call > ...)
.
(call >= ...)
is
implemented by an object of this class(call >= ...)
.
(call * ...)
is
implemented by an object of this class.(call * ...)
.
String
name of the domain.
nextBinding
function
and does the subclass-specific part of the finding the next binding.
ForAll
logical
expression, which is either null
or an empty binding.
NIL
term.
(call != ...)
is
implemented by an object of this class.(call != ...)
.
Vector
of operators seen so far in the domain description.
LinkedList
of ground instances of operators.
LinkedList
of ground
instances of operators.Plan
.
ArrayList
that represents the steps taken to find every
plan.
(call + ...)
is
implemented by an object of this class.(call + ...)
.
(call ^ ...)
is
implemented by an object of this class.(call ^ ...)
.
ForAll
statement at run time is
represented by this variable.
ForAll
logical expression at run time.ForAll
logical expression.
ForAll
logical expression.
ForAll
logical expression this object
represents.
Vector
of logical preconditions each of which represents
the precondition of a branch of this method.
String
names of primitive tasks that appear in the
domain description.
Vector
of String
names of primitive tasks
seen so far in the domain.
String
names of constant symbols that appear in the
problem description.
String
name of the planning problem.
ForAll
logical
expression represented by this object.
Vector
s.
Vector
of String
s from
a given file.
reset
function and
does the subclass-specific part of the resetting.
ForAll
logical expression.
:fist
.
String
representations of
constant symbols that do not appear in the domain description but in the
planning problem that is being solved.
ForAll
delete/add
element.
Protection
delete/add
element.
Vector
of task lists each of which represents a possible
way to decompose the task associated with this method if the
corresponding precondition is satisfied in the current state of the
world.
LinkedList
of the task atoms we have the option to
achieve right now.
ForAll
delete/add element.
Protection
delete/add element.
PreconditionAssign
object that represents this assignment
logical expression at run time.
PreconditionAtomic
object that represents this atomic
logical expression at run time.
PreconditionCall
object that represents this call logical
expression at run time.
PreconditionForAll
object that represents this
ForAll
logical expression at run time.
PreconditionNegation
object that represents this negative
logical expression at run time.
PreconditionNil
object that represents this empty logical
expression at run time.
String
representation of
this plan.
String
representation of
this predicate.
String
representation of
this predicate.
String
showing
the value of this task atom.
String
representation of
this task list.
String
showing
the value of this term.
String
representation of the value
of this numerical term.
Vector
in the current state of the world that represents
the atoms for which we are trying to find satisfiers.
Vector
of
String
s.
|
||||||||
PREV NEXT | FRAMES NO FRAMES |