|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
false.
createNativeClass, applied to
a STELLA class.
shellCommand in remote execution contexts
for security purposes.
inModule, applied to a
module argument.
clearModule, applied to a
module argument.
lookupCoersionMethod to
locate a coersion method.
describe when no second
argument is given.
resetStellaFeatures.
clearModule, applied to a
module argument.
saveModule.
finalizeOneClass
and finalizeLocalSlot, applied to a RELATION argument.
htmlWrite3PartHrefInDetail.
htmlWrite3PartHrefInDetail.
true all passes of a translation will always be performed
regardless of whether any errors were encountered.
null.
true by rememberUnfinalizedClass; set
to false by cleanupUnfinalizedClasses.
true when outputting a defprint, used to
conditionally dereference streams in print-native-stream
statements.
load or demo command, try to find it with one of these extensions.
true pretty-print Stella and translated code.
true conses will be pretty printed.
true conses will be printed as readable Stella code.
true, record object signatures into a persistent table.
$MAX_RECYCLE_LIST_BYTES$ limit is still met.
TRUE calls to renamed_New or free on classes with :recycle-method;
specifications will actually operate on recycle lists.
true, always redefine classes, even if an
identical class exists
undefineOldClass.
true if using specials is enabled and legal.
startupTimeProgn form.
findFileInLoadPath.
selectFileExtension.
true, safeLookupSlot and lookupFunction will
try to retrieve a previously recorded signature if normal lookup fails.
true, the walker will try to find previously recorded
signatures for referenced but undefined functions, methods, etc.
wrapperValueType and
typeToWrappedType.
x)
selectionPattern.n in radians.
demon in the location(s) specified by its internal
structure.
self or a superslot of self is marked active.
x + y
value to property in configuration and return it.
substitutionList with date information for the current
date and time.
substitutionList with template variable substitions
for the names YEAR, MONTH, MON, DAY, HOUR, MINUTE, SECOND, TIMEZONE,
DAY-OF-WEEK, DOW with their values for date.
hookfunction into hooklist.
path to the end of the STELLA load path.
value to the end of propertys (a string or symbol) value
list in the configuration table.
node to graph.
root as a root node to graph.
keywords.
source, starting from start, of
the first character that is not white space.
instanceref.
self.
allFactsOf (which see).
module
that have an inconsistent truth value.
module.
s are lower case.
module.
module.
self.
cloneMemoizedIterator.
self.
allocateTransitiveClosureIterator (which see),
but return a SUPPORTED-CLOSURE-ITERATOR instead.
module.
nextP
function within itself during iterator allocation.systemName
graph that has been finalized,
return an iterator that generates all the graph's nodes.
module.
module.
s are upper case.
_theVariableSelf_.conslist1 and conslist2.
code to arguments, returning a value of type OBJECT.
inputVariables and body queryBody.
code to arguments, returning a value of type
BOOLEAN.
code to arguments, returning a value of type
FLOAT.
code to arguments, returning a value of type
INTEGER.
code to arguments, returning a value of type
LONG-INTEGER.
code to arguments, returning a value of type
OBJECT.
variables
and body queryBody.
code to arguments, returning a value of type
STRING.
n in radians.
propositionAoptions is true.
query in module and environment.
ask (which see), but return the highest partial match score
for the supplied proposition instead of a truth value.
relation arg value) is TRUE
in module.
query, instantiate the query proposition for each generated
solution and assert the resulting propositions.
RelationAndArguments satisfies
the relation relation.
proposition is true in module.
dbInstanceName (for
example, "edb") according to options.
relation arg) is TRUE in module.
n in radians.
x / y in radians.
proposition relative to a set of variable bindings.qualifiedname from system systemname.
true if m is a base measure.
string is either NULL, empty, or only
contains white space characters.
message.
self.
self.
self.
stream filling buffer between start and end (depending
on how many characters are available).
buffer to stream, using data in the buffer starting at position
start stopping just before end.
date
adjusted for timezone.
date adjusted for timezone.
date adjusted for timezone.
date
adjusted for timezone.
instanceref.
ask (which see).
name or any of its children.
defconcept command (which see).
defdb command (which see).
deffunction command (which see).
defobject command (which see).
defproposition command (which see).
defquery command (which see).
defrelation command (which see).
deftable command (which see).
deftable command (which see).
listUndefinedRelations (which see).
context.
retrieve (which see).
retrievePartial (which see).
module to the level specified
by 'levelKeyword'.
value.
name.
name.
module and return it.
ch.
ch as an integer.
ch is lowercase, return its uppercase version,
otherwise, return 'ch' unmodified.
c into a one-element string and return the result.
ch is uppercase, return its lowercase version,
otherwise, return 'ch' unmodified.
$UNFINALIZED_CLASSES$,
and set $NEWLY_UNFINALIZED_CLASSESP$ to false.
self by setting its active length to zero.
self an empty dictionary.
self to have zero entries.
self an empty list.
self an empty property list.
self.
self by setting its active length to zero.
property in configuration and return the previous
value.
name or any of its children.
module as well as
the contents of all of its children, recursively.
name or any of its children.
list to its empty state.
name.
graph,
but retain information about the native network and associated links.
node,
but retain information about the native object and associated links.
addTrace.
self so it can be used to
iterate over the collection represented by self, while allowing to iterate
over it multiple times via multiple clones.
self.
file to Common-Lisp.
systemName to Common Lisp.
code (0 <= code <= 255).
restvariable into a CONS
list containing all its elements (uses argument list iteration to do so).
value to type.
y to be a compatible type with x.
y to be a compatible type with x.
renamed_Object.
number to a float value or NULL if not possible.
self into a HASH-SET.
self, or self if it is a
literal (e.g., string or number) that can't be coerced.
renamed_Object into a string.
name.
self.
value.
value to a float value if possible, return
NULL otherwise or raise an error if errorP is true.
value into a string if possible, return NULL
otherwise or raise an error if errorP is true.
value to type.
true if method is an evaluable command.
x and y are compatible.
nameComponents is a cons to be processed into a namestring.
composeNamestring, which will probably be
easier to use when called from non-Lisp languages.
julianDay begins at noon.
pid
name and return it.
list1, list2, and otherlists.
iterator1, then those of iterator2, and then those of all otheriterators.
list2 and all otherlists onto the end of list1.
set2 and all othersets onto the end of set1.
sentence
in the module module.
tree is a term expression (a string or an s-expression),
or is a class reference (a symbol or surrogate).
value.
tv1 and tv2.
value and rest.
self.
self into a cons list and return the result.
self into a Stella CONS.
self.
self into a cons list and return the result.
self.
self.
self into a cons list of
_LkeyGLvalueG_ pairs and return the result.
self.
renamed_Object is a CONS, return it.
self into a cons list of
_LkeyGLvalueG_ pairs and return the result.
self.
count command line arguments into a CONS list.
self into a cons list
of result tuples.
self.
values, in order.
objectref denotes a literal or scalar.
matchConsTree (which see).
tree identified by a path
specified as a list of index values.
tree identified by a path
specified as a list of index values.
homeContext
that enables context-dependent access machinery to determine the
visibility of objects from modules.self.
self.
self.
self.
self.
self.
self.
self.
self.
self.
self.
self.
fromfile to file tofile, clobbering
any data already in tofile.
consList.
in verbatimely to out.
n radians.
statement to C++ and print the result.
systemname to C++.
nofRows rows and
nofColumns columns, and initialize it in row-major-order from values.
nofRows rows and
nofColumns columns, and initialize it in row-major-order from values.
name in the designated module, with the
designated parent superconcept (which can be left undefined).
self.
members in
module using environment.
members
in module using environment.
name with arity arity in the designated
module.
name, creating it if
necessary.
name as a child of parent.
name of type concept in the designated
module.
renamed_New operator.
name with arity arity in the
designated module.
name visible in module,
creating it if necessary.
node to nativeobject and add it
to graph.
demon from the location(s) specified by its internal
structure.
date interpreted in timezone
timezone is the number of hours added to UTC to get local time.
date
The Format is YYYY-MM-DDThh:mm:ss+zz:zz, with the string stopping at
when a null value is first encountered.
time specified in milliseconds.
decomposeNamestring, which will probably be
easier to use when called from non-Lisp languages.
option and value.
self is default false.
self is default true.
self is a default truth value.
name and attach it to a class or slot.
name as an arithmetic comparision operation using the
test testName.
name as an arithmetic comparision operation using the
test testName.
name to be a constraint computation which uses
constraintTest to determine if a fully bound set of variables
satisfies the constraint.
self is NULL or the NIL_LIST.
property with value for the logical host host.
name.
definstance is an alias
for defobject which see).
name.
defrule is an alias
for defproposition which see).
deletedP method which always returns FALSE.
filename.
relation.
proposition.
self where all logic objects are
replaced by their generated parse-tree version.
self, if it has one.
self.
objectspec, and destroy all
propositions and indices that reference it.
self.
self and all its subclasses.
self which can be a term or a proposition.
renamed_Object, retracting all facts attached to it.
self and then destroy the associated process object.
methodTree.
collectiontype containing values, in order.
self and otherlist (i.e., all elements
that are in self but not in otherSet).
self and otherset as a new set (i.e.,
all elements that are in self but not in otherset).
self and otherlist (i.e., all elements
that are in self but not in otherSet).
ch represents a digit.
timeValue to its
equivalent value as a timeDuration object.
directory as a file name, i.e., without a terminating
directory separator.
level-th parent directory component of directory
including the final directory separator, or the empty string if directory does
not have that many parents.
self.
feature is currently disabled.
feature is currently disabled.
tv1 and tv2.
x / y
clearInstances that evaluates its argument.
true when iterating over a DTD definition.
module to the persistent store store which can
either be an output stream or a persistent OBJECT-STORE.
renamed_Char is uppercase, return its lowercase version,
otherwise, return 'char' unmodified.
hookfunction from hooklist.
path from the PowerLoom load path.
keywords.
self has zero entries.
self has no more elements.
true iff self equals nil.
self is empty.
self has zero entries.
self has no members.
self has zero entries.
x is the wrapped empty string ""
true if self has length 0.
true if self has length 0.
feature is currently enabled.
feature is currently enabled.
timeStructure.
string ending at end
ends with suffix.
filename does not exist.
filename exists.
true if the strings s1 and s2 are the same
except for the amounts of whitespace separating words.
x and y are eqP or equivalent literals
such as strings that also might be wrapped in non-identical wrappers.
true iff the cons trees tree1 and tree2 are
structurally equivalent.
equalP hash code for self.
equalP hash code for self.
equalP hash code for self.
equalP hash code for self.
equalP hash code for self.
equalP hash code for self.
equalP hash code for self.
self (can be negative).
equalP hash code for self.
equalP hash code for self.
x and y are eqlP or considered equal
by a user-defined objectEqualP method.
equalP as the
equality test (and equalHashCode as the hash function), otherwise,
use eqlP (and hashCode) (the default).
equalP as the
equality test and equalHashCode as the hash function, otherwise,
use eqlP and hashCode (the default).
self occurs in otherlist and vice versa.
self occurs in otherset and vice versa.
self occurs in otherlist and vice versa.
value.
command within module and return
the result.
expression and return the result.
expression and return the result.
proposition is on the evaluation queue
for *context*, :EVALUATED if has been evaluated, or NULL if it has never been evaluated.
state of 'proposition'.
e.
command in a shell and return its exit status.
n.
prop if there is one.
x ^ y
x ^ y.
self.
self is false (or default-false if we are
considering default assertions).
self represents some form of falsehood.
self which is assumed to be non-empty.
name (a string or symbol) from store
and return it as an appropriate logic object.
fetchQuery using taskId; subtaskId,database
and specifying a single additional parameterValue.
name (a string or symbol) from store
and return it as a named description.
self.
self, or NULL if empty.
files directory (including logical host) and
extension components and return the result.
files extension (or type) if it has any including
the separator character.
filename in bytes or NULL if that
cannot be determined.
file interpreted as a directory, i.e., with a
terminating directory separator.
file including the final
directory separator or the empty string if file does not include a directory.
file by removing any
directory and logical host components.
files extension (or type) if there is any and
return the result.
filename was last modified or
NULL if that cannot be determined.
self in row-major-order
from values.
self in row-major-order
from values.
self in row-major-order
from values.
self in row-major-order
from values.
substitutionList with template variable substitions
for the names YEAR and DATE which correspond to the current year and date.
graph.
file in the current load path and, if found,
return its full name.
string1 and
string2, starting at position start1 and start2 respectively.
string1 and string2 where
they mismatch, starting at position start1 and start2 respectively.
name in module or create one with type
if it does not yet exist.
pathname if one exists,
otherwise create one
graph with label label.
self.
self, or NULL if empty.
forms whose value is defined
or NULL otherwise.
x.
x and y.
x and y.
x in a base-60 form.
self.
x in units with decimals digits.
input to be (at least) length long, using padchar to
fill if necessary.
self.
self, or NULL if empty.
self and other objects,
and then deallocate the storage for self.
self.
x by y.
x and y.
self.
xmlAnswer from Fetch based on
the database table tableName and uses it to generate an assertion
for an appropriate relation for inclusion in module.
prefix with a number appended that
is not currently in use in moduleD In a non-case-sensitive module, the returned
name will be all upper case (This latter feature may change!)
prefix and ending with a globally gensym'd integer.
relation.
self.
relation arg1 arg2)
is true.
relation arg1 arg2)
is true.
date
in timezone.
module.
obj, which must
be of type proposition, cons, vector or PL-iterator.
name that is local to
or visible from the module module.
concept that
has an attribute matching value for the binary relation relation, i.e.,
_relationLresultGValue_ holds.
concept.
concept that
have an attribute matching value for the binary relation relation, i.e.,
_relationLresultGValue_ holds.
concept.
relation.
relation.
renamed_Object belongs to.
relation.
propositions forward justifications.
renamed_Object was created.
module.
v such that (relation arg v)
has been asserted or can be inferred.
name if it exists.
module.
name.
obj, if it has one.
obj can be found from
module.
relation.
nth column of
sequence.
nth column of
sequence.
nth column
of sequence.
nth column of
sequence.
nth column of sequence.
name that is local to
or visible from the module module.
name.
module.
prop.
relation.
relation.
property (a string or symbol) in the configuration
table and return its value.
relationAndArguments that
has been asserted (or inferred by forward chaining).
relationAndArguments that
have been asserted (or inferred by forward chaining).
module.
renamed_Object among their arguments,
and that are TRUE in the scope of the module module.
treeName.
relation.
name that is local to
or visible from the module module.
relation.
relation.
relation
in either antecedent or consequent position.
obj, if it has one.
slotName on the class
representing the type of self.
className.
className.
pathname, or null
if no such context exists.
pathname, or null
if no such module exists.
name visible in module if it
exists.
date in timezone.
renamed_Object belongs to.
module.
expression (may be empty).
form.
expression (may be empty).
expression.
global.
x >= y
x >= y
x > y
x > y
proposition has any forward justifications.
self (can be negative).
code onto a bucket index for a hash table
of size (i.e., onto the interval [0..size-1].
eqlP or equalP
equality tests, O(1) insert and memberP operations & O(N) intersection
etc.eqlP HASH-SET containing values.
string and return it.
predicate (Min if predicate has a L semantics).self according to its
predicate.
self (NULL if self is empty).
pathname, or null
if no such module exists.
printConceptOutline
printConceptOutline
printOutline
printOutline
printOutline
printOutline
printOutline
self.
surrogate into module and return the imported surrogate.
symbol into module and return the imported symbol.
self is inconsistent (true and false).
self represents INCONSISTENT.
tree and return
the result.
currentDepth on stream using the value of the global
variable $OUTLINE_INDENT_STRING$
dialect.
self with initialvalue.
self with initialvalue.
self with initialvalue.
self with initialvalue.
self.
self.
self.
self.
self.
self.
graph.
node.
self.
self, or null.
name.
value to the END of the sequence self.
value to the set self unless it is already a member.
value into self and restore the heap property.
value to the front of the list self.
value to the set self unless it is already a member.
value to the END of the sequence self.
value identified by key into self.
key, value> into the association
self.
key in self
to value or add a new entry if no entry with key exists yet.
key, value> into the property list self.
key in self
to value or add a new entry if no entry with key exists yet.
key,value> to self unless an identical
entry already exists.
value into self and restore the heap property.
value as the last entry in the list self.
value to the end of set self unless it is already a member.
value to the front of the list self unless its
already a member.
source begining at start and
ending at end into target starting at targetIndex.
varsAvalues in template replace it
with its corresponding <value> string.
x.
x by y.
x is an even number.
x and y.
x and y.
x is an odd number.
x is greater than 0.
x by y.
arg to the right by count positions and
0-extend from the left if arg is positive or 1-extend if it is
negative.
arg to the right by 1 position and 0-extend
from the left.
x is 0.
x.
true if x is the floating point representation of an integer.
name and symbol-id offset.
newname which is interned in the same module as basesymbol.
newname which is interned in the same module as basesymbol.
name.
name.
module with name name.
name.
name which is assumed to be the printed
representation of a STELLA symbol, surrogate or keyword, intern
it into the current or specified module and return the result.
name.
name in module (if localP do
not consider inherited modules).
name.
name in module (if localP do
not consider inherited modules).
processCommandLineArguments (which see).
self and otherlist.
self and otherset as a new set.
self and otherlist.
x
self.
renamed_Object is a member of the concept concept.
true iff renamed_Object is an instance of the class named type.
tv is a default truth value.
obj is an enumerated collection.
obj is an enumerated list
obj is an enumerated set.
tv is a false truth value.
obj is of type FLOAT (double)
tv is an inconsistent truth value.
obj is of type INTEGER
tv is a known truth value (i.e., true or false).
obj is of type LOGIC-OBJECT
obj is of type NUMBER.
tv is a strict (non-default) truth value.
obj is of type STRING
sub is a subconcept/subrelation of renamed_Super.
tv is a true truth value.
relation arg value) has
been asserted (or inferred by forward chaining).
proposition is TRUE in the module module.
relation args) has
been asserted (or inferred by forward chaining).
relation arg) has
been asserted (or inferred by forward chaining).
tv is an unknown truth value.
systemname to Java.
statement to C++ and print the result.
julianDaystarts at noon.
eqlP or
equalP equality tests, O(1) access operations even for large numbers
of entries by using a hash table, light-weight KV-CONS representation for
small tables and iteration even if the dictionary is represented by a
hash table.self and then destroy the associated thread object.
self is a known truth value, that is
either TRUE or FALSE, but not UNKNOWN, INCONSISTENT, etc.
self into a property list with identical and identically
ordered keys and values.
key, value> to the front of the association
self.
self.
self.
self.
self.
self.
renamed_Object within the cons-list
self (counting from zero); or return null if renamed_Object does not occur within
self (uses an eqlP test).
renamed_Object within the list
self (counting from zero); or return NULL if renamed_Object does not occur within
self (uses an eqlP test).
renamed_Object within the vector
self (counting from zero); or return null if renamed_Object does not occur within
self (uses an eqlP test).
self.
self.
self.
self.
self.
self.
self.
self.
self.
self.
x <= y
x <= y
x < y
x < y
ch represents a letter.
parent and child in graph.
values, in order.
values,
terminated by the last value rather than by nil.
directory sorted by name.
QUERY_ITERATORDconsify but return a LIST instead.
self into a Stella LIST.
self.
self.
self.
self.
self.
file and evaluate them.
filename and evaluate them.
file and return its content as a configuration table.
directory in alphabetic sort order.
file and evaluate them.
value using the STELLA loadFile command.
filename and evaluate them.
stream and evaluate them.
stream and evaluate them.
option and value.
stream and evaluate them.
stream and evaluate them.
stream and evaluate them.
stream and evaluate them.
language-compile out-of-date translated files of system
systemname (only supported for Lisp at the moment) and then load them
into the running system.
n.
n.
o1 and o2 that can appear in logical
forms.
level is lower than or equal to the current
log level of module.
message to modules log stream if
loglevel is the same or lower than the modules log level.
message to modules log stream if
loglevel is the same or lower than the modules log level.
x.
x by y.
x is an even number.
x and y.
x and y.
x is an odd number.
x is greater than 0.
x by y.
arg to the right by count positions and
0-extend from the left if arg is positive or 1-extend if it is
negative.
arg to the right by 1 position and 0-extend
from the left.
x is 0.
key in self and
return its value, or NULL if no such solution exists.
key in self and
return its value, or NULL if no such entry exists.
key in self and
return its value, or NULL if no such entry exists.
name.
name names an evaluable command return its associated
command object; otherwise, return null.
property in configuration and return its value.
property in configuration, assume it is a multi-valued
property and return its value(s) as a list.
name.
name if it exists.
slotName on renamed_Class.
parameter for module.
name has a macro definition, return the method object
holding its expander function.
nativeName if it exists
and the underlying programming languages supports such lookups.
nativeName if it exists
and the underlying programming languages supports such lookups.
kindofsym visible from the current module (case-sensitive).
renamed_Class with name slotName.
name visible from the current module.
name visible from module.
name visible from the current module.
name visible from module.
name visible from module.
name visible from module.
key in self and return the result.
key in self and return the result.
ch represents a lower-case character.
statement to Common-Lisp and print the result.
makeMatchingName, which will probably be
easier to use when called from non-Lisp languages.
size initchars.
size.
systemname
into language (the first optional argument of languageAoptions) and
then compile and load them (the latter is only possible for Lisp right now).
LprefixGNNNNNNLsuffixG
which is guaranteed to not refer to any existing file.
name using namespaceName
to refer to namespace.
name using
namespaceName to refer to namespace.
name associated with element
nil iff self is null or self otherwise.
self is NULL or self otherwise.
pattern against tree and return a list of
variable bindings if they match, or NULL otherwise.
x and y.
renamed_Object is a member of the collection self.
true iff renamed_Object is a member of the cons list
self (uses an eqlP test).
self and return TRUE
if one of them is eqlP to 'value.
renamed_Object is a member of the set self.
renamed_Object is a member of the list
self (uses an eqlP test).
value is a member of the sequence self.
true iff renamed_Object is a member of the cons list
self (uses an eqP test).
renamed_Object is a member of the cons list
self (uses an 'eq?' test).
baseIterator without having to generate all its values first.inputargs.
basefile, supply any missing components from
defaults if supplied and return the result.
self with values from renamed_Default.
self that represent larger
time units than the smallest non-null in self with values from renamed_Default.
x and y.
julianDaystarts at noon.
x and y.
true if renamed_Class has more than one direct superclass.
x * y
self (settable via setf).
self to ch and return ch.
self (settable via setf).
self to ch and return ch.
self (settable via setf).
self to ch and return ch.
self.
self at position.
self at position to ch.
self (settable via setf).
self to ch and return ch.
oldChars with the
corresponding member of newChars in the string self.
self (settable via setf).
self to ch and return ch.
s into a regular string with the same content.
name.
inputstream using the native language
readline algorithm and return the result.
self at position.
self at position to value.
x
self and return true if more
elements are available, false otherwise.
self (or
one of its clones) by either using one of the values generated so far or by
generating and saving the next value of the baseIterator.
true iff x equals nil.
true if the collection self forbids duplicate values.
self has at least 1 entry.
true iff self is not equal to nil.
self has at least 1 entry.
self has at least one member.
self has at least 1 entry.
x is not the wrapped empty string ""
true if self has length > 0.
true if self has length > 0.
source, starting from start, of the first
character that is not included in match.
self, or NULL if it is empty.
self at position.
self, or NULL if empty.
rest position times to self.
self is NULL or the NIL_LIST.
x and y represent the same Concept
x and y represent the same Instance
x and y represent the same Propositions
x and y represent the same Relation
true iff the cons trees tree1 and tree2 are
structurally equivalent.
x and y are HASH-SET's with equivalent members.
x and y represent the same set of key/value pairs.
x and y represent the same set of key/value pairs.
x and y are structurally
equivalent.
x and y represent the same set of key/value pairs..
x and y are SET's with equivalent members.
x and y are eqP.
x and y represent the same set of key/value pairs.
x and y are structurally
equivalent.
x and y are structurally
equivalent.
x and y are literal wrappers whose
literals are considered eqlP.
self (can be negative).
self.
self.
self, which
may be a Stella class that is used in PowerLoom as well as
a more normal powerloom object.
self to name.
self to a float, or throw a Stella Exception if the coersion is not feasible.
self to an integer, or throw a Stella Exception if the coersion is not feasible.
self.
self as a string.
self at position JiK.
self at position JiK.
self at position JiK.
self at position JiK.
JiK.
JiK.
JiK.
JiK.
self at position JiK to value
and return the result.
self at position JiK to value
and return the result.
self at position JiK to value
and return the result.
self at position JiK to value
and return the result.
filename for input and return the resulting input stream.
host at port and return the result
as an input/output stream pair.
filename for output and return the resulting output stream.
true if the collection self is ordered.
true if currentDepth exceeds depthLimit.
self.
dateTimeString and
returns a time structure if successful.
dateTimeString and
returns a time structure if successful.
dateTimeString and
returns a time structure if successful.
options, check their validity according to
legalOptionsATypes and return the result as a PROPERTY-LIST.
name of a STELLA symbol, surrogate or
keyword and return its symbol name, module name and type (which is either
:SYMBOL, :SURROGATE or :KEYWORD).
minsize.
self into a key-value list with identical and identically
ordered keys and values.
self or NULL
if the table is empty.
self.
self.
self.
renamed_Object within the cons-list
self (counting from zero); or return null if renamed_Object does not occur within
self (uses an eqlP test).
renamed_Object within the list
self (counting from zero); or return NULL if renamed_Object does not occur within
self (uses an eqlP test).
renamed_Object within the vector
self (counting from zero); or return null if renamed_Object does not occur within
self (uses an eqlP test).
list1 and self.
list2 onto the front of the list self.
proposition.
form to stream according
to the current setting of $LOGIC_DIALECT$.
self.
true if self is not a defined relation.
self to stream.
self to stream.
self to stream.
self to stream.
configuration to stream.
module.
allFactsOf, but sorts and prints each fact
on a separate line on the standard output stream.
form to stream according to
the current setting of $LOGIC_DIALECT$.
thing and its subparts on stream.
relation.
module.
renamed_Class.
form to stream according to
the current setting of $LOGIC_DIALECT$.
justification to stream according to
maxdepth and style.
xmlExpression on stream.
true if self is not public.
filename exists.
arguments for which handlers have been registered.
name.
statement to Common-Lisp and print the result.
self or one it its ancestors is marked public.
self.
self.
value be the new first element of self.
value to the front of the list self.
value to the front of set self unless it is already a member.
path to the front of the STELLA load path.
value onto the cons list variable, unless value
is already a member of the list.
name is a symbol or surrogate qualified with a module
pathname or a module pathname ending with a S.
inputstream and return the result.
self.
stream and return the result.
stream and return the result and
a keyword that indicates the terminator for that line ending:
CCR CLF CCRLF or CEOF.
stream and return
the result.
string and
return the result.
stream and return
its s-expression representation (see xmlTokenListToSExpression).
filename and
return them in a list.
referenceCount
that is incremented whenever the object is assigned to a slot, and decremented
whenever it is deassigned from a slot.name as a computation which
executes code.
name as a function name in module which will invoke the
native code procedure described by functionReferenceD The name
is a fully-qualified name which will be interpreted by the normal
rules for reading names in PowerLoom.
stellaName based on the nativeName
for the particular programming language in question.
true if slotName is the name of some registered;
slot in the system.
fn as a logic-object print function for dialect.
slot as a slot name, and
initialize its symbolSlotOffset so that it can be used by lookupSlot.
name as a specialist which
executes code.
name as a function name in module which will invoke the
native code procedure described by functionReferenceD The name
is a fully-qualified name which will be interpreted by the normal
rules for reading names in PowerLoom.
stellaName based on the nativeName
for the particular programming language in question.
true if x can be represented by a regular integer.
self that
match value.
value from the set self if it is a member and
return self.
self that match value.
value from the sequence self, and left shift
the values after it to close the gap.
key from self.
key.
key from self.
key.
key from self.
value from property in configuration and return it.
self.
self and return the
result.
self and return the result.
removeDuplicates (which see) using an equalP test.
removeDuplicates (which see) using an equalP test.
key,value>.
self for which testP evaluates to true.
self for which
'test?' evaluates to TRUE.
self for which
'test?' evaluates to TRUE.
node from graph and disconnect incident links.
root from graphs root nodes.
proposition.
fromfile to tofile.
renumberRatio, relabel
the whole graph non-incrementally.
self with value and restore
the heap property.
old in string with renamed_New.
name.
self.
size.
self to size.
self.
proposition.
relation arg value) is TRUE
in module.
instanceref.
self.
query which has to be a strict or partial retrieval
command, instantiate the query proposition for each generated solution
and retract the resulting propositions.
arguments satisfies
the relation relation.
proposition in module.
assertRule to
observe the effects of querying with or without a particular (named) rule
being asserted within the current context.
relation arg) is TRUE in module.
query satisfy the query proposition.
retrieve (which see) that generates scored
partial solutions based on the current partial match strategy.
self.
self.
self (in place).
self.
arg to the right by 1 position.
module.
hooklist, applying
each one to argument.
self.
self.
importSurrogate (which see).
importSymbol (which see).
lookupSlot.
query in module moduleName and environment.
sentence is true in the module
named moduleName.
instanceortuple satisfies the
definition of the relation relationref and return the result truth value
of the query.
file (if file is non-NULL).
table as a configuration file.
value to stream as a properly formatted configuration
value.
name to file.
mod into a file named filename.
name.
name, as
well as the contents of all of its children, recursively.
sentence
in the module named moduleName.
name in the designated module, with
with the concept named parentName as superconcept (which can be left
undefined).
name with arity arity in the designated
module.
name as a child of parentName.
name of type conceptName in the designated
module.
name with arity arity in the
designated module.
objectName, retracting all facts
attached to it.
true iff the value value is embedded within
the cons tree tree.
true iff the value value is embedded within
the cons tree tree.
self is a string or a symbol, search for an object named
self of type type.
self.
self, or NULL if empty.
values, in order.
values, in order.
count.
property in configuration to value and return it.
valuesStructure
valuesStructure
valuesStructure
saveAllNeuralNetworks appended
with extension Derr.
features.
module to the level specified
by 'levelKeyword'.
path.
module.
module to level.
safety, debug,
speed, and space.
feature.
property (a string or symbol) in the configuration
table to value.
saveAllNeuralNetworks.
features.
newLanguage.
command within module and
return the result.
relationName.
name.
name that is local to
or visible from the module moduleName.
conceptName.
conceptName.
relationName.
v such that (relationName argName v)
has been asserted or can be inferred.
relationName.
name that is local to
or visible from the module moduleName.
name.
relationAndArguments that
has been asserted (or inferred by forward chaining).
relationAndArguments that
have been asserted (or inferred by forward chaining).
objectName among
their arguments, and that are TRUE in the scope of the module moduleName.
relationName.
name that is local to
or visible from the module moduleName.
relationName.
relationName found in the module named moduleName.
true if symbol is shadowed in its home module.
executeShellCommand (which see).
measureName.
signal that throws a READ-EXCEPTION.
x: -1 if negative, 0 if zero, 1 if positive
n radians.
relationAndArguments is true in the module named moduleName.
self according to
predicate, and return the result.
self according to
predicate, and return the result.
self according to predicate (in
ascending order if predicate has L semantics).
self according to
predicate, and return the result.
self according to
predicate, and return the result.
sort but assumes each element of self is a tuple (a cons)
whose n-th element (0-based) will be used for comparison.
subobject
specializes the description for superobject and return the result truth
value of the query.
selectionPattern or a more specific pattern that substitutes
one of the relations in specializingRelations.input into separate strings based on the separator character.
name.
n.
name as a function name in the module named moduleName.
name as a function name in the module named moduleName.
sentence in the module named
moduleName.
query satisfy the query proposition.
moduleName into a file named filename.
filename.
selfs command.
string starts with prefix starting from
start (which defaults to 0 if it is supplied as NULL).
selfs run-function.
place and return the result.
true if self is a native collection.
self is a member of the STELLA class OBJECT.
selfs run-function.
self.
self.
self to newpos.
self to newpos.
stream
according to a particular tokenization table.stream and return it as a string.
tv2 has greater strength than tv1, adapt the strength of tv1 (not
its value!) and return the result.
self is a strict truth value.
string1, string2, and otherstrings.
x is the empty string ""
self.
self.
self.
className.
self.
name.
x is not the empty string ""
self at position.
self.
oldChars with the
corresponding member of newChars in the string self.
self.
x and y lexicographically, and return -1, 0,
or 1, depending on whether x is less than, equal, or greater than y.
x and y are equal strings or are both undefined.
x and y are equal strings ignoring character case or
are both undefined.
x is lexicographically > y, considering case.
x is lexicographically >= y, considering case.
x is lexicographically >= y, ignoring case.
x is lexicographically > y, ignoring case.
tree relative to module, or
$MODULE$ if no module is specified.
x is lexicographically < y, considering case.
x is lexicographically <= y, considering case.
x is lexicographically <= y, ignoring case.
x is lexicographically < y, ignoring case.
substring in string, beginning from start.
input string.
inputDate string.
input string.
s into a mutable string with the same content.
string with respect to module and environment
and return the corresponding logical term.
duration.
string
and return a copy of the trimmed substring (which might be empty if we had
all white space).
true if tv1 is strictly
stronger than tv2.
true if subclass is a subclass of superclass.
self also occurs in otherlist.
self also occurs in otherset.
self also occurs in otherlist.
outvalue by
invalue in the cons list self.
old with renamed_New in the set self
unless renamed_New is already a member.
outvalue by
invalue in the list self.
old with renamed_New in the set self
unless renamed_New is already a member.
oldvalue by
newvalue in the cons tree tree.
self and otherlist by destructively
removing elements from self that also occur in otherlist.
self and otherset by destructively
removing elements from self that also occur in otherset.
self and otherlist by destructively
removing elements from self that also occur in otherlist.
x - y
true iff the class named subType is a subclass
of the class named superType.
self.
symbolToSurrogate which see).
surrogate into a symbol with the same name and module.
symbol.
symbol whose key is eqP to key.
self into a surrogate with the same name and module.
symbol.
self
has dynamic storage, an initial value expression.
self
has dynamic storage, an initial value expression.
true if system name has either been loaded
or initialized with its startup function.
true if system name has been loaded.
n radians.
true if node is a taxonomy root node.
subNode is a descendant of superNode.
self.
self, or NULL if empty.
t1 to t2.
command, measure and report its CPU and elapsed time
needed for its execution, and then return its result.
t1 by t2.
duration to its
equivalent value as dimensioned number.
date
t2 from t1.
keyword is a trace keyword that has been enabled with addTrace
print all the elements in body to standard output.
input to PowerLoom and write the
translation to the file output.
systemname into
language (the optional first argument).
true if current output language is Common-Lisp.
true if current output language is C++
true if current output language is Java
self is true (or default-true if we are
considering default assertions).
selectionPattern.self represents some form of truth.
evaluate that only evaluates tree if it
represents an evaluable expression.
array at position [row, column].
array at position [row, column].
array at position [row, column]
to value and return the result.
array at position [row, column]
to value and return the result.
class1 and class2.
type1 and type2.
self at position Ji_JK.
self at position Ji_JK.
Ji_JK.
Ji_JK.
self at position Ji_JK to value
and return the result.
self at position Ji_JK to value
and return the result.
array at position [row, column].
array at position [row, column].
array at position [row, column]
to value and return the result.
array at position [row, column]
to value and return the result.
self has a complex type return its
type specifier, otherwise, return type of self.
type into a symbol with the same name and module.
self,
or 'self' if it is not a bare literal type.
proposition.
self.
module.
self from its home module and the surrogate table.
self from its home module and the symbol table.
self and otherlist.
self and otherset as a new set.
self and otherlist.
self is unknown.
self represents UNKNOWN.
parent and child.
processCommandLineArguments.
ch from inputstream.
key under all its keys.
slot as a slot name,
so that it can no longer be used by lookupSlot.
features.
feature.
features.
string and return the result.
module, or $MODULE$ if no
module is specified.
source string relative to module,
or $MODULE$ if no module is specified.
wrapper and return its values as a regular BOOLEAN.
wrapper and return the result.
wrapper and return the result.
wrapper and return the result.
wrapper and return the result.
wrapper and return the result.
wrapper and return the result.
wrapper and return the result.
wrapper and return the result.
renamed_Char is lowercase, return its uppercase version,
otherwise, return 'char' unmodified.
store has had the truth value of proposition
change according to updateMode.
graphs roots according to nodes current state.
ch represents an upper-case character.
values, in order.
from (or $MODULE$
if from is NULL.
true if self is visible from the current module.
true if self is visible from the current module.
self has completed execution.
self has completed execution.
tv2 has lesser strength than tv1, adapt the strength of tv1 (not
its value!) and return the result.
ch is a white space character.
deviatingVariable.body within the context resulting from contextform.
body within the meta cache of the current module.
body within the module resulting from moduleform.
body within the world resulting from worldform.
body within the module resulting from moduleform.
system.
value.
value.
self,
or self if it is not a wrapped type.
self.
self.
true if attribute is an XML attribute with name name
in namespace namespace.
true if attribute is a global XML attribute with name name
in namespace namespace.
true if attribute is a local XML attribute with name name.
true if item is an XML attribute object
true if item is an XML attribute object
true if form is a CONS headed by a CDATA tag
true if item is an XML CDATA tag object
true if form is a CONS headed by an XML DECLARATION tag
true if item is an XML declaration object
true if form is a CONS headed by a DOCTYPE tag
true if form is a CONS headed by an XML ELEMENT tag
true if tag is an XML element with the name name
in namespace namespace.
true if item is an XML element object
stream.
true if item is an XML attribute object
attribute is a local attribute with name and whose
parent element matches elementName and elementNamespace.
true if item is an XML attribute object
attributes with name and namespace and
return its value.
true if form is a CONS headed by an XML PROCESSING INSTRUCTION tag
true if item is an XML processing instruction object
item against XML element tags.
tokenlist (using doctype for guidance) into a
representative s-expression and return the result.
true
if the input was yes or false if the input was no.
true
if the input was y or false if the input was n.
value of at least length
'size', padded if necessary with 0 characters.
place and return the result.
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||