|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
false.
createNativeClass, applied to
a STELLA class.
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 if html graphing is available.
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.
true translate those constructs that have native PowerLoom
counterparts directly into PowerLoom.
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.
hookfunction into hooklist.
path to the end of the PowerLoom load path.
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.
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
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.true if m is a base measure.
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.
mt, or return
the current context if mt is not a defined microtheory in Cyc.
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.
module.
module.
$UNFINALIZED_CLASSES$,
and set $NEWLY_UNFINALIZED_CLASSESP$ to false.
self an empty dictionary.
self to have zero entries.
self an empty list.
self an empty property list.
self.
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.
mt, or return
the current microtheory if no name was supplied.
code (0 <= code <= 255).
restvariable into a CONS
list containing all its elements (uses argument list iteration to do so).
y to be a compatible type with x.
y to be a compatible type with x.
self, or self if it is a
literal (e.g., string or number) that can't be coerced.
name.
self.
istream for translation into outputModule.
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).
tv1 and tv2.
host.
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.
fromfile to file tofile, clobbering
any data already in tofile.
consList.
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.
name,
a submodule of parents.
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.
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.
mt is a defined microtheory in the
Cyc instance represented by store (if store is supplied as NULL, it
defaults to the store of $CYC_MODULE$)..
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.
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.
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 by y.
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 has zero entries.
self has no members.
self has zero entries.
x is the wrapped empty string ""
true if self has length 0.
feature is currently enabled.
feature is currently enabled.
timeStructure.
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.
module.command within module and return
the result.
expression and return the result.
expression and return the result.
x is an even number.
e.
n.
x ^ y
x ^ y.
self.
self is false (or default-false if we are
considering default assertions).
self represents some form of falsehood.
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.
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.
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 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.
renamed_Object was created.
v such that (relation arg v)
has been asserted or can be inferred.
name if it exists.
self.
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.
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.
key.
urlPath on host and port.
expression (may be empty).
form.
expression (may be empty).
expression.
global.
x >= y
x >= y
x > y
x > y
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.
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.
self.
self.
self.
self.
self.
graph.
node.
self.
self, or null.
name.
item into the collector self.
value to the set self unless it is already a member.
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 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.
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).
arguments.
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
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 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.
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.
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.
getList method.QUERY_ITERATORDconsify but return a LIST instead.
self into a Stella LIST.
self.
self.
self.
self.
self.
module (or in any module if module
is NULL) that were not (or will not be) classified due to their lack of
non-inferable/primitive type assertions.
module (or in any module if module
is NULL) that were not (or will not be) classified due to their lack of
non-inferable/primitive ancestor relations.
module.
file and evaluate them.
filename and evaluate them.
file and return its content as a configuration table.
input into module.
file and evaluate them.
stream and evaluate them.
inputFile into outputModule.
istream into outputModule.
stream and evaluate them.
stream and evaluate them.
language-compile out-of-date translated files of system
systemname and then load them into the running system (this is only
supported/possible for Lisp at the moment).
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.
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.
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 and then compile and load them (the latter is only possible
for Lisp right now).
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.
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 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.
x is an odd number.
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.
url.
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.
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.
x is greater than 0.
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).
content as data to urlPath on host and port.
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.
module.
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.
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 PowerLoom load path.
value onto the cons list variable, unless value
is already a member of the list.
key with value on session.
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, parses the header fields
and stores the results in fields.
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).
referenceCount
that is incremented whenever the object is assigned to a slot, and decremented
whenever it is deassigned from a slot.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.
x by y.
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.
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.
renumberRatio, relabel
the whole graph non-incrementally.
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).
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.
mappingFilename.
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.
safety, debug,
speed, and space.
feature.
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.
arg to the right by count positions and
0-extend from the left if arg is positive or 1-extend if it is
negative.
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, 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.name.
n.
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.
string starts with prefix starting from
start (which defaults to 0 if it is supplied as NULL).
place and return the result.
true if self is a native collection.
self is a member of the STELLA class OBJECT.
streamD Does not retain them.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.
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.
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 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.
session has timed out.
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 output using
module as the destination module.
input to output using
module as the destination module.
input to PowerLoom and write the
translation to the file output.
inputFile for translation in outputModule.
istream for translation in outputModule.
systemname into
outputlanguage.
true if current output language is Common-Lisp.
true if current output language is C++
true if current output language is Java
expr into an intermediate form in auxModule.
expr into an intermediate form in auxModule.
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.
class1 and class2.
type1 and type2.
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.
ch from inputstream.
slot as a slot name,
so that it can no longer be used by lookupSlot.
features.
feature.
features.
arg to the right by 1 position and 0-extend
from the left.
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.
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.
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.
content as an HTTP 1.0 request on stream using method.
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 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.
attribute is a local attribute with name and whose
parent element matches elementName and elementNamespace.
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.
x is 0.
value of at least length
'size', padded if necessary with 0 characters.
place and return the result.
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||