public static final SubLObject init_builder_utilities_file() { $all_cyc_products$ = defparameter("*ALL-CYC-PRODUCTS*", NIL); $cyc_product_definitions$ = defparameter("*CYC-PRODUCT-DEFINITIONS*", NIL); $cyc_product$ = deflexical( "*CYC-PRODUCT*", ((NIL != Symbols.boundp($sym49$_CYC_PRODUCT_)) ? ((SubLObject) $cyc_product$.getGlobalValue()) : NIL)); $code_product$ = defconstant("*CODE-PRODUCT*", $kw42$STANDARD); $kb_product$ = deflexical( "*KB-PRODUCT*", ((NIL != Symbols.boundp($sym50$_KB_PRODUCT_)) ? ((SubLObject) $kb_product$.getGlobalValue()) : NIL)); $branch_tag$ = defconstant("*BRANCH-TAG*", $str44$head); $generic_sbhl_caching_policy_templates$ = defparameter( "*GENERIC-SBHL-CACHING-POLICY-TEMPLATES*", list( new SubLObject[] { specify_sbhl_caching_policy_template( $kw55$DEFAULT, $kw56$STICKY, $kw57$UNDEFINED, $kw58$ALL, UNPROVIDED), specify_sbhl_caching_policy_template( $const59$genlMt, $kw56$STICKY, $kw57$UNDEFINED, $kw58$ALL, $kw58$ALL), specify_sbhl_caching_policy_template( $const60$genlPreds, $kw61$SWAPOUT, $int62$500, $int62$500, $int63$200), specify_sbhl_caching_policy_template( $const64$negationPreds, $kw61$SWAPOUT, $int62$500, $int65$100, ZERO_INTEGER), specify_sbhl_caching_policy_template( $const66$disjointWith, $kw61$SWAPOUT, $int62$500, $int62$500, $int63$200), specify_sbhl_caching_policy_template( $const67$genlInverse, $kw61$SWAPOUT, $int62$500, $int62$500, $int63$200), specify_sbhl_caching_policy_template( $const68$negationInverse, $kw61$SWAPOUT, $int62$500, $int65$100, ZERO_INTEGER), specify_sbhl_caching_policy_template( $const69$genls, $kw61$SWAPOUT, $int70$5000, $int70$5000, $int71$2000), specify_sbhl_caching_policy_template( $const72$isa, $kw61$SWAPOUT, $int73$10000, $int74$8000, $int71$2000), specify_sbhl_caching_policy_template( $const75$quotedIsa, $kw61$SWAPOUT, $int70$5000, $int76$4000, $int77$1000) })); $cyc_tests_to_use_for_sbhl_cache_tuning$ = defparameter("*CYC-TESTS-TO-USE-FOR-SBHL-CACHE-TUNING*", NIL); $kb_queries_to_use_for_sbhl_cache_tuning$ = defparameter("*KB-QUERIES-TO-USE-FOR-SBHL-CACHE-TUNING*", NIL); $run_cyclops_for_sbhl_cache_tuningP$ = defparameter("*RUN-CYCLOPS-FOR-SBHL-CACHE-TUNING?*", NIL); return NIL; }
public static final SubLObject init_constant_completion_file() { $constant_names_in_code$ = deflexical( "*CONSTANT-NAMES-IN-CODE*", ((NIL != Symbols.boundp($sym0$_CONSTANT_NAMES_IN_CODE_)) ? ((SubLObject) $constant_names_in_code$.getGlobalValue()) : NIL)); $bogus_constant_names_in_code$ = deflexical( "*BOGUS-CONSTANT-NAMES-IN-CODE*", ((NIL != Symbols.boundp($sym1$_BOGUS_CONSTANT_NAMES_IN_CODE_)) ? ((SubLObject) $bogus_constant_names_in_code$.getGlobalValue()) : NIL)); return NIL; }
public static final SubLObject init_operation_queues_file() { $local_queue$ = deflexical( "*LOCAL-QUEUE*", ((NIL != Symbols.boundp($sym0$_LOCAL_QUEUE_)) ? ((SubLObject) $local_queue$.getGlobalValue()) : queues.create_queue())); $local_queue_lock$ = defparameter("*LOCAL-QUEUE-LOCK*", Locks.make_lock($str1$Local_Queue_Lock)); $remote_queue$ = deflexical( "*REMOTE-QUEUE*", ((NIL != Symbols.boundp($sym3$_REMOTE_QUEUE_)) ? ((SubLObject) $remote_queue$.getGlobalValue()) : queues.create_queue())); $remote_queue_lock$ = defparameter("*REMOTE-QUEUE-LOCK*", Locks.make_lock($str4$Remote_Queue_Lock)); $transcript_queue$ = deflexical( "*TRANSCRIPT-QUEUE*", ((NIL != Symbols.boundp($sym5$_TRANSCRIPT_QUEUE_)) ? ((SubLObject) $transcript_queue$.getGlobalValue()) : queues.create_queue())); $transcript_queue_lock$ = defparameter("*TRANSCRIPT-QUEUE-LOCK*", Locks.make_lock($str6$Transcript_Queue_Lock)); $hl_transcript_queue$ = deflexical( "*HL-TRANSCRIPT-QUEUE*", ((NIL != Symbols.boundp($sym7$_HL_TRANSCRIPT_QUEUE_)) ? ((SubLObject) $hl_transcript_queue$.getGlobalValue()) : queues.create_queue())); $hl_transcript_queue_lock$ = defparameter("*HL-TRANSCRIPT-QUEUE-LOCK*", Locks.make_lock($str8$HL_Transcript_Queue_Lock)); $auxiliary_queue$ = deflexical( "*AUXILIARY-QUEUE*", ((NIL != Symbols.boundp($sym9$_AUXILIARY_QUEUE_)) ? ((SubLObject) $auxiliary_queue$.getGlobalValue()) : queues.create_queue())); $auxiliary_queue_lock$ = defparameter("*AUXILIARY-QUEUE-LOCK*", Locks.make_lock($str10$Auxiliary_Queue_Lock)); $transmit_queue$ = deflexical( "*TRANSMIT-QUEUE*", ((NIL != Symbols.boundp($sym11$_TRANSMIT_QUEUE_)) ? ((SubLObject) $transmit_queue$.getGlobalValue()) : queues.create_queue())); $transmit_queue_lock$ = defparameter("*TRANSMIT-QUEUE-LOCK*", Locks.make_lock($str12$Transmit_Queue_Lock)); $local_operation_storage_queue$ = deflexical( "*LOCAL-OPERATION-STORAGE-QUEUE*", ((NIL != Symbols.boundp($sym13$_LOCAL_OPERATION_STORAGE_QUEUE_)) ? ((SubLObject) $local_operation_storage_queue$.getGlobalValue()) : queues.create_queue())); $local_operation_storage_queue_lock$ = defparameter( "*LOCAL-OPERATION-STORAGE-QUEUE-LOCK*", Locks.make_lock($str14$Local_Operation_Queue_Lock)); $within_a_remote_opP$ = defparameter("*WITHIN-A-REMOTE-OP?*", NIL); $hl_transcripts_enabledP$ = defparameter("*HL-TRANSCRIPTS-ENABLED?*", NIL); $hl_transcript_special_operators$ = deflexical("*HL-TRANSCRIPT-SPECIAL-OPERATORS*", $list17); return NIL; }