$ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _

$

$ACCELERATE_FRAME_COMPUTATIONSp$ - Static variable in class edu.isi.powerloom.logic.Logic
Used to test how big is the effect of the frame specialists.
$ACTIVATED_NETWORKS$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$ADDEDNEWTYPEp$ - Static variable in class edu.isi.powerloom.logic.Logic
Used by 'infer-variable-types'.
$AGGRESSIVELY_OPTIMIZE_INTERVAL_FOREACHp$ - Static variable in class edu.isi.stella.Stella
 
$ALL_MEASURES$ - Static variable in class edu.isi.stella.utilities.Utilities
 
$ALL_MEMOIZATION_TABLES$ - Static variable in class edu.isi.stella.Stella
Holds all currently active memoization tables for timestamp maintenance and clearance purposes.
$ALL_RECYCLE_LISTS$ - Static variable in class edu.isi.stella.Stella
 
$ALL_SLOTS_DEMONS$ - Static variable in class edu.isi.stella.Stella
These demons trigger every time a slot value is modified.
$ALL_SLOTS_GUARD_DEMONS$ - Static variable in class edu.isi.stella.Stella
These demons trigger every time a slot value is modified, and cancel slot update when they return false.
$ALLOW_RECURSIVE_DECISION_NODES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$ALLOW_REMOTE_FILEBROWSING$ - Static variable in class edu.isi.powerloom.server.PowerloomServer
 
$ALTERNATE_STELLA_MODULE$ - Static variable in class edu.isi.stella.Stella
Pointer to the module ALTERNATE-STELLA containing definitions of STELLA classes and methods generated during the translation of STELLA files.
$AND_MISSED_A_BINDING$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$ANNOTATION_TRANSLATION_TABLE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$ANSWER_BACKGROUND_COLOR$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
 
$AUTO_COERCE_PROPOSITIONAL_ARGUMENTSp$ - Static variable in class edu.isi.powerloom.logic.Logic
If TRUE, automatically coerce propositional arguments of a proposition, even if the corresponding argument type of the hosting relation doesn't indicate that.
$AUTOMATIC_INSTANCE_CHARACTER$ - Static variable in class edu.isi.powerloom.logic.Logic
Character that identifies variables representing instances named by the system.
$AUTOMATICINSTANCETABLE$ - Static variable in class edu.isi.powerloom.logic.Logic
Used by 'evaluate-automatic-instance' to record current bindings of automatic instance symbols.
$AVAILABLE_POWERLOOM_FEATURES$ - Static variable in class edu.isi.powerloom.logic.Logic
List of PowerLoom environment features.
$AVAILABLE_STELLA_FEATURES$ - Static variable in class edu.isi.stella.Stella
List of available STELLA features.
$BACKLINK_ALL_PROPOSITION_ARGUMENTSp$ - Static variable in class edu.isi.powerloom.logic.Logic
If TRUE, wrap all literal proposition arguments so that they can all support backlink indices.
$BASE_COUNTER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$BASE_MEASURES$ - Static variable in class edu.isi.stella.utilities.Utilities
 
$BLOCK_NATIVE_CLASS_CREATION_HOOKS$ - Static variable in class edu.isi.stella.Stella
HOOK-LIST called by createNativeClass, applied to a STELLA class.
$BOOLEAN_VECTOR_INDEX$ - Static variable in class edu.isi.powerloom.logic.Logic
Points to the head of a discrimination tree of containing all boolean vectors.
$BOOTSTRAP_LOCK$ - Static variable in class edu.isi.stella.Stella
Process lock object for bootstrap use.
$BOTTOM_UP_VARIABLE_COUNTER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$BOUNDTOOFFSETCOUNTER$ - Static variable in class edu.isi.powerloom.logic.Logic
Enables 'select-optimal-query-pattern' to tell 'copy-variables-vector' that it should initialize the 'bound-to-offset' slot of each variable in the copy operation.
$BREAK_ON_CERROR$ - Static variable in class edu.isi.stella.javalib.Native
 
$BUILT_IN_MODULE_NAMES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$BUILT_IN_XML_MODULE_NAMES$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
 
$CACHE_FAILED_GOALSp$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CACHE_GOAL_QUANTUM$ - Static variable in class edu.isi.powerloom.logic.Logic
Only goals whose success or failure took at least this number of query clock ticks will be cached.
$CACHE_INFERABLE_SUBCOLLECTIONSp$ - Static variable in class edu.isi.powerloom.logic.Logic
If TRUE, prevents caching of computations of all inferable subcollections of a collection.
$CACHE_SUCCEEDED_GOALSp$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CANDIDATE_CLAUSES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CANONICALVARIABLECOUNTER$ - Static variable in class edu.isi.powerloom.logic.Logic
Number of the last canonically-mapped variable.
$CANONICALVARIABLENAMEMAPPING$ - Static variable in class edu.isi.powerloom.logic.Logic
Maps variables to symbols in SYSTEM-DEFINED-ARGUMENT-NAMES.
$CAREFUL_LOGIC_COMMAND_LOOP_EXIT$p - Static variable in class edu.isi.powerloom.logic.Logic
If TRUE exiting from the logic-command loop (or PowerLoom listener) will be protected by a confirmation dialog.
$CASE_ANTECEDENT_TABLE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CASE_NAME_TABLE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CASE_RULE_NAMES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CASE_SENSITIVE_SYMBOL_ESCAPE_CODE_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$CASE_SOLUTION_COMBINATION$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CASE_TYPES_TABLE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CASE_VARIABLE_COUNTER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CHANGE_MODULE_HOOKS$ - Static variable in class edu.isi.stella.Stella
HOOK-LIST called by inModule, applied to a module argument.
$CHARACTER_DOWNCASE_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$CHARACTER_TYPE_TABLE$ - Static variable in class edu.isi.stella.Stella
Table of character types.
$CHARACTER_UPCASE_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$CHECK_TYPES_AGENDA$ - Static variable in class edu.isi.powerloom.logic.Logic
List of propositions that have failed a type check, but might pass once finalization is complete.
$CL_FALSE_STRING_WRAPPER$ - Static variable in class edu.isi.stella.Stella
 
$CL_OPERATOR_TABLE$ - Static variable in class edu.isi.stella.Stella
Mapping from STELLA operators to Common-Lisp operators.
$CL_TRUE_STRING_WRAPPER$ - Static variable in class edu.isi.stella.Stella
 
$CLASS_HIERARCHY_BOOTEDp$ - Static variable in class edu.isi.stella.Stella
 
$CLASS_TAXONOMY_GRAPH$ - Static variable in class edu.isi.stella.Stella
 
$CLASSES_WITH_UNRESOLVED_CHILDREN_REFERENCES$ - Static variable in class edu.isi.stella.Stella
List of classes defined with a :children option which still have some of their children references unresolved.
$CLASSIFICATIONSESSION$ - Static variable in class edu.isi.powerloom.logic.Logic
Points to state of on-going classification session.
$CLASSIFY_FROM_NON_INFERABLE_PARENTS_ONLYp$ - Static variable in class edu.isi.powerloom.logic.Logic
If true (the default) only consider those relations (or instances) for classification that have at least one non-inferable parent (or type).
$CLASSOPTIONSLOTS$ - Static variable in class edu.isi.stella.Stella
List of slots containing class options
$CLASSUNSTRINGIFIEDOPTIONS$ - Static variable in class edu.isi.stella.Stella
Plist of unstringifed class options
$CLEAR_MODULE_HOOKS$ - Static variable in class edu.isi.stella.Stella
HOOK-LIST called by clearModule, applied to a module argument.
$CLIPPINGENABLEDp$ - Static variable in class edu.isi.powerloom.logic.Logic
When enabled, slot-value assertions can be retracted by later conflicting assertions.
$CLOSED_WORLD_TRAINING_EXAMPLES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$COERSION_TABLE$ - Static variable in class edu.isi.stella.Stella
Table of triples used by lookupCoersionMethod to locate a coersion method.
$COLLECTFORWARDPROPOSITIONS$ - Static variable in class edu.isi.powerloom.logic.Logic
Collect goes-true propositions produced by forward chaining.
$COMMON_LISP_MODULE$ - Static variable in class edu.isi.stella.Stella
Pointer to the module COMMON-LISP containing Common Lisp symbols (and maybe other things).
$COMMON_LISP_SYMBOL_LOOKUP_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$COMPUTEDQUERYp$ - Static variable in class edu.isi.powerloom.logic.Logic
Used to signal 'ground-value-of' that it can call 'bound-to' safely.
$CONSTRUCTOR_DEMONS$ - Static variable in class edu.isi.stella.Stella
These demons trigger every time an active instance is created.
$CONTEXT$ - Static variable in class edu.isi.stella.Stella
Points to the current context (either a module or a world).
$CONTEXT_BACKTRACKING_MODE$ - Static variable in class edu.isi.stella.Stella
If true, indicates that contexts are being allocated and deallocated in depth-first fashion, and that deallocation of CS-VALUE entries is taken care of during context destruction.
$CONTEXT_DEPENDENT_SEARCH_MODEp$ - Static variable in class edu.isi.powerloom.logic.Logic
Signals that we are performing search across multiple contexts.
$CONTEXT_NUMBER_COUNTER$ - Static variable in class edu.isi.stella.Stella
Contains the number of the last-created context (all 'live' contexts are even-numbered).
$CONTROL_BACKGROUND_COLOR$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
 
$CONTROL_FRAME_ID_COUNTER$ - Static variable in class edu.isi.powerloom.logic.Logic
Generates unique IDs for control frames.
$CPP_CHARACTER_SUBSTITUTION_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$CPP_CURRENT_UNIT_MODULE$ - Static variable in class edu.isi.stella.Stella
Home module of the currently translated unit.
$CPP_INDENT_CHARS$ - Static variable in class edu.isi.stella.Stella
 
$CPP_MAX_STRING_LITERAL_LENGTH$ - Static variable in class edu.isi.stella.Stella
C++ string literals longer than this are broken into multiple pieces to avoid problems with certain MS compilers.
$CPP_NAME_QUALIFICATION_MODE$ - Static variable in class edu.isi.stella.Stella
 
$CPP_NAMESPACE_SEPARATOR$ - Static variable in class edu.isi.stella.Stella
 
$CPP_RESERVED_WORD_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$CPP_SPLITTER_PATH$ - Static variable in class edu.isi.stella.Stella
 
$CPP_TRANSLATED_FILE_SUFFIX$ - Static variable in class edu.isi.stella.Stella
 
$CURRENT_POWERLOOM_FEATURES$ - Static variable in class edu.isi.powerloom.logic.Logic
List of currently enabled PowerLoom environment features.
$CURRENT_STELLA_FEATURES$ - Static variable in class edu.isi.stella.Stella
List of currently enabled STELLA features.
$CURRENT_STREAM$ - Static variable in class edu.isi.stella.Stella
 
$CURRENTDUMMYINDEX$ - Static variable in class edu.isi.stella.Stella
Current index of dummy parameter for unused return value
$CURRENTFILE$ - Static variable in class edu.isi.stella.Stella
Name of file that is currently being translated.
$CURRENTJUSTIFICATION$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CURRENTLY_RECYCLED_ITEMS$ - Static variable in class edu.isi.stella.Stella
During recycle list debugging holds all items that live in some free list.
$CURRENTLYEXECUTINGFORWARDCHAININGQUEUE$ - Static variable in class edu.isi.powerloom.logic.Logic
Points to an active queue of propositions that will trigger forward inference.
$CURRENTLYREGENERATEDPROPOSITIONS$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$CURRENTSYSTEMDEFINITION$ - Static variable in class edu.isi.stella.Stella
Points to the current system.
$CURRENTSYSTEMDEFINITIONSUBDIRECTORY$ - Static variable in class edu.isi.stella.Stella
Points to a path from the root directory down to a local directory containing sources, natives, or binaries.
$CURRENTTRANSLATIONUNIT$ - Static variable in class edu.isi.stella.Stella
The translation unit currently operated on.
$CURRENTVARARGINDEX$ - Static variable in class edu.isi.stella.Stella
The current index of the variable length arguments
$CYC_KLUDGES_ENABLEDp$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$CYC_MODULE$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$CYC_OBJECT_SEQUENCE_WARNING_LENGTH$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$CYC_PAGING_BREAK_PATTERN$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$CYC_RULES_ENABLEDp$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$CYC_STORE_DEFAULT_BACKEND_HOST$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$CYC_STORE_DEFAULT_FI_PORT$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$CYC_STORE_DEFAULT_INIT_FILE$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$CYC_STORE_SUPPORT_LOAD_TIMESTAMP$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$CYC_TO_POWERLOOM_NAME_TABLE$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$CYC_URI$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
 
$DAML_URI$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
 
$DATE_TIME_HASH_TABLE$ - Static variable in class edu.isi.powerloom.extensions.timepoint.Timepoint
Table for interning date-time logic wrappers
$DATE_TIME_PATTERNS$ - Static variable in class edu.isi.stella.Stella
 
$DEBUG_MODEp$ - Static variable in class edu.isi.powerloom.logic.Logic
If set to TRUE, simplify printing so that it doesn't break during a debugging session.
$DEBUG_OWLp$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
 
$DEBUGLEVEL$ - Static variable in class edu.isi.stella.Stella
Integer between 0 and 3.
$DEFAULT_DECODED_DATE_TIME$ - Static variable in class edu.isi.stella.Stella
 
$DEFAULT_DESCRIBE_MODE$ - Static variable in class edu.isi.stella.Stella
Specifies the print mode for describe when no second argument is given.
$DEFAULT_EXPLANATION_DEPTH$ - Static variable in class edu.isi.powerloom.logic.Logic
Maximal explanation depth used if not otherwise specified.
$DEFAULT_KB_DIRECTORY$ - Static variable in class edu.isi.powerloom.server.PowerloomServer
 
$DEFAULT_MAXIMUM_DEPTH$ - Static variable in class edu.isi.powerloom.logic.Logic
Possibly a good value for the maximum backtracking depth.
$DEFAULT_OPTION_HANDLER$ - Static variable in class edu.isi.stella.Stella
 
$DEFAULT_POWERLOOM_FEATURES$ - Static variable in class edu.isi.powerloom.logic.Logic
List of PowerLoom environment features enabled upon call to 'reset-features'.
$DEFAULT_STELLA_FEATURES$ - Static variable in class edu.isi.stella.Stella
List of STELLA features enabled by default and after resetting them with resetStellaFeatures.
$DEFAULTCREATIONTYPE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$DEFERINGDEFAULTFORWARDINFERENCESp$ - Static variable in class edu.isi.powerloom.logic.Logic
True if we are propagating strict inferences, and posting derived default propositions to temporary queues.
$DEFINE_MODULE_HOOKS$ - Static variable in class edu.isi.stella.Stella
HOOK-LIST called by 'define-module', applied to a 'module' argument.
$DELETED_CASE_VARIABLES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$DEMO_FILES$ - Static variable in class edu.isi.powerloom.logic.Logic
List of example demo files.
$DEMO_LEVEL$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$DEMONS_TABLE$ - Static variable in class edu.isi.stella.Stella
Table containing all active and inactive demons, indexed on their names.
$DEPTHCUTOFF$ - Static variable in class edu.isi.stella.Stella
 
$DEPTHEXCEEDEDp$ - Static variable in class edu.isi.stella.Stella
 
$DERIVE_DEFERRED_SATELLITE_RULES_INVOCATIONS$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$DESCRIPTIONUNDERCONSTRUCTION$ - Static variable in class edu.isi.powerloom.logic.Logic
Pofints to a description or its parse tree which is the input to the description being constructed.
$DESTROY_CONTEXT_HOOKS$ - Static variable in class edu.isi.stella.Stella
HOOK-LIST called by clearModule, applied to a module argument.
$DESTRUCTOR_DEMONS$ - Static variable in class edu.isi.stella.Stella
These demons trigger every time an active instance is destroyed.
$DIM_NUMBER_HASH_TABLE$ - Static variable in class edu.isi.powerloom.extensions.units.Units
Table for interning dim number logic wrappers
$DISTRIBUTEDOPENGOALp$ - Static variable in class edu.isi.powerloom.logic.Logic
Used by 'distribute-open-goal' to signal that a goal was distributed by 'help-distribute-goal'.
$DOCUMENTATION_RELATION$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
 
$DOCUMENTED_OBJECTS_REGISTRY$ - Static variable in class edu.isi.stella.utilities.Utilities
 
$DONT_CHECK_FOR_DUPLICATE_PROPOSITIONSp$ - Static variable in class edu.isi.powerloom.logic.Logic
If TRUE never check for the existence of duplicate propositions when building a new proposition.
$DONTTRUNCATEFILENAMESp$ - Static variable in class edu.isi.stella.Stella
When TRUE, overrides normal truncation of file names.
$DONTUSEDEFAULTKNOWLEDGEp$ - Static variable in class edu.isi.powerloom.logic.Logic
Controls whether queries use default knowledge or not.
$DOWNCASEOPERATORSp$ - Static variable in class edu.isi.powerloom.logic.Logic
Controls whether down-casing happens during logical form printing (leading to lots more string garbage).
$DROP_FUNCTION_VALUESp$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$DUMMYDECLARATIONS$ - Static variable in class edu.isi.stella.Stella
Temporary List of declarations for unused return parameters
$DUPLICATE_GOAL_SEARCH_DEPTH$ - Static variable in class edu.isi.powerloom.logic.Logic
Sets the maximum number of frames search looking for a duplicate subgoal.
$DUPLICATE_RULE_SEARCH_DEPTH$ - Static variable in class edu.isi.powerloom.logic.Logic
Set limit on number of frames searched looking for a duplicate rule.
$DUPLICATE_SUBGOAL_STRATEGY$ - Static variable in class edu.isi.powerloom.logic.Logic
Determines what kind of duplicate subgoal test to use.
$DUPLICATEINSTANCESCACHECROSSOVERPOINT$ - Static variable in class edu.isi.powerloom.logic.Logic
Point where a cache of generated instances in a description extension iterator is switched from a list to a hash table
$EMIT_THINKING_DOTSp$ - Static variable in class edu.isi.powerloom.logic.Logic
When TRUE, various kinds of characters are emitted to STANDARD-OUTPUT while PowerLoom is 'thinking'.
$ENABLE_USER_THING$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$ENFORCE_LINKED_VARIABLES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$EQUIVALENCE_COLLECTIONSp$ - Static variable in class edu.isi.powerloom.logic.Logic
Experiment with equality reasoning on collections.
$ERA_STRINGS$ - Static variable in class edu.isi.stella.Stella
 
$ERROR_BACKGROUND_COLOR$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
 
$ERROR_CUTOFF$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$ERROR_ON_MISMATCH$ - Static variable in class edu.isi.stella.Stella
If TRUE, an error will be signalled if parse-date-time is unable to determine the time/date format of the string.
$ERROR_PRINT_CYCLE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$EVALUATIONMODE$ - Static variable in class edu.isi.powerloom.logic.Logic
Indicates the context for evaluating a proposition.
$EVALUATIONPARENTTREE$ - Static variable in class edu.isi.stella.Stella
 
$EVALUATIONTREE$ - Static variable in class edu.isi.stella.Stella
 
$EXCLUDEDPROPOSITIONS$ - Static variable in class edu.isi.powerloom.logic.Logic
List of propositions that shouldn't be saved by saveModule.
$EXPLANATION_ASSERTION_MARKER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$EXPLANATION_AUDIENCE$ - Static variable in class edu.isi.powerloom.logic.Logic
Keywords that controls the language for justifications.
$EXPLANATION_CUTOFF_MARKER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$EXPLANATION_FAILURE_MARKER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$EXPLANATION_FORMAT$ - Static variable in class edu.isi.powerloom.logic.Logic
Keyword to control the explanation format.
$EXPLANATION_INFERENCE_MARKER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$EXPLANATION_STYLE$ - Static variable in class edu.isi.powerloom.logic.Logic
Keywords that controls how detailed explanations will be.
$EXPLANATION_TAB_STRING$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$EXPLANATION_VOCABULARIES$ - Static variable in class edu.isi.powerloom.logic.Logic
List of vocabularies with keyword keys
$EXPLANATION_VOCABULARY$ - Static variable in class edu.isi.powerloom.logic.Logic
The currently active vocabulary lookup table
$EXPRESSION_SIZE_CUTOFF$ - Static variable in class edu.isi.powerloom.logic.Logic
Limit on how big an s-expression we will print within an error message.
$EXTERNALVARIABLES$ - Static variable in class edu.isi.powerloom.logic.Logic
Used by 'evaluate-DESCRIPTION-term' for collecting a list of variables declared external to the description in which they are referenced.
$FAIL_UNBOUND_CLAUSESp$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$FAILED_GOAL_CUTOFFS$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$FAILED_GOALS_CACHE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$FAILED_MEMOIZATION_LOOKUPS$ - Static variable in class edu.isi.stella.Stella
 
$FILE_LOAD_PATH$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$FILLINGCONSTRAINTPROPAGATIONQUEUESp$ - Static variable in class edu.isi.powerloom.logic.Logic
True if we are inside of 'react-to-kb-update'.
$FINALIZE_RELATION_HOOKS$ - Static variable in class edu.isi.stella.Stella
HOOK-LIST is called by finalizeOneClass and finalizeLocalSlot, applied to a RELATION argument.
$FINALIZEOBJECTSIMMEDIATELYp$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$FINDSUPERSANDSUBSDESCRIPTION$ - Static variable in class edu.isi.powerloom.logic.Logic
Points to a possibly unnamed description being temporarily classified.
$FIXED_KEYWORD_ARRAY$ - Static variable in class edu.isi.stella.Stella
 
$FIXED_SURROGATE_ARRAY$ - Static variable in class edu.isi.stella.Stella
 
$FIXED_SYMBOL_ARRAY$ - Static variable in class edu.isi.stella.Stella
 
$FLOAT_LOGIC_WRAPPER_TABLE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$FORM_BACKGROUND_COLOR$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
 
$FOUNDRETURNp$ - Static variable in class edu.isi.stella.Stella
Indicates that one or more return statements have been found during the walk of the current method.
$FREESKOLEMS$ - Static variable in class edu.isi.powerloom.logic.Logic
Cons-list of top-level existentially-quantified skolems.
$FUNCTION_CALL_LOG_STREAM$ - Static variable in class edu.isi.stella.Stella
The current log file to which function calls should be logged.
$FUNCTION_LOOKUP_TABLE$ - Static variable in class edu.isi.stella.Stella
Lookup table for functions.
$GENERATE_ALL_PROOFSp$ - Static variable in class edu.isi.powerloom.logic.Logic
If TRUE, the backchainer follows all lines of proof for each goal, rather than switching to a new goal once the first proof of a goal is achieved.
$GENSYM_COUNTER$ - Static variable in class edu.isi.stella.Stella
Incremented once for each gensym call.
$GENSYM_MASK$ - Static variable in class edu.isi.stella.Stella
Defines the separator character for gensyms, and the fill digits.
$GLOBAL_VARIABLE_LOOKUP_TABLE$ - Static variable in class edu.isi.stella.Stella
Lookup table for global variables.
$GLOBALLY_CLOSED_COLLECTIONSp$ - Static variable in class edu.isi.powerloom.logic.Logic
If TRUE, all collections are assumed to be closed.
$GREEDY_NETWORK_PRUNING$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$HANDLE_EXPLICITLY_QUALIFIED_LOGIC_OBJECTSp$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$HARDWIRED_CLASS_ARITY_ON_CLASS$ - Static variable in class edu.isi.stella.Stella
 
$HARDWIRED_RESIZE_INCREMENT_ON_SHORT_VECTOR_SEQUENCE$ - Static variable in class edu.isi.stella.Stella
 
$HARDWIRED_RESIZE_INCREMENT_ON_VECTOR_SEQUENCE$ - Static variable in class edu.isi.stella.Stella
 
$HARDWIRED_TRANSIENTp_ON_TRANSIENT_MIXIN$ - Static variable in class edu.isi.stella.Stella
 
$HASH_BYTE_RANDOM_TABLE$ - Static variable in class edu.isi.stella.Stella
A table of 256 N-bit random numbers that can be used to hash sequences of bytes.
$HASH_TABLE_SIZE_PRIME_STRINGS$ - Static variable in class edu.isi.stella.Stella
List of prime numbers approximately growing by a factor of 2 that are suitable to be used as hash table sizes.
$HASH_TABLE_SIZE_PRIMES$ - Static variable in class edu.isi.stella.Stella
List of prime numbers approximately growing by a factor of 2 that are suitable to be used as hash table sizes.
$HREF_PREFIX_TAG$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
Tag used for prefix part of HREF generation in htmlWrite3PartHrefInDetail.
$HREF_SUFFIX_TAG$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
Tag used for suffix part of HREF generation in htmlWrite3PartHrefInDetail.
$HTML_ESCAPE_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$HTML_GRAPH_AVAILABLEp$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
Set by the server implementation to true if html graphing is available.
$HTML_QUOTED_CHARACTERS$ - Static variable in class edu.isi.stella.Stella
 
$HTML_V4_0_URN$ - Static variable in class edu.isi.stella.Stella
 
$IDL_CHARACTER_SUBSTITUTION_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$IDL_INDENT_CHARS$ - Static variable in class edu.isi.stella.Stella
 
$IDL_RESERVED_WORD_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$IDL_TRANSLATED_FILE_SUFFIX$ - Static variable in class edu.isi.stella.Stella
 
$IGNOREPERSISTENTSTOREp$ - Static variable in class edu.isi.powerloom.persistence.Persistence
If TRUE we don't try to page in anything from the persistent store associated with the current module.
$IGNORETRANSLATIONERRORSp$ - Static variable in class edu.isi.stella.Stella
If true all passes of a translation will always be performed regardless of whether any errors were encountered.
$IMAGE_URL_RELATION$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
 
$IMPLICATION_SUBSUMPTION_GRAPH$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$INDENT_QUANTUM$ - Static variable in class edu.isi.powerloom.logic.Logic
The number of spaces added by a call to 'increase-indent'.
$INDENTCOUNTER$ - Static variable in class edu.isi.powerloom.logic.Logic
The number of spaces prepended during printing a logical form.
$INDUCE_RULES_FROM_SIGNATURES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$INDUCED_DECISION_RULES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$INDUCED_RULE_COUNTER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$INFERENCELEVEL$ - Static variable in class edu.isi.powerloom.logic.Logic
Specifies the level/depth of inference applied during a query.
$INHIBITOBJECTFINALIZATIONp$ - Static variable in class edu.isi.powerloom.logic.Logic
Used to prevent finalization from triggering in the middle of 'delicate' computations.
$INITIAL_BACKTRACKING_DEPTH$ - Static variable in class edu.isi.powerloom.logic.Logic
Value of the initial depth used during an interative deepening search.
$INLININGMETHODCALLp$ - Static variable in class edu.isi.stella.Stella
 
$INSTANCE_MEASURE_TABLE$ - Static variable in class edu.isi.powerloom.extensions.units.Units
Mapping table from PowerLoom representations of measures to measure objects
$INTEGER_LOGIC_WRAPPER_TABLE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$INTEGER_MSB_MASK$ - Static variable in class edu.isi.stella.Stella
The most significant bit of a regular integer (FIXNUM in Common-Lisp).
$INTEGER_TO_OBJECT_FUNCTIONS$ - Static variable in class edu.isi.stella.Stella
List of functions that can be called to search for an object identified by an integer.
$INTEGER_UNSIGNED_BITS_MASK$ - Static variable in class edu.isi.stella.Stella
Mask that covers all the unsigned bits of an integer.
$INVISIBLEASSERTIONp$ - Static variable in class edu.isi.powerloom.logic.Logic
Used to signal an assertion that doesn't blow away inference caches.
$ITERATIVE_DEEPENING_MODEp$ - Static variable in class edu.isi.powerloom.logic.Logic
Default setting.
$JAVA_CHARACTER_SUBSTITUTION_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$JAVA_INDENT_CHARS$ - Static variable in class edu.isi.stella.Stella
 
$JAVA_LOOP_NAME$ - Static variable in class edu.isi.stella.Stella
 
$JAVA_LOOP_NAME_USEDp$ - Static variable in class edu.isi.stella.Stella
 
$JAVA_OPERATOR_TABLE$ - Static variable in class edu.isi.stella.Stella
Mapping from STELLA operators to Java operators
$JAVA_PRIMITIVE_ARRAY_TYPE_NAMES$ - Static variable in class edu.isi.stella.Stella
 
$JAVA_RESERVED_WORD_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$JAVA_SEMICOLON_STATEMENTS$ - Static variable in class edu.isi.stella.Stella
 
$JAVA_SPLITTER_PATH$ - Static variable in class edu.isi.stella.Stella
 
$JAVA_STELLA_PACKAGE_MAPPING$ - Static variable in class edu.isi.stella.Stella
 
$JUST_IN_TIME_FORWARD_INFERENCEp$ - Static variable in class edu.isi.powerloom.logic.Logic
If TRUE, ensures that forward propagation has been applied to each instance 'touched' during a query.
$KB_DIRECTORY$ - Static variable in class edu.isi.powerloom.server.PowerloomServer
 
$KB_FILENAME_INDEX$ - Static variable in class edu.isi.powerloom.server.PowerloomServer
 
$KEY_VALUE_MAP_CROSSOVER_POINT$ - Static variable in class edu.isi.stella.Stella
Point where we switch from using a KV-CONS table representation to a STELLA hash table to preserve O(1) access.
$KEYWORD_ARRAY$ - Static variable in class edu.isi.stella.Stella
 
$KEYWORD_OFFSET_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$KIF_SENTENCE_OPERATORS$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$KIF_TERM_OPERATORS$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$LAST_CYC_KB_STATE_DESCRIPTOR$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$LAST_KB_ACTION$ - Static variable in class edu.isi.powerloom.logic.Logic
Records whether the last KB access was a query or an update.
$LAZY_SATELLITE_RULESp$ - Static variable in class edu.isi.powerloom.logic.Logic
If true, inversion of forall propositions happens lazily.
$LEARNING_CURVE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$LEARNING_RATE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$LISP_SPLITTER_PATH$ - Static variable in class edu.isi.stella.Stella
 
$LITERAL_TYPE_INFO_TABLE$ - Static variable in class edu.isi.stella.Stella
Table that holds a variety of information about literal types, e.g., the name of their null-wrapper, wrap-function, etc.
$LITERAL_TYPES$ - Static variable in class edu.isi.stella.Stella
List of literal types stored in '*literal-type-info-table*'.
$LOADINGREGENERABLEOBJECTSp$ - Static variable in class edu.isi.powerloom.logic.Logic
If TRUE, objects being created are regenerable, and should not be indexed using the backlinks procedures.
$LOCALGENSYMTABLE$ - Static variable in class edu.isi.stella.Stella
Table that maps each prefix of a function-local gensym to its own gensym counter and/or to related gensyms.
$LOCALVARIABLETYPETABLE$ - Static variable in class edu.isi.stella.Stella
Table mapping local variable names their declared types (declared explicitly or implicitly).
$LOG_ANTECEDENT_CONSTRUCTION$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$LOG_BREAK_POINT_COUNTER$ - Static variable in class edu.isi.stella.Stella
 
$LOG_DECISION_RULE_CONSTRUCTION$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$LOG_FUNCTION_CALLSp$ - Static variable in class edu.isi.stella.Stella
Translation switch which indicates that methods should be instrumented to log their calls to a file.
$LOG_INDUCED_RULES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$LOG_MATCH_RULES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$LOGGING_LOCAL_TIME_ZONE$ - Static variable in class edu.isi.stella.Stella
 
$LOGGING_REGISTRY$ - Static variable in class edu.isi.stella.Stella
 
$LOGIC_COMMAND_RESULT_INDENT$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$LOGIC_DIALECT$ - Static variable in class edu.isi.powerloom.logic.Logic
Indicates the current dialect of logic used to phrase queries, assertions, and definitions.
$LOGIC_DIALECT_PRINT_FUNCTIONS$ - Static variable in class edu.isi.powerloom.logic.Logic
Table to allow extension of the logical form printing code by associating keywords with print functions.
$LOGIC_MODULE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$LOGIC_PROMPT$ - Static variable in class edu.isi.powerloom.logic.Logic
The prompt used by the PowerLoom listener.
$LOGIC_RELEVANT_STELLA_COMMANDS$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$LOGICAL_HOST_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$LOGICVARIABLETABLE$ - Static variable in class edu.isi.powerloom.logic.Logic
Table mapping logic variable names to variables or skolems.
$MAKEFILE_TEMPLATE_VARIABLE_PREFIX$ - Static variable in class edu.isi.stella.Stella
 
$MANUAL_OUTPUT_LANGUAGE$ - Static variable in class edu.isi.stella.utilities.Utilities
 
$MANUAL_OUTPUT_STREAM$ - Static variable in class edu.isi.stella.utilities.Utilities
 
$MANUAL_TEMPLATE_COMMAND_PREFIX$ - Static variable in class edu.isi.stella.utilities.Utilities
 
$MASTER_NEURAL_NETWORK_LIST$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$MAX_INLINE_LABEL_LENGTH$ - Static variable in class edu.isi.powerloom.logic.Logic
Maximum length of a label string for which the following proposition will be printed on the same line.
$MAX_MOVEMENT$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$MAX_NUMBER_OF_STARTUP_UNITS$ - Static variable in class edu.isi.stella.Stella
The maximum number of startup units that can be combined into a single startup function (this avoids the construction of huge startup functions that would cause too much stress for some wimpy compilers).
$MAX_RECYCLE_LIST_BYTES$ - Static variable in class edu.isi.stella.Stella
Maximum number of bytes to be occupied by recycle lists.
$MAX_STRUCTURE_DEPTH$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$MAX_TOKENIZER_CHARACTERS$ - Static variable in class edu.isi.stella.Stella
 
$MAX_TOKENIZER_STATES$ - Static variable in class edu.isi.stella.Stella
 
$MAX_WHYNOT_PROOF_CLASS_DEVIATIONS$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$MAXIMUM_BACKTRACKING_DEPTH$ - Static variable in class edu.isi.powerloom.logic.Logic
Value for the maximum depth allowable during backtrack search.
$MAXIMUM_SCORE_CUTOFF$ - Static variable in class edu.isi.powerloom.logic.Logic
Positive scores above *maximum-score-cutoff* get trimmed to 1.0 during partial match operations.
$MAXIMUM_STRING_CONSTANT_SIZE$ - Static variable in class edu.isi.stella.Stella
Maximum size for a string constant in the target language.
$MEASURE_INSTANCE_TABLE$ - Static variable in class edu.isi.powerloom.extensions.units.Units
Mapping table from measure objects to their PowerLoom representation.
$MEMOIZATION_ENABLEDp$ - Static variable in class edu.isi.stella.Stella
 
$METHODBEINGWALKED$ - Static variable in class edu.isi.stella.Stella
Contains the method or function being walked, or else null.
$MIN_CLOCK_TICKS_PER_WHYNOT_ANTECEDENT$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$MINIMUM_SCORE_CUTOFF$ - Static variable in class edu.isi.powerloom.logic.Logic
Positive scores below *minimum-score-cutoff* get trimmed to 0.0 during partial match operations.
$MISSING_KEY_VALUE_LIST$ - Static variable in class edu.isi.powerloom.logic.Logic
Represents a key-value list that should never be used.
$MIXIN_IMPLEMENTATION_STYLE$ - Static variable in class edu.isi.stella.Stella
A keyword describing how mixin classes are handled in single-inheritance target languages.
$MODE_SWITCH$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$MODULE$ - Static variable in class edu.isi.stella.Stella
Points to the current module.
$MODULE_BACKGROUND_COLOR$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
 
$MODULE_NAME_COUNTER$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
 
$MOMENTUM_TERM$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$MONTH_ABBREVIATION_VECTOR$ - Static variable in class edu.isi.stella.Stella
A vector of month abbreviations for printing dates
$MONTH_STRINGS$ - Static variable in class edu.isi.stella.Stella
 
$MOST_RECENT_EXPLANATION_MAPPING$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$MOST_RECENT_QUERY$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$NATIVE_NAME_TABLE$ - Static variable in class edu.isi.stella.Stella
 
$NATURALDEDUCTIONMODEp$ - Static variable in class edu.isi.powerloom.logic.Logic
When enabled, blocks normalizations that significantly change the behavior of inference rules.
$NEEDEXPLICITRETURNp$ - Static variable in class edu.isi.stella.Stella
 
$NEURAL_NETWORK_TRAINING_METHOD$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$NEWLY_CREATED_MODULES$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
 
$NEWLY_UNFINALIZED_CLASSESp$ - Static variable in class edu.isi.stella.Stella
Set to true by rememberUnfinalizedClass; set to false by cleanupUnfinalizedClasses.
$NOFSPECIALSATLOOPENTRY$ - Static variable in class edu.isi.stella.Stella
Number of specials bound at the most recent entry to a LOOP/WHILE/FOREACH construct.
$NOW_TIMESTAMP$ - Static variable in class edu.isi.powerloom.logic.Logic
The NOW time stamp is incremented whenever a series of one or more updates is followed by a query.
$NULL_DECODED_DATE_TIME$ - Static variable in class edu.isi.stella.Stella
 
$NUM_CASES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$NUM_LGGS$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$NUM_NEIGHBORS$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$NUM_TRAINING_PER_CASE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$NUMBERING_INTERVAL$ - Static variable in class edu.isi.stella.Stella
Spacing between postorder numbers for nodes.
$NUMERIC_TYPE_HIERARCHY$ - Static variable in class edu.isi.stella.Stella
 
$ONLY_VARIABLIZE_VISITED_INSTANCES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$ONTOSAURUS_URL_ACTION$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
The action parameter for URL printing
$OPEN_FILE_STREAMS$ - Static variable in class edu.isi.stella.Stella
List of file streams that are currently open.
$OPERATOR_NAME_TO_SURROGATE_TABLE$ - Static variable in class edu.isi.powerloom.logic.Logic
Maps names of KIF operators to relational surrogates.
$OPERATOR_TABLE$ - Static variable in class edu.isi.stella.Stella
Mapping from STELLA operators to C++ operators
$OPTIMAL_GOAL_ORDERING_CUTOFF$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$OPTIMALGOALORDERINGRECURSIONS$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$OPTIMIZE_INDUCED_QUERIES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$OPTIMIZESPACELEVEL$ - Static variable in class edu.isi.stella.Stella
Integer between 0 and 3.
$OPTIMIZESPEEDLEVEL$ - Static variable in class edu.isi.stella.Stella
Integer between 0 and 3.
$OS$ - Static variable in class edu.isi.stella.Stella
The operating system we are running on.
$OUTLINE_INDENT_STRING$ - Static variable in class edu.isi.stella.Stella
String used in the PRINT-OUTLINE for each level of outline
$OUTPUTTINGDEFPRINTp$ - Static variable in class edu.isi.stella.Stella
true when outputting a defprint, used to conditionally dereference streams in print-native-stream statements.
$OWL_METACLASS_TAGS$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
List of tags that are metaclasses and thus define concepts.
$OWL_METAPROPERTY_TAGS$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
List of tags that are metaproperties and thus define binary relations.
$OWL_URI$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
 
$PARALLEL_STRATEGIES$ - Static variable in class edu.isi.powerloom.logic.Logic
List of strategies (keywords) that fork a parallel control stack before executing.
$PARSE_NUMBERS_HACKp$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
Hack to get numeric input by trying to parse string values as integers or floats.
$PARTIAL_MATCH_MODE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$PARTIAL_SUPPORT_CACHE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$PARTIAL_SUPPORT_COUNTER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$PL_ANONYMOUS_MODULE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$PL_KERNEL_KB_DEFINITIONS$ - Static variable in class edu.isi.powerloom.pl_kernel_kb.PlKernelKb
 
$PL_KERNEL_MODULE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$PLANABLE_PREDICATES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$PLANNING_MODE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$PLGUI_EXPLANATION_TRACE_FILE$ - Static variable in class edu.isi.powerloom.server.PowerloomServer
 
$PLGUI_URL_ACTION$ - Static variable in class edu.isi.powerloom.server.PowerloomServer
The action parameter for URL printing
$POSTOPTIMIZATIONp$ - Static variable in class edu.isi.powerloom.logic.Logic
Used by 'simplify-description' to permit application of order-dependent optimizations.
$POWERLOOM_COUNTERPARTS$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
A mapping table between symbols and their PowerLoom counterparts.
$POWERLOOM_EXECUTION_MODE$ - Static variable in class edu.isi.powerloom.logic.Logic
Either :development, :debugging or :release (so far) which controls whether certain internal error and warning messages are surfaced to the user.
$POWERLOOM_INITIALIZEDp$ - Static variable in class edu.isi.powerloom.PLI
 
$POWERLOOM_KB_FILE_EXTENSIONS$ - Static variable in class edu.isi.powerloom.logic.Logic
If the extension of a KB file is unspecified in a load or demo command, try to find it with one of these extensions.
$POWERLOOM_LOCK$ - Static variable in class edu.isi.powerloom.logic.Logic
Lock object for synchronizing safe multi-process access to PowerLoom
$POWERLOOM_MAJOR_VERSION_NUMBER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$POWERLOOM_MINOR_VERSION_NUMBER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$POWERLOOM_PATCH_LEVEL$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$POWERLOOM_REFERENCE_MANUAL_URL$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
 
$POWERLOOM_RELEASE_STATE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$POWERLOOM_SERVER_MODULE$ - Static variable in class edu.isi.powerloom.server.PowerloomServer
 
$POWERLOOM_SOAP_MODULE$ - Static variable in class edu.isi.powerloom.soap.PLSOAP
 
$POWERLOOM_TO_CYC_NAME_TABLE$ - Static variable in class edu.isi.powerloom.persistence.Persistence
 
$POWERLOOM_VERSION_STRING$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$PPRINT_AFTER_DEFINITION_FUNCTION$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
A function that takes two arguments, a Stella Definition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a definition.
$PPRINT_AFTER_PROPOSITION_FUNCTION$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
A function that takes two arguments, a Stella Proposition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a proposition.
$PPRINT_ATOMIC_OBJECT_RENDERER$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
A function that takes two arguments, a Stella Object and a NATIVE-(?) OUTPUT-STREAM, and writes a representation of that object on that stream.
$PPRINT_BEFORE_DEFINITION_FUNCTION$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
A function that takes two arguments, a Stella Definition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a definition.
$PPRINT_BEFORE_PROPOSITION_FUNCTION$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
A function that takes two arguments, a Stella Proposition and a NATIVE-(?) OUTPUT-STREAM, and writes something that precedes the normal printed representation of a proposition.
$PPRINT_INDENT$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
 
$PRESET_QUERIES$ - Static variable in class edu.isi.ontosaurus.OntosaurusUtil
A list of preset queries to make entry easier.
$PRETTY_PRINT_LIST_CUTOFF$ - Static variable in class edu.isi.stella.Stella
Lists longer than the cutoff are truncated during pretty printing.
$PRETTYPRINTKIFp$ - Static variable in class edu.isi.powerloom.logic.Logic
Controls whether KIF expressions print on single lines (unformatted) or multi-line indented.
$PRETTYPRINTLOGICALFORMSp$ - Static variable in class edu.isi.powerloom.logic.Logic
Controls whether logical forms print on single lines (unformatted) or multi-line indented.
$PRINT_CASE_DISTANCES$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$PRINTFUNCTIONSASRELATIONSp$ - Static variable in class edu.isi.powerloom.logic.Logic
Controls whether functions are printed as relations (F i v) or as functions (= (F i) v).
$PRINTINFRAME$ - Static variable in class edu.isi.powerloom.logic.Logic
If set, controls diagnostic printing by making variable bindings appear relative to the frame '*printInFrame*'.
$PRINTLENGTH$ - Static variable in class edu.isi.stella.Stella
If non-NULL list-like data structures will print at most that many elements.
$PRINTLOGICALFORMSTREAM$ - Static variable in class edu.isi.powerloom.logic.Logic
Eliminates necessity of passing stream argument throughout 'print-logical-form' functions.
$PRINTMODE$ - Static variable in class edu.isi.powerloom.logic.Logic
Controls the kind of detail that gets printed about individual objects.
$PRINTPRETTYCODEp$ - Static variable in class edu.isi.stella.Stella
When true pretty-print Stella and translated code.
$PRINTPRETTYp$ - Static variable in class edu.isi.stella.Stella
If true conses will be pretty printed.
$PRINTREADABLYp$ - Static variable in class edu.isi.stella.Stella
If true conses will be printed as readable Stella code.
$PROMPT_SHOW_MODULEp$ - Static variable in class edu.isi.powerloom.logic.Logic
Flag to control whether the logic prompt shows the module name.
$PROTOTYPE_ID_COUNTER$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$QUERY_CACHE$ - Static variable in class edu.isi.powerloom.logic.Logic
Caches in-line queries, so that they don't have to be reparsed and reoptimized each time they are invoked.
$QUERY_OPTIMIZATION_STRATEGY$ - Static variable in class edu.isi.powerloom.logic.Logic
Keyword indicating what clause reordering strategy should be used for conjunctive queries.
$QUERYITERATOR$ - Static variable in class edu.isi.powerloom.logic.Logic
Points to the query iterator for the currently executing query.
$QUERYOPTIMIZERCONTROLFRAME$ - Static variable in class edu.isi.powerloom.logic.Logic
Keeps track of last control frame allocated by the query optimizer.
$RATIO_ONE$ - Static variable in class edu.isi.stella.utilities.Utilities
 
$RDF_URI$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
 
$RDFS_OLD_URI$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
 
$RDFS_URI$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
 
$RECORD_JUSTIFICATIONSp$ - Static variable in class edu.isi.powerloom.logic.Logic
If TRUE every query records justifications to enable the explanation of concluded results.
$RECORD_SIGNATURESp$ - Static variable in class edu.isi.stella.Stella
If true, record object signatures into a persistent table.
$RECURSIVEGETCOMPLEMENTARGUMENT$ - Static variable in class edu.isi.powerloom.logic.Logic
Used to prevent infinite looping.
$RECYCLE_LISTS_MAINTENANCE_INTERVAL$ - Static variable in class edu.isi.stella.Stella
Total number of recycle list extensions after which a size maintenance operation is performed to ensure that the $MAX_RECYCLE_LIST_BYTES$ limit is still met.
$RECYCLE_LISTS_MAINTENANCE_TIMER$ - Static variable in class edu.isi.stella.Stella
 
$RECYCLING_ENABLEDp$ - Static variable in class edu.isi.stella.Stella
If TRUE calls to renamed_New or free on classes with :recycle-method; specifications will actually operate on recycle lists.
$REDEFINE_IDENTICAL_CLASSESp$ - Static variable in class edu.isi.stella.Stella
If true, always redefine classes, even if an identical class exists
$REDEFINE_RELATION_HOOKS$ - Static variable in class edu.isi.stella.Stella
HOOK-LIST is called by undefineOldClass.
$REFERENCED_NAMESPACE_MODULES$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
List containing all of the namespace modules that were accessed by this translation.
$REFERENCED_OBJECT_NAMES$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
List containing all of the symbol names that have been referenced during the translation of assertions.
$REFERENCED_OBJECT_NAMES_HT$ - Static variable in class edu.isi.powerloom.semantic_web.SemanticWeb
Hash table containing all of the symbol names that have been referenced during the translation of assertions.
$REMOVE_DUPLICATES_CROSSOVER_POINT$ - Static variable in class edu.isi.stella.Stella
Point where we switch from using a quadratic remove duplicates algorithm to a linear one using a hash table.
$REQUESTOR_ADDRESS$ - Static variable in class edu.isi.powerloom.server.PowerloomServer
The ip address of the current requestor in numerical host:port format.
$REVERSEPOLARITYp$ - Static variable in class edu.isi.powerloom.logic.Logic
Signals atomic proposition provers that polarity is negative.
$ROOT_MODULE$ - Static variable in class edu.isi.stella.Stella
Pointer to the top-most module ROOT-MODULE.
$ROOTBINARYDIRECTORY$ - Static variable in class edu.isi.stella.Stella
 
$ROOTNATIVEDIRECTORY$ - Static variable in class edu.isi.stella.Stella
 
$ROOTSOURCEDIRECTORY$ - Static variable in class edu.isi.stella.Stella
 
$RULE_COMBINATION$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$RULE_INDUCTION_STRATEGY$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$SAFETY$ - Static variable in class edu.isi.stella.Stella
Integer between 0 and 3.
$SAVE_NETWORK_CYCLE$ - Static variable in class edu.isi.powerloom.logic.Logic
 
$SAVE_NETWORK_FILE$ - Static variable in class edu.isi.powerloom.logic.Logic