com.cyc.tool.subl.jrtl.nativeCode.subLisp
Interface CommonSymbols

All Known Subinterfaces:

SubLFile, SubLInOutBinaryStream, SubLInOutTextStream, SubLInputBinaryStream, SubLInputStream, SubLInputTextStream, SubLOutputBinaryStream, SubLOutputStream, SubLOutputTextStream, SubLStream

All Known Implementing Classes:

abnormal, AbstractRandomAccessSubLStream, AbstractSubLBinaryStream, AbstractSubLFloat, AbstractSubLFunction, AbstractSubLInteger, AbstractSubLIntegerBignum, AbstractSubLNumber, AbstractSubLStream, AbstractSubLTextStream, access_macros, accumulation, accumulation.$accumulator_p$UnaryFunction, after_adding, after_adding_modules, after_adding_modules.$clear_isa_dependent_caches$BinaryFunction, agenda, agenda.$agenda_daily_gc_ready_p$ZeroArityFunction, agenda.$agenda_save_asked_queriesP$ZeroArityFunction, agenda.$agenda_should_quitP$ZeroArityFunction, agenda.$agenda_work_to_do$ZeroArityFunction, agenda.$load_operationsP$ZeroArityFunction, agenda.$normal_transmit_operationsP$ZeroArityFunction, agenda.$restart_agenda_flagP$ZeroArityFunction, agenda.$run_auxiliary_opP$ZeroArityFunction, agenda.$run_local_opP$ZeroArityFunction, agenda.$run_remote_opP$ZeroArityFunction, agenda.$save_experienceP$ZeroArityFunction, agenda.$save_operationsP$ZeroArityFunction, agenda.$worry_transmit_operationsP$ZeroArityFunction, Alien, api_control_vars, api_kernel, arete, arg_type, arg_type.$arg_constraint_p$UnaryFunction, arg_type.$clear_cached_relation_arg_okP$ZeroArityFunction, arg_type.$variable_term_wrt_arg_typeP$UnaryFunction, argumentation, arguments, arguments.$argument_type_proper_genls$UnaryFunction, arguments.$asserted_argument_p$UnaryFunction, arguments.$justification_equal$BinaryFunction, arguments.$support_equal$BinaryFunction, arguments.$support_L$BinaryFunction, arguments.$support_mt$UnaryFunction, arguments.$support_p$UnaryFunction, arity, arity.$arity$UnaryFunction, ask_utilities, assertion_handles, assertion_handles.$assertion_p$UnaryFunction, assertion_handles.$find_assertion_by_id$UnaryFunction, assertion_handles.$sxhash_assertion_method$UnaryFunction, assertion_manager, assertion_utilities, assertions_high, assertions_high.$assertion_formula$UnaryFunction, assertions_high.$assertion_mt$UnaryFunction, assertions_high.$gaf_formula$UnaryFunction, assertions_high.$invalid_assertionP$BinaryFunction, assertions_high.$invalid_assertionP$UnaryFunction, assertions_high.$valid_assertion$BinaryFunction, assertions_high.$valid_assertion$UnaryFunction, assertions_interface, assertions_low, assertions_low.$assertion_content_p$UnaryFunction, at_admitted, at_admitted.$generic_arg_p$UnaryFunction, at_cache, at_defns, at_macros, at_routines, at_routines.$clear_arg_collections$ZeroArityFunction, at_utilities, at_var_types, at_var_types.$clear_at_argn_int_cached$ZeroArityFunction, at_var_types.$contextualized_isa_x_y_litP$UnaryFunction, at_vars, auxiliary_indexing, backward, backward_results, backward_utilities, bag, bag.$bag_p$UnaryFunction, balancing_tactician, balancing_tactician.$balancing_tactician_data_p$UnaryFunction, bijection, bijection.$bijection_p$UnaryFunction, binary_tree, binary_tree.$avl_tree_node_p$UnaryFunction, binary_tree.$avl_tree_p$UnaryFunction, binary_tree.$btree_p$UnaryFunction, binary_tree.$cfasl_input_avl_tree_node$UnaryFunction, BinaryFunction, bindings, bindings.$binding_p$UnaryFunction, bindings.$inference_binding_p$UnaryFunction, bindings.$subst_bindings$BinaryFunction, bindings.$variable_binding_value$UnaryFunction, bindings.$variable_binding_variable$UnaryFunction, bookkeeping_store, builder_utilities, bytes, c_backend, c_name_translation, cache, cache_utilities, cache_utilities.$cache_metrics_p$UnaryFunction, cache_utilities.$metered_cache_p$UnaryFunction, cache_utilities.$recording_cache_strategy_facade_p$UnaryFunction, cache.$cache_entry_p$UnaryFunction, cache.$cache_p$UnaryFunction, canon_tl, canon_tl.$tl_termP$UnaryFunction, cardinality_estimates, cardinality_estimates.$generality_estimate$UnaryFunction, CatchableThrow, cdestructuring_bind, cfasl, cfasl_compression, cfasl_kb_methods, cfasl_kb_methods.$cfasl_input_assertion$UnaryFunction, cfasl_kb_methods.$cfasl_input_clause_struc$UnaryFunction, cfasl_kb_methods.$cfasl_input_constant$UnaryFunction, cfasl_kb_methods.$cfasl_input_deduction$UnaryFunction, cfasl_kb_methods.$cfasl_input_hl_end$UnaryFunction, cfasl_kb_methods.$cfasl_input_hl_start$UnaryFunction, cfasl_kb_methods.$cfasl_input_kb_hl_support$UnaryFunction, cfasl_kb_methods.$cfasl_input_nart$UnaryFunction, cfasl_kb_methods.$cfasl_input_sbhl_directed_link$UnaryFunction, cfasl_kb_methods.$cfasl_input_sbhl_undirected_link$UnaryFunction, cfasl_kb_methods.$cfasl_input_variable$UnaryFunction, cfasl_kernel, cfasl_utilities, cfasl.$cfasl_count_stream_p$UnaryFunction, cfasl.$cfasl_decoding_stream_p$UnaryFunction, cfasl.$cfasl_encoding_stream_p$UnaryFunction, cfasl.$cfasl_input_character$UnaryFunction, cfasl.$cfasl_input_common_symbol$UnaryFunction, cfasl.$cfasl_input_dotted_list$UnaryFunction, cfasl.$cfasl_input_general_vector$UnaryFunction, cfasl.$cfasl_input_guid$UnaryFunction, cfasl.$cfasl_input_keyword$UnaryFunction, cfasl.$cfasl_input_list$UnaryFunction, cfasl.$cfasl_input_n_24bit_int$UnaryFunction, cfasl.$cfasl_input_n_8bit_int$UnaryFunction, cfasl.$cfasl_input_n_float$UnaryFunction, cfasl.$cfasl_input_nil$UnaryFunction, cfasl.$cfasl_input_other_symbol$UnaryFunction, cfasl.$cfasl_input_p_16bit_int$UnaryFunction, cfasl.$cfasl_input_p_24bit_int$UnaryFunction, cfasl.$cfasl_input_p_32bit_int$UnaryFunction, cfasl.$cfasl_input_p_bignum$UnaryFunction, cfasl.$cfasl_input_p_float$UnaryFunction, cfasl.$cfasl_input_string$UnaryFunction, character_names, Characters, clause_strucs, clause_strucs.$clause_struc_p$UnaryFunction, clause_utilities, clauses, clausifier, clausifier.$conjunctions_in$UnaryFunction, clausifier.$do_implications$UnaryFunction, clausifier.$do_negations_destructive$UnaryFunction, clausifier.$recursively_standardize_variables$UnaryFunction, clausifier.$universals_out$UnaryFunction, collection_defns, collection_defns.$clear_extensional_setP$ZeroArityFunction, collection_defns.$cyc_1_byte_integer$UnaryFunction, collection_defns.$cyc_2_byte_integer$UnaryFunction, collection_defns.$cyc_4_byte_integer$UnaryFunction, collection_defns.$cyc_8_byte_integer$UnaryFunction, collection_defns.$cyc_ascii_string_p$UnaryFunction, collection_defns.$cyc_bit_datatype$UnaryFunction, collection_defns.$cyc_guid_string_p$UnaryFunction, collection_defns.$cyc_individual_necessary$UnaryFunction, collection_defns.$cyc_ip4_address$UnaryFunction, collection_defns.$cyc_ip4_network_address$UnaryFunction, collection_defns.$cyc_list_is_minimum_length$UnaryFunction, collection_defns.$cyc_list_of_lists$UnaryFunction, collection_defns.$cyc_list_of_type_necessary$UnaryFunction, collection_defns.$cyc_list_of_type_sufficient$UnaryFunction, collection_defns.$cyc_numeric_string_necessary$UnaryFunction, collection_defns.$cyc_string_is_length$UnaryFunction, collection_defns.$cyc_string_is_maximum_length$UnaryFunction, collection_defns.$cyc_string_is_minimum_length$UnaryFunction, collection_defns.$cyc_subl_hl_support_module_p$UnaryFunction, collection_defns.$cyc_subl_query_property_p$UnaryFunction, collection_defns.$cyc_subl_tv_p$UnaryFunction, collection_defns.$cyc_typicality_reference_set_propertyP$UnaryFunction, collection_defns.$cyc_zip_code_five_digit$UnaryFunction, collection_defns.$cyc_zip_code_nine_digit$UnaryFunction, collection_defns.$cycl_canonicalizer_directiveP$UnaryFunction, collection_defns.$cycl_sentence_assertibleP$UnaryFunction, collection_intersection, compatibility, complex_special_forms, concept_filter, concept_filter.$clear_concept_filter_all_isa$ZeroArityFunction, concept_filter.$clear_nodes_suppressed_from_filter$ZeroArityFunction, condition_macros, conses_high, conses_high.$union$BinaryFunction, ConsesLow, constant_completion, constant_completion_high, constant_completion_high.$invalid_constant_name_char_p$UnaryFunction, constant_completion_interface, constant_completion_low, constant_handles, constant_handles.$constant_p$UnaryFunction, constant_handles.$constant_print_function_trampoline$BinaryFunction, constant_handles.$invalid_constantP$BinaryFunction, constant_handles.$invalid_constantP$UnaryFunction, constant_handles.$sxhash_constant_method$UnaryFunction, constant_handles.$valid_constantP$BinaryFunction, constant_handles.$valid_constantP$UnaryFunction, constant_index_manager, constant_reader, constants_high, constants_interface, constants_low, control_vars, ctest_utils, cyc_bookkeeping, cyc_kernel, cyc_revision_extraction, cyc_testing, cyc_testing_initialization, cyc_testing.$cyc_test_file_p$UnaryFunction, cyc_testing.$cyc_test_p$UnaryFunction, cycl, cycl_grammar, cycl_grammar.$cycl_generalized_tensed_literal_p$UnaryFunction, cycl_grammar.$cycl_quoted_term_p$UnaryFunction, cycl_grammar.$cycl_variable_p$UnaryFunction, cycl_grammar.$el_variable_p$UnaryFunction, cycl_grammar.$escape_quote_syntax_p$UnaryFunction, cycl_grammar.$hl_variable_p$UnaryFunction, cycl_grammar.$quasi_quote_syntax_p$UnaryFunction, cycl_query_specification, cycl_query_specification.$cycl_query_specification_p$UnaryFunction, cycl_utilities, cycl_utilities.$atomic_sentence_predicate$UnaryFunction, cycl_utilities.$hl_term_to_el_term$UnaryFunction, cycl_utilities.$hl_term_with_el_counterpart_p$UnaryFunction, cycl_utilities.$opaque_arg_wrt_quotingP$BinaryFunction, cycl_utilities.$renamed_default_el_var_p$UnaryFunction, cycl_variables, cycl_variables.$cyc_varP$UnaryFunction, cycl_variables.$default_el_varP$UnaryFunction, cycl_variables.$el_varP$UnaryFunction, cycl_variables.$hl_varP$UnaryFunction, cycl_variables.$invalid_variable_name_char$UnaryFunction, cycml_generator, cycml_generator.$cycml_kp_info_p$UnaryFunction, czer_graph, czer_graph.$arc_p$UnaryFunction, czer_graph.$graph_search_node_p$UnaryFunction, czer_graph.$v_colour_p$UnaryFunction, czer_graph.$vertex_p$UnaryFunction, czer_main, czer_main.$canonicalize_clause_commutative_terms_destructive$UnaryFunction, czer_main.$canonicalize_clause_quoted_terms$UnaryFunction, czer_main.$canonicalize_clause_sentence_terms$UnaryFunction, czer_main.$canonicalize_clause_tou_terms$UnaryFunction, czer_main.$canonicalize_literal_commutative_terms_destructive$UnaryFunction, czer_main.$canonicalize_literal_sentence_terms$BinaryFunction, czer_main.$canonicalize_literal_sentence_terms$UnaryFunction, czer_main.$commutative_terms_in_orderP$BinaryFunction, czer_main.$initialize_suffix_table_for_var$UnaryFunction, czer_main.$lit_L$BinaryFunction, czer_main.$literal_quantified_fn_terms$UnaryFunction, czer_main.$literal_terms_to_reify$BinaryFunction, czer_main.$literal_terms_to_reify$UnaryFunction, czer_main.$rename_clause_vars_int$BinaryFunction, czer_main.$rename_clause_vars_int$UnaryFunction, czer_main.$sort_clause_literals$BinaryFunction, czer_main.$sort_clause_literals$UnaryFunction, czer_meta, czer_meta.$clear_meta_relation_somewhereP$ZeroArityFunction, czer_meta.$clear_possibly_meta_relation_somewhereP_cached$ZeroArityFunction, czer_meta.$el_meta_formulaP$BinaryFunction, czer_meta.$el_meta_formulaP$UnaryFunction, czer_meta.$ground_el_meta_formulaP$BinaryFunction, czer_meta.$ground_el_meta_formulaP$UnaryFunction, czer_trampolines, czer_utilities, czer_utilities.$canon_varP$UnaryFunction, czer_utilities.$generalized_ist_clause_p$UnaryFunction, czer_utilities.$quoted_term_with_hl_varP$UnaryFunction, czer_vars, deck, deck.$deck_p$UnaryFunction, deduction_handles, deduction_handles.$deduction_p$UnaryFunction, deduction_handles.$sxhash_deduction_method$UnaryFunction, deduction_manager, deductions_high, deductions_interface, deductions_low, deductions_low.$deduction_content_p$UnaryFunction, defns, defns.$admitting_defn_assertions$UnaryFunction, defns.$col_defn_admitsP$UnaryFunction, dictionary, dictionary_contents, dictionary_utilities, dictionary_utilities.$synchronized_dictionary_p$UnaryFunction, dictionary.$cfasl_input_dictionary$UnaryFunction, dictionary.$dictionary_p$UnaryFunction, disjoint_with, dumper, dumper.$load_assertion_def_from_cache$BinaryFunction, dumper.$load_deduction_def_from_cache$BinaryFunction, dumper.$load_nart_hl_formula_from_cache$BinaryFunction, Dynamic, el_grammar, el_utilities, el_utilities.$cyc_const_general_existential_operator_p$UnaryFunction, el_utilities.$el_conjunction_p$UnaryFunction, el_utilities.$el_disjunction_p$UnaryFunction, el_utilities.$el_formula_p$UnaryFunction, el_utilities.$el_implicit_meta_literal_sentence_p$UnaryFunction, el_utilities.$el_meets_pragmatic_requirement_p$UnaryFunction, el_utilities.$el_negation_p$UnaryFunction, el_utilities.$expand_subl_fn_p$UnaryFunction, el_utilities.$formula_with_sequence_termP$UnaryFunction, el_utilities.$forward_non_trigger_literal_litP$UnaryFunction, el_utilities.$gafP$UnaryFunction, el_utilities.$kappa_predicate_p$UnaryFunction, el_utilities.$scoping_relation_expressionP$UnaryFunction, encapsulation, enumeration_types, environment, Environment, Equality, equality_store, equals, Errors, Eval, eval_in_api, eval_in_api_registrations, evaluatable_relation_tests, evaluatable_relation_tests.$ert_id$UnaryFunction, evaluatable_relation_tests.$evaluatable_relation_test_p$UnaryFunction, evaluation_defns, evaluation_defns.$cyc_different$UnaryFunction, fi, file_backed_cache, file_backed_cache_setup, file_backed_cache_setup.$file_backed_cache_registration_p$UnaryFunction, file_backed_cache.$file_backed_cache_p$UnaryFunction, file_hash_table, file_hash_table.$fast_create_fht_p$UnaryFunction, file_hash_table.$fast_fht_keystream_sorter_p$UnaryFunction, file_hash_table.$fht_serialization_entry_p$UnaryFunction, file_hash_table.$file_hash_table_p$UnaryFunction, file_hash_table.$htfile_file_block_entry_p$UnaryFunction, file_hash_table.$htfile_header_p$UnaryFunction, file_hash_table.$htfile_key_entry_p$UnaryFunction, file_hash_table.$htfile_object_entry_p$UnaryFunction, file_translation, file_translation.$trans_subl_file_p$UnaryFunction, file_utilities, file_vector, file_vector_utilities, file_vector_utilities.$backed_map_p$UnaryFunction, file_vector_utilities.$file_vector_reference_p$UnaryFunction, file_vector.$fvector_p$UnaryFunction, Filesys, finite_state_transducer, finite_state_transducer.$finite_state_transducer_p$UnaryFunction, FixedArityFunctor, folification, foreign, format, format_nil, formula_pattern_match, formula_pattern_match.$pattern_matches_formula_nat_method$BinaryFunction, formula_pattern_match.$pattern_matches_formula$BinaryFunction, formula_templates, formula_templates.$arg_position_details_p$UnaryFunction, formula_templates.$formula_template_p$UnaryFunction, formula_templates.$template_topic_p$UnaryFunction, fort_types_interface, fort_types_interface.$collection_p$UnaryFunction, fort_types_interface.$predicate_p$UnaryFunction, fort_types_interface.$scoping_relation_p$UnaryFunction, fort_types_interface.$sibling_disjoint_collection_p$UnaryFunction, forts, forts.$fort_id_index_p$UnaryFunction, forts.$fort_internal_id$UnaryFunction, forts.$fort_p$UnaryFunction, forts.$invalid_fortP$UnaryFunction, forward, forward_modules, forward_modules.$forward_asymmetric_required$UnaryFunction, forward_modules.$forward_eval_exclusive_pos$UnaryFunction, forward_modules.$forward_genlinverse_pos_rule_select$UnaryFunction, forward_modules.$forward_genlpreds_pos_rule_select$UnaryFunction, forward_modules.$forward_isa_expand$BinaryFunction, forward_modules.$forward_isa_rule_select$UnaryFunction, forward_modules.$forward_ist_pos_expand$BinaryFunction, forward_modules.$forward_ist_pos_rule_select$UnaryFunction, forward_modules.$forward_negationinverse_required$UnaryFunction, forward_modules.$forward_negationpreds_required$UnaryFunction, forward_modules.$forward_normal_pos_expand$BinaryFunction, forward_modules.$forward_normal_pos_rule_select$UnaryFunction, forward_modules.$forward_symmetric_pos_rule_select$UnaryFunction, forward_modules.$forward_unbound_pred_pos_required$UnaryFunction, fraction_utilities, fraction_utilities.$fraction_p$UnaryFunction, function_terms, FunctionArgListDescription, Functions, generic_testing, generic_testing.$generic_test_case_table_p$UnaryFunction, genl_mts, genl_predicates, genls, ghl_link_iterators, ghl_marking_utilities, ghl_search_methods, ghl_search_methods.$ghl_closure_search_iterator_done$UnaryFunction, ghl_search_methods.$ghl_closure_search_iterator_finalize$UnaryFunction, ghl_search_methods.$ghl_closure_search_iterator_next$UnaryFunction, ghl_search_utilities, ghl_search_vars, ghl_search_vars.$ghl_search_p$UnaryFunction, glob, glob.$glob_p$UnaryFunction, graph_utilities, graph_utilities.$extract_link_nodes_int$UnaryFunction, graph_utilities.$length_first$UnaryFunction, graphic_library_format, graphic_library_format.$glf_arc_p$UnaryFunction, graphic_library_format.$glf_graph_p$UnaryFunction, graphic_library_format.$glf_node_p$UnaryFunction, graphic_library_format.$glf_rendering_p$UnaryFunction, graphl_graph_utilities, graphl_search_vars, graphl_search_vars.$graphl_search_p$UnaryFunction, gt_methods, gt_search, gt_utilities, gt_vars, guardian, guardian.$guardian_request_p$UnaryFunction, Guids, hash_table_utilities, Hashtables, hashtables_high, heap, heap.$heap_impl_p$UnaryFunction, heap.$heap_test_example_p$UnaryFunction, hierarchical_visitor, hierarchical_visitor.$hierarchical_visitor_p$UnaryFunction, hl_interface_infrastructure, hl_interface_infrastructure.$hl_store_iterator_destroy$UnaryFunction, hl_interface_infrastructure.$hl_store_iterator_doneP$UnaryFunction, hl_modifiers, hl_prototypes, hl_storage_module_declarations, hl_storage_modules, hl_supports, hl_supports.$hl_justify_eval$UnaryFunction, hl_supports.$non_hl_predicate_p$UnaryFunction, hlmt, hlmt_czer, hlmt.$closed_hlmt_p$UnaryFunction, hlmt.$hlmt_equal$BinaryFunction, hlmt.$hlmtP$UnaryFunction, hlmt.$monad_cycl_mtP$UnaryFunction, hlmt.$monad_mt_p$UnaryFunction, hlmt.$mt_union_mts_recursive_int$UnaryFunction, hlmt.$single_dimension_mt_dimension$UnaryFunction, hlmt.$temporal_dimension_mt_p$UnaryFunction, id_index, id_index.$id_index_p$UnaryFunction, inference_abduction_utilities, inference_analysis, inference_balanced_tactician_datastructures, inference_balanced_tactician_datastructures.$balanced_strategy_data_p$UnaryFunction, inference_balanced_tactician_execution, inference_balanced_tactician_execution.$balanced_strategy_default_select_best_strategem$UnaryFunction, inference_balanced_tactician_execution.$balanced_strategy_do_one_step$UnaryFunction, inference_balanced_tactician_execution.$balanced_strategy_doneP$UnaryFunction, inference_balanced_tactician_motivation, inference_balanced_tactician_motivation.$balanced_strategy_possibly_activate_problem$BinaryFunction, inference_balanced_tactician_strategic_uninterestingness, inference_completeness_utilities, inference_czer, inference_czer.$inference_contextualized_asent_L$BinaryFunction, inference_czer.$non_contiguous_hl_varP$UnaryFunction, inference_czer.$non_fixed_variable_p$UnaryFunction, inference_czer.$possibly_note_hl_var_contiguity_pair$UnaryFunction, inference_czer.$variable_token$UnaryFunction, inference_czer.$variable_token$ZeroArityFunction, inference_datastructures_enumerated_types, inference_datastructures_enumerated_types.$inference_dynamic_property_p$UnaryFunction, inference_datastructures_enumerated_types.$inference_query_metric_p$UnaryFunction, inference_datastructures_enumerated_types.$inference_static_property_p$UnaryFunction, inference_datastructures_enumerated_types.$problem_store_property_p$UnaryFunction, inference_datastructures_enumerated_types.$query_dynamic_property_p$UnaryFunction, inference_datastructures_enumerated_types.$query_static_property_p$UnaryFunction, inference_datastructures_enumerated_types.$strategy_dynamic_property_p$UnaryFunction, inference_datastructures_enumerated_types.$strategy_static_property_p$UnaryFunction, inference_datastructures_forward_propagate, inference_datastructures_forward_propagate.$forward_propagate_p$UnaryFunction, inference_datastructures_inference, inference_datastructures_inference.$inference_answer_justification_p$UnaryFunction, inference_datastructures_inference.$inference_answer_justification_supports$UnaryFunction, inference_datastructures_inference.$inference_answer_p$UnaryFunction, inference_datastructures_inference.$inference_p$UnaryFunction, inference_datastructures_inference.$sxhash_inference_method$UnaryFunction, inference_datastructures_problem, inference_datastructures_problem_link, inference_datastructures_problem_link.$mapped_problem_equal$BinaryFunction, inference_datastructures_problem_link.$mapped_problem_p$UnaryFunction, inference_datastructures_problem_link.$problem_link_p$UnaryFunction, inference_datastructures_problem_link.$sxhash_problem_link_method$UnaryFunction, inference_datastructures_problem_query, inference_datastructures_problem_query.$formula_term_signature_visit$UnaryFunction, inference_datastructures_problem_store, inference_datastructures_problem_store.$problem_store_janitor_p$UnaryFunction, inference_datastructures_problem_store.$problem_store_p$UnaryFunction, inference_datastructures_problem.$problem_p$UnaryFunction, inference_datastructures_problem.$sxhash_problem_method$UnaryFunction, inference_datastructures_proof, inference_datastructures_proof.$proof_p$UnaryFunction, inference_datastructures_proof.$proof_provenP$UnaryFunction, inference_datastructures_proof.$sxhash_proof_method$UnaryFunction, inference_datastructures_strategy, inference_datastructures_strategy.$problem_strategic_properties_p$UnaryFunction, inference_datastructures_strategy.$strategy_p$UnaryFunction, inference_datastructures_strategy.$sxhash_strategy_method$UnaryFunction, inference_datastructures_strategy.$tactic_strategic_properties_p$UnaryFunction, inference_datastructures_tactic, inference_datastructures_tactic.$sxhash_tactic_method$UnaryFunction, inference_datastructures_tactic.$tactic_p$UnaryFunction, inference_datastructures_tactic.$tactic_possibleP$UnaryFunction, inference_datastructures_tactic.$tactic_progress_doneP$UnaryFunction, inference_datastructures_tactic.$tactic_progress_finalize$UnaryFunction, inference_datastructures_tactic.$tactic_progress_next$UnaryFunction, inference_heuristic_balanced_tactician, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_activate_strategem_wrt_removal$BinaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_activate_strategem_wrt_transformation$BinaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_add_new_root$BinaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_chooses_to_throw_away_new_rootP$BinaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_initialize$UnaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_new_rootsP$UnaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_strategems_active_wrt_removalP$UnaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_strategems_active_wrt_transformationP$UnaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_new_root$UnaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_strategem_wrt_removal$UnaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_strategem_wrt_transformation$UnaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_new_root$UnaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_strategem_wrt_removal$UnaryFunction, inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_strategem_wrt_transformation$UnaryFunction, inference_kernel, inference_kernel.$inference_bindings_hl_to_el$UnaryFunction, inference_lookahead_productivity, inference_macros, inference_metrics, inference_metrics.$inference_metric_p$UnaryFunction, inference_min_transformation_depth, inference_modules, inference_modules.$allowed_modules_spec_p$UnaryFunction, inference_modules.$hl_module_p$UnaryFunction, inference_modules.$hl_module_sense$UnaryFunction, inference_modules.$sxhash_hl_module_method$UnaryFunction, inference_pad_data, inference_parameters, inference_strategic_heuristics, inference_strategic_heuristics.$strategic_heuristic_backchain_required$BinaryFunction, inference_strategic_heuristics.$strategic_heuristic_completeness$BinaryFunction, inference_strategic_heuristics.$strategic_heuristic_magic_wand$BinaryFunction, inference_strategic_heuristics.$strategic_heuristic_occams_razor$BinaryFunction, inference_strategic_heuristics.$strategic_heuristic_relevant_term$BinaryFunction, inference_strategic_heuristics.$strategic_heuristic_rule_a_priori_utility$BinaryFunction, inference_strategic_heuristics.$strategic_heuristic_rule_historical_utility$BinaryFunction, inference_strategic_heuristics.$strategic_heuristic_rule_literal_count$BinaryFunction, inference_strategic_heuristics.$strategic_heuristic_shallow_and_cheap$BinaryFunction, inference_strategist, inference_tactician, inference_tactician_strategic_uninterestingness, inference_tactician_utilities, inference_tactician.$happiness_G$BinaryFunction, inference_tactician.$strategy_sort_predicateP$BinaryFunction, inference_trampolines, inference_trampolines.$clear_indeterminate_term_p$ZeroArityFunction, inference_trampolines.$inference_commutative_predicate_p$UnaryFunction, inference_trampolines.$inference_evaluatable_predicateP$UnaryFunction, inference_trampolines.$inference_partially_commutative_predicate_p$UnaryFunction, inference_trampolines.$inference_predicate_p$UnaryFunction, inference_trampolines.$inference_reflexive_predicateP$UnaryFunction, inference_trampolines.$inference_some_genl_pred_or_inverseP$UnaryFunction, inference_trampolines.$inference_some_spec_pred_or_inverseP$UnaryFunction, inference_trampolines.$inference_symmetric_predicateP$UnaryFunction, inference_trampolines.$inference_transitive_predicateP$UnaryFunction, inference_trivial, inference_unit_tests, inference_unit_tests.$inference_unit_test_p$UnaryFunction, inference_worker, inference_worker_answer, inference_worker_join, inference_worker_join_ordered, inference_worker_join_ordered.$join_ordered_link_data_p$UnaryFunction, inference_worker_join.$join_link_data_p$UnaryFunction, inference_worker_removal, inference_worker_removal.$inference_remove_unify_default$BinaryFunction, inference_worker_removal.$inference_remove_unify_default$UnaryFunction, inference_worker_removal.$removal_link_data_p$UnaryFunction, inference_worker_residual_transformation, inference_worker_restriction, inference_worker_restriction.$restriction_link_data_p$UnaryFunction, inference_worker_restriction.$restriction_listening_link_data_p$UnaryFunction, inference_worker_rewrite, inference_worker_rewrite.$rewrite_link_data_p$UnaryFunction, inference_worker_split, inference_worker_transformation, inference_worker_transformation.$hl_variable_not_mentioned_in_rule_dnf_but_mentioned_in_merge_dnf$UnaryFunction, inference_worker_transformation.$transformation_link_data_p$UnaryFunction, inference_worker_transformation.$transformation_tactic_p$UnaryFunction, inference_worker_union, integer_sequence_generator, integer_sequence_generator.$integer_sequence_generator_p$UnaryFunction, interval_span, interval_span.$interval_span_p$UnaryFunction, isa, isa.$instanceof_after_adding$BinaryFunction, isa.$instanceof_after_removing$BinaryFunction, iteration, iteration.$default_iterator_done_p$UnaryFunction, iteration.$iterate_list_done$UnaryFunction, iteration.$iterate_list_next$UnaryFunction, iteration.$iterate_non_null_singleton_next$UnaryFunction, iteration.$iterate_number_done$UnaryFunction, iteration.$iterate_vector_next$UnaryFunction, iteration.$iterator_iterator_done$UnaryFunction, iteration.$iterator_iterator_next$UnaryFunction, iteration.$iterator_p$UnaryFunction, iteration.$reusable_iterator_cartesian_iterator_done$UnaryFunction, iteration.$reusable_iterator_cartesian_iterator_next$UnaryFunction, iteration.$reusable_iterator_done$UnaryFunction, iteration.$reusable_iterator_next$UnaryFunction, janus, java_api_kernel, java_name_translation, kb_access_metering, kb_accessors, kb_accessors.$clear_guess_the_cyclist_from_user_name$ZeroArityFunction, kb_accessors.$fast_non_skolem_indeterminate_termP$UnaryFunction, kb_compare, kb_compare.$kb_difference_p$UnaryFunction, kb_compare.$kb_intersection_p$UnaryFunction, kb_control_vars, kb_gp_mapping, kb_hl_support_manager, kb_hl_supports, kb_hl_supports.$kb_hl_support_content_p$UnaryFunction, kb_hl_supports.$kb_hl_support_index_unindexed_termP$UnaryFunction, kb_hl_supports.$kb_hl_support_p$UnaryFunction, kb_hl_supports.$sxhash_kb_hl_support_method$UnaryFunction, kb_indexing, kb_indexing_datastructures, kb_indexing_datastructures.$fully_indexed_term_p$UnaryFunction, kb_indexing_datastructures.$indexed_term_p$UnaryFunction, kb_indexing_datastructures.$invalid_indexed_termP$UnaryFunction, kb_indexing_declarations, kb_indexing_macros, kb_indexing.$clear_key_gaf_arg_index_cached$ZeroArityFunction, kb_indexing.$num_index$UnaryFunction, kb_indexing.$num_predicate_extent_index$BinaryFunction, kb_indexing.$num_predicate_extent_index$UnaryFunction, kb_macros, kb_mapping, kb_mapping_macros, kb_mapping_macros.$assertion_semantically_matches_simple_final_index_specP$BinaryFunction, kb_mapping_macros.$clear_simple_term_assertion_list_filtered$ZeroArityFunction, kb_mapping_macros.$decontextualized_ist_predicate_rule_final_index_spec_iterator_doneP$UnaryFunction, kb_mapping_macros.$decontextualized_ist_predicate_rule_final_index_spec_iterator_next$UnaryFunction, kb_mapping_macros.$decontextualized_ist_predicate_rule_index_asent_match_p$BinaryFunction, kb_mapping_macros.$gaf_arg_final_index_spec_iterator_doneP$UnaryFunction, kb_mapping_macros.$gaf_arg_final_index_spec_iterator_next$UnaryFunction, kb_mapping_macros.$nart_arg_final_index_spec_iterator_doneP$UnaryFunction, kb_mapping_macros.$nart_arg_final_index_spec_iterator_next$UnaryFunction, kb_mapping_macros.$other_index_assertion_match_p$BinaryFunction, kb_mapping_macros.$pred_arg2_rule_final_index_spec_iterator_doneP$UnaryFunction, kb_mapping_macros.$pred_arg2_rule_final_index_spec_iterator_next$UnaryFunction, kb_mapping_macros.$predicate_extent_final_index_spec_iterator_doneP$UnaryFunction, kb_mapping_macros.$predicate_extent_final_index_spec_iterator_next$UnaryFunction, kb_mapping_macros.$predicate_rule_final_index_spec_iterator_doneP$UnaryFunction, kb_mapping_macros.$predicate_rule_final_index_spec_iterator_next$UnaryFunction, kb_mapping_utilities, kb_mapping.$assertion_with_search_term$UnaryFunction, kb_mapping.$gather_assertions$UnaryFunction, kb_object_manager, kb_object_manager.$kb_object_manager_p$UnaryFunction, kb_paths, kb_utilities, kb_utilities.$clear_cached_union_all_specs_count$ZeroArityFunction, kb_utilities.$clear_forbidden_kb_covering_collections_set$ZeroArityFunction, kb_utilities.$form_sort_pred$BinaryFunction, kb_utilities.$fort_L$BinaryFunction, kb_utilities.$hl_external_id_string_p$UnaryFunction, kb_utilities.$term_L$BinaryFunction, kbq_query_run, kbq_query_run.$clear_cached_all_instances_among$ZeroArityFunction, kbq_query_run.$kbq_runstate_p$UnaryFunction, kbq_query_run.$kct_runstate_p$UnaryFunction, kbq_query_run.$kct_set_runstate_p$UnaryFunction, kct_utils, ke, keyhash, keyhash_utilities, keyhash.$iterate_keyhash_necessary$UnaryFunction, keyhash.$keyhash_p$UnaryFunction, Keyhashes, LarkcInit, leviathan, list_utilities, list_utilities.$cadar$UnaryFunction, list_utilities.$dotted_list_p$UnaryFunction, list_utilities.$flip_cons$UnaryFunction, list_utilities.$negated_test_func$UnaryFunction, list_utilities.$quotify$UnaryFunction, list_utilities.$sort_via_position_earlier$BinaryFunction, Locks, lucene_session, lucene_session.$lucene_session_p$UnaryFunction, mail_message, mail_message.$message_p$UnaryFunction, mail_message.$message_part_p$UnaryFunction, map_utilities, Mapper, Mapping, math_utilities, memoization_state, memoization_state.$caching_state_p$UnaryFunction, memoization_state.$memoization_state_p$UnaryFunction, meta_macros, meta_removal_modules, misc_kb_utilities, misc_kb_utilities.$get_term_id$UnaryFunction, misc_utilities, modules, modules.$module_p$UnaryFunction, modules.$system_p$UnaryFunction, morphology, morphology.$aes_able_to_ate$BinaryFunction, morphology.$aes_add_e_before_s$BinaryFunction, morphology.$aes_ble_to_bil_before_ity$BinaryFunction, morphology.$aes_change_aic_to_ac$BinaryFunction, morphology.$aes_change_ceive_to_cept$BinaryFunction, morphology.$aes_change_ie_to_y$BinaryFunction, morphology.$aes_change_ism_to_ist$BinaryFunction, morphology.$aes_change_y_to_i$BinaryFunction, morphology.$aes_geminate_last$BinaryFunction, morphology.$aes_remove_able_le_before_ly$BinaryFunction, morphology.$aes_strip_final_e$BinaryFunction, morphology.$aes_strip_final_vowels_before_ic$BinaryFunction, mt_relevance_cache, mt_relevance_macros, mt_vars, mt_vars.$core_microtheory_p$UnaryFunction, mt_vars.$special_core_loop_mt_p$UnaryFunction, nart_handles, nart_handles.$nart_p$UnaryFunction, nart_handles.$sxhash_nart_method$UnaryFunction, nart_hl_formula_manager, nart_index_manager, narts_high, narts_high.$find_nart$UnaryFunction, narts_high.$nart_hl_formula$UnaryFunction, negation_predicate, neural_net, neural_net.$neural_net_p$UnaryFunction, neural_net.$nn_input_node_p$UnaryFunction, new_cycl_query_specification, new_cycl_query_specification.$new_cycl_query_specification_p$UnaryFunction, new_root_tactician_datastructures, new_root_tactician_datastructures.$new_root_strategy_data_p$UnaryFunction, number_utilities, Numbers, numeric_date_utilities, obsolete, operation_communication, operation_queues, os_process_utilities, os_process_utilities.$os_process_impl_p$UnaryFunction, Packages, pattern_match, pattern_match.$pattern_matches_tree_recursive$BinaryFunction, postcanonicalizer, precanonicalizer, precanonicalizer.$el_evaluatable_expressionP$BinaryFunction, precanonicalizer.$el_evaluatable_expressionP$UnaryFunction, pred_relevance_macros, pred_relevance_macros.$pred_info_object_p$UnaryFunction, predicate_relevance_cache, preference_modules, preference_modules.$preference_module_p$UnaryFunction, preference_modules.$sxhash_preference_module_method$UnaryFunction, preserves_genls_in_arg, preserves_genls_in_arg.$pgia_after_adding_isa$BinaryFunction, print_functions, print_high, print_macros, PrintLow, process_utilities, process_utilities.$ipc_queue_p$UnaryFunction, process_utilities.$ordered_ipc_queue_p$UnaryFunction, process_utilities.$process_wrapper_p$UnaryFunction, process_utilities.$task_p$UnaryFunction, process_utilities.$thinking_task_p$UnaryFunction, Processes, psc, QuarternaryFunction, queues, queues.$lazy_priority_queue_p$UnaryFunction, queues.$locked_p_queue_p$UnaryFunction, queues.$locked_queue_p$UnaryFunction, queues.$pq_collision_empty$UnaryFunction, queues.$pq_collision_enter$BinaryFunction, queues.$pq_collision_remove$BinaryFunction, queues.$priority_queue_p$UnaryFunction, queues.$queue_p$UnaryFunction, QuintenaryFunction, random, reader, reader.$read_token_p$UnaryFunction, reader.$readtable_p$UnaryFunction, ReadWriteLocks, red_api, red_api.$red_element_struct_p$UnaryFunction, red_api.$red_repository_list_struct_p$UnaryFunction, red_api.$red_repository_struct_p$UnaryFunction, red_api.$red_struct_p$UnaryFunction, red_infrastructure, red_infrastructure_macros, red_infrastructure.$red_symbol_p$UnaryFunction, Regex, relation_evaluation, relation_evaluation.$clear_cached_evaluation_function$ZeroArityFunction, relation_evaluation.$cyc_evaluate_arg$UnaryFunction, remote_image, remote_image.$remote_image_connection_p$UnaryFunction, remote_image.$remote_image_p$UnaryFunction, removal_module_cost_tests, removal_module_cost_tests.$removal_module_cost_test_p$UnaryFunction, removal_module_tests, removal_module_tests.$removal_module_test_p$UnaryFunction, removal_module_utilities, removal_modules_abduction, removal_modules_abduction.$removal_abduction_allowedP$BinaryFunction, removal_modules_abduction.$removal_abduction_allowedP$UnaryFunction, removal_modules_asserted_formula, removal_modules_asserted_formula.$removal_asserted_sentence_lookup_iterator$UnaryFunction, removal_modules_asserted_formula.$removal_asserted_sentence_lookup_pos_cost$BinaryFunction, removal_modules_asserted_formula.$removal_asserted_sentence_lookup_pos_cost$UnaryFunction, removal_modules_backchain_required, removal_modules_backchain_required.$current_problem_store_transformation_allowedP$UnaryFunction, removal_modules_backchain_required.$current_problem_store_transformation_allowedP$ZeroArityFunction, removal_modules_backchain_required.$inference_backchain_required_asent_in_relevant_mtP$BinaryFunction, removal_modules_backchain_required.$inference_backchain_required_asent_in_relevant_mtP$UnaryFunction, removal_modules_conjunctive_pruning, removal_modules_conjunctive_pruning.$prune_unknown_sentence_literal_inconsistency_applicability$UnaryFunction, removal_modules_conjunctive_pruning.$residual_transformation_non_wff_applicability$UnaryFunction, removal_modules_conjunctive_pruning.$thing_tupleP$UnaryFunction, removal_modules_different, removal_modules_different.$removal_different_duplicate_exclusive$BinaryFunction, removal_modules_different.$removal_different_duplicate_exclusive$UnaryFunction, removal_modules_evaluation, removal_modules_evaluation.$removal_eval_exclusive$BinaryFunction, removal_modules_evaluation.$removal_eval_exclusive$UnaryFunction, removal_modules_evaluation.$removal_eval_required$BinaryFunction, removal_modules_evaluation.$removal_eval_required$UnaryFunction, removal_modules_function_corresponding_predicate, removal_modules_function_corresponding_predicate.$removal_fcp_find_nat_required$BinaryFunction, removal_modules_function_corresponding_predicate.$removal_fcp_find_nat_required$UnaryFunction, removal_modules_genlpreds, removal_modules_genlpreds_lookup, removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_cost$BinaryFunction, removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_cost$UnaryFunction, removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_iterator$UnaryFunction, removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_cost$BinaryFunction, removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_cost$UnaryFunction, removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_iterator$UnaryFunction, removal_modules_genlpreds_lookup.$removal_genlpreds_pred_index_pos_cost$BinaryFunction, removal_modules_genlpreds_lookup.$removal_genlpreds_pred_index_pos_cost$UnaryFunction, removal_modules_genlpreds.$removal_genlpreds_check_expand$BinaryFunction, removal_modules_genlpreds.$removal_genlpreds_check_expand$UnaryFunction, removal_modules_genls, removal_modules_genls.$removal_genls_between_applicability$UnaryFunction, removal_modules_genls.$removal_superset_expand$BinaryFunction, removal_modules_genls.$removal_superset_expand$UnaryFunction, removal_modules_indexical_referent, removal_modules_indexical_referent.$indexical_referent_term_p$UnaryFunction, removal_modules_indexical_referent.$temporal_indexical_expand$UnaryFunction, removal_modules_isa, removal_modules_isa.$removal_all_instances_completeness$UnaryFunction, removal_modules_isa.$removal_all_instances_cost$BinaryFunction, removal_modules_isa.$removal_all_instances_cost$UnaryFunction, removal_modules_isa.$removal_all_isa_of_type_applicability$UnaryFunction, removal_modules_isa.$removal_elementof_check_expand$BinaryFunction, removal_modules_isa.$removal_elementof_check_expand$UnaryFunction, removal_modules_isa.$removal_isa_collection_check_pos_cost$BinaryFunction, removal_modules_isa.$removal_isa_collection_check_pos_cost$UnaryFunction, removal_modules_isa.$removal_quoted_isa_collection_check_pos_cost$BinaryFunction, removal_modules_isa.$removal_quoted_isa_collection_check_pos_cost$UnaryFunction, removal_modules_isa.$removal_quoted_isa_collection_check_pos_expand$BinaryFunction, removal_modules_isa.$removal_quoted_isa_collection_check_pos_expand$UnaryFunction, removal_modules_isa.$removal_quoted_isa_defn_pos_required$BinaryFunction, removal_modules_isa.$removal_quoted_isa_defn_pos_required$UnaryFunction, removal_modules_lookup, removal_modules_lookup.$asent_has_indexed_term_arg_p$BinaryFunction, removal_modules_lookup.$asent_has_indexed_term_arg_p$UnaryFunction, removal_modules_lookup.$removal_completely_asserted_asentP$UnaryFunction, removal_modules_lookup.$removal_lookup_pos_cost$BinaryFunction, removal_modules_lookup.$removal_lookup_pos_cost$UnaryFunction, removal_modules_lookup.$removal_lookup_pos_iterator$UnaryFunction, removal_modules_natfunction, removal_modules_reflexive_on, removal_modules_reflexive_on.$reflexive_on_predicateP$UnaryFunction, removal_modules_reflexivity, removal_modules_reflexivity.$removal_reflexive_one_arg_expand$BinaryFunction, removal_modules_reflexivity.$removal_reflexive_one_arg_expand$UnaryFunction, removal_modules_relation_all, removal_modules_relation_all_exists, removal_modules_relation_all_exists.$removal_relation_all_exists_unify_required$BinaryFunction, removal_modules_relation_all_exists.$removal_relation_all_exists_unify_required$UnaryFunction, removal_modules_relation_all_exists.$removal_relation_exists_all_unify_required$BinaryFunction, removal_modules_relation_all_exists.$removal_relation_exists_all_unify_required$UnaryFunction, removal_modules_relation_all_instance, removal_modules_relation_all_instance.$removal_relation_all_instance_iterate_required$BinaryFunction, removal_modules_relation_all_instance.$removal_relation_all_instance_iterate_required$UnaryFunction, removal_modules_relation_all_instance.$removal_relation_all_instance_unify_required$BinaryFunction, removal_modules_relation_all_instance.$removal_relation_all_instance_unify_required$UnaryFunction, removal_modules_relation_all_instance.$removal_relation_instance_all_iterate_required$BinaryFunction, removal_modules_relation_all_instance.$removal_relation_instance_all_iterate_required$UnaryFunction, removal_modules_relation_all_instance.$removal_relation_instance_all_unify_required$BinaryFunction, removal_modules_relation_all_instance.$removal_relation_instance_all_unify_required$UnaryFunction, removal_modules_relation_instance_exists, removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg1_required$BinaryFunction, removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg1_required$UnaryFunction, removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg2_required$BinaryFunction, removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg2_required$UnaryFunction, removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg1_required$BinaryFunction, removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg1_required$UnaryFunction, removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg2_required$BinaryFunction, removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg2_required$UnaryFunction, removal_modules_relation_instance_exists.$removal_relation_instance_exists_expansion_applicability$UnaryFunction, removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg1_required$BinaryFunction, removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg1_required$UnaryFunction, removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg2_required$BinaryFunction, removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg2_required$UnaryFunction, removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg1_required$BinaryFunction, removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg1_required$UnaryFunction, removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg2_required$BinaryFunction, removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg2_required$UnaryFunction, removal_modules_symmetry, removal_modules_symmetry.$removal_symmetric_lookup_pos_cost$BinaryFunction, removal_modules_symmetry.$removal_symmetric_lookup_pos_cost$UnaryFunction, removal_modules_symmetry.$removal_symmetric_lookup_pos_iterator$UnaryFunction, removal_modules_symmetry.$removal_symmetric_supports$UnaryFunction, removal_modules_termofunit, removal_modules_termofunit.$removal_term_of_unit_unify_impossibleP$UnaryFunction, removal_modules_transitivity, removal_modules_transitivity.$gt_required_arg_type_p$UnaryFunction, removal_modules_transitivity.$removal_transitive_arg1_walk_cost$BinaryFunction, removal_modules_transitivity.$removal_transitive_arg1_walk_cost$UnaryFunction, removal_modules_transitivity.$removal_transitive_arg1_walk_iterator$BinaryFunction, removal_modules_tva_lookup, removal_modules_tva_lookup.$removal_tva_unify_closure_conjunction_applicability$UnaryFunction, removal_modules_tva_lookup.$removal_tva_unify_closure_required$BinaryFunction, removal_modules_tva_lookup.$removal_tva_unify_closure_required$UnaryFunction, removal_modules_tva_lookup.$removal_tva_unify_cost$BinaryFunction, removal_modules_tva_lookup.$removal_tva_unify_cost$UnaryFunction, removal_tactician, removal_tactician_datastructures, removal_tactician_datastructures.$removal_strategy_data_p$UnaryFunction, removal_tactician_execution, removal_tactician_motivation, removal_tactician_uninterestingness, Resourcer, rewrite_modules, rewrite_of_propagation, rewrite_of_propagation.$fort_with_some_source_rewrite_of_assertions$UnaryFunction, rule_after_adding, rule_macros, sbhl_cache, sbhl_cache.$valid_fort_typeP$UnaryFunction, sbhl_caching_policies, sbhl_graphs, sbhl_iteration, sbhl_iteration.$sbhl_iterator_p$UnaryFunction, sbhl_link_iterators, sbhl_link_iterators.$sbhl_link_node_search_state_iterator_state_p$UnaryFunction, sbhl_link_iterators.$sbhl_module_direction_link_search_state_iterator_state_p$UnaryFunction, sbhl_link_iterators.$sbhl_module_naut_link_node_search_state_iterator_state_p$UnaryFunction, sbhl_link_iterators.$sbhl_module_tv_link_node_search_state_iterator_state_p$UnaryFunction, sbhl_link_methods, sbhl_link_utilities, sbhl_link_vars, sbhl_links, sbhl_links.$sbhl_directed_link_p$UnaryFunction, sbhl_links.$sbhl_undirected_link_p$UnaryFunction, sbhl_macros, sbhl_marking_methods, sbhl_marking_methods.$sbhl_mark_closure_as_marked$UnaryFunction, sbhl_marking_utilities, sbhl_marking_utilities.$sbhl_marked_in_target_space_p$UnaryFunction, sbhl_marking_utilities.$sbhl_predicate_unmarking_fn$BinaryFunction, sbhl_marking_utilities.$sbhl_predicate_unmarking_fn$UnaryFunction, sbhl_marking_vars, sbhl_module_declarations, sbhl_module_utilities, sbhl_module_vars, sbhl_module_vars.$get_sbhl_module$UnaryFunction, sbhl_module_vars.$get_sbhl_module$ZeroArityFunction, sbhl_module_vars.$sbhl_module_p$UnaryFunction, sbhl_paranoia, sbhl_search_datastructures, sbhl_search_datastructures.$sbhl_link_node_search_state_p$UnaryFunction, sbhl_search_datastructures.$sbhl_stack_p$UnaryFunction, sbhl_search_implied_relations, sbhl_search_methods, sbhl_search_methods.$sbhl_stop_at_horizon$UnaryFunction, sbhl_search_utilities, sbhl_search_utilities.$sbhl_check_cutoff$UnaryFunction, sbhl_search_utilities.$sbhl_consider_any_node$UnaryFunction, sbhl_search_utilities.$sbhl_node_locally_disjoint_with_self_p$UnaryFunction, sbhl_search_utilities.$sbhl_push_onto_result_if$UnaryFunction, sbhl_search_utilities.$sbhl_step_gather_disjoins$UnaryFunction, sbhl_search_vars, sbhl_search_vars.$relevant_sbhl_tv_is_general_tv$UnaryFunction, sbhl_search_what_mts, sbhl_search_what_mts.$sbhl_max_floor_mts$UnaryFunction, scientific_numbers, sdbc, sdbc.$sdbc_error_p$UnaryFunction, sdbc.$sql_connection_p$UnaryFunction, sdbc.$sql_result_set_p$UnaryFunction, sdbc.$sql_statement_p$UnaryFunction, sdbc.$sql_ticket_p$UnaryFunction, sdc, sdc.$any_sdc_wrtP$BinaryFunction, sdc.$sbhl_determine_sd_and_store_candidates$UnaryFunction, sdc.$sbhl_gather_sd_candidates$UnaryFunction, sdc.$sbhl_mark_sd_genls_isas$UnaryFunction, search, search.$search_node_p$UnaryFunction, search.$search_struc_p$UnaryFunction, secure_translation, secure_translation.$secure_id_database_p$UnaryFunction, Semaphores, Sequences, set, set_contents, set_contents.$set_contents_size$UnaryFunction, set_utilities, set.$cfasl_input_set$UnaryFunction, set.$set_p$UnaryFunction, shelfs, shelfs.$shelf_info_p$UnaryFunction, shelfs.$shelf_p$UnaryFunction, simple_indexing, simple_indexing.$matches_pragma_rule_index_test$BinaryFunction, simple_lru_cache_strategy, simple_lru_cache_strategy.$simple_lru_cache_strategy_p$UnaryFunction, simplification_modules, simplification_modules.$simplification_duplicate_literals_via_functionality_pos_lits_applicability$UnaryFunction, simplifier, simplifier.$nested_collectionsubsetfn_expressionP$UnaryFunction, simplifier.$simplify_cycl_sentence_int$BinaryFunction, simplifier.$simplify_cycl_sentence_int$UnaryFunction, skolems, sksi_macros, somewhere_cache, Sort, sparse_matrix, sparse_matrix.$sparse_matrix_p$UnaryFunction, sparse_vector, sparse_vector.$sparse_vector_p$UnaryFunction, special_variable_state, special_variable_state.$special_variable_state_p$UnaryFunction, stacks, stacks.$locked_stack_p$UnaryFunction, stacks.$stack_p$UnaryFunction, standard_tokenization, standard_tokenization.$dot_analysis_p$UnaryFunction, Storage, stream_buffer, stream_buffer.$stream_buffer_p$UnaryFunction, stream_buffer.$string_buffer_p$UnaryFunction, stream_macros, streams_high, StreamsLow, string_utilities, string_utilities.$char_in_char_set$UnaryFunction, string_utilities.$cyclify_status_p$UnaryFunction, string_utilities.$not_digit_char_p$UnaryFunction, string_utilities.$string_wXo_control_charsP$UnaryFunction, string_utilities.$whitespacep$UnaryFunction, Strings, Structures, subl_benchmarks, subl_identifier, subl_macro_promotions, subl_macros, subl_promotions, subl_promotions.$non_negative_integer_p$UnaryFunction, SubLBigIntBignum, SubLBroadcastStream, SubLCompiledFunction, SubLConsPair, SubLDoubleFloat, SubLFixnum, SubLInOutBinaryStreamImpl, SubLInOutTextStreamImpl, SubLInputBinaryStreamImpl, SubLInputTextStreamImpl, SubLIntegerBignum, SubLInterpretedFunction, SubLLongBignum, SubLOutputBinaryStreamImpl, SubLOutputTextStreamImpl, SubLParser, SubLProcess, SubLReader, SubLRegexPattern, SubLSocketStream, SubLSpecialOperatorDeclarations, SubLStreamFactory, SubLStructInterpreted, SubLSynonymStream, SubLThread, SubLTrampolineFile, SubLTranslatedFile, SubLVector, Sxhash, Symbols, system_benchmarks, system_info, system_parameters, system_translation, system_translation.$system_translation_p$UnaryFunction, system_version, SystemInfo, task_processor, task_processor.$task_info_p$UnaryFunction, task_processor.$task_process_pool_p$UnaryFunction, task_processor.$task_processor_p$UnaryFunction, task_processor.$task_result_set_p$UnaryFunction, Tcp, tcp_server_utilities, tcp_server_utilities.$tcp_server_p$UnaryFunction, term, term.$closed_nautP$BinaryFunction, term.$closed_nautP$UnaryFunction, term.$fast_reified_skolemP$UnaryFunction, term.$fast_skolem_natP$UnaryFunction, term.$kb_assertionP$UnaryFunction, term.$reified_skolem_constant_termP$UnaryFunction, term.$skolem_constantP$UnaryFunction, term.$unreified_skolem_termP$UnaryFunction, term.$var_specP$UnaryFunction, TernaryFunction, test_query_suite, test_query_suite.$test_query_suite_p$UnaryFunction, thread_macros, Threads, Time, time_high, timing, timing.$timing_info_p$UnaryFunction, tms, transcript_server, transcript_utilities, transform_list_utilities, transformation_module_tests, transformation_module_tests.$transformation_module_test_p$UnaryFunction, transformation_modules, transformation_modules.$trans_predicate_genlpreds_pos_cost$UnaryFunction, transformation_modules.$trans_predicate_genlpreds_pos_required$UnaryFunction, transformation_modules.$trans_predicate_genlpreds_pos_rule_select$UnaryFunction, transformation_modules.$trans_predicate_pos_cost$UnaryFunction, transformation_modules.$trans_predicate_pos_expand$BinaryFunction, transformation_modules.$trans_predicate_pos_required$UnaryFunction, transformation_modules.$trans_predicate_pos_rule_filter$BinaryFunction, transformation_modules.$trans_predicate_pos_rule_select$UnaryFunction, transformation_modules.$trans_predicate_symmetry_pos_cost$UnaryFunction, transformation_modules.$trans_predicate_symmetry_pos_expand$BinaryFunction, transformation_modules.$trans_predicate_symmetry_pos_rule_filter$BinaryFunction, transformation_modules.$trans_predicate_symmetry_pos_rule_select$UnaryFunction, transformation_modules.$trans_unbound_predicate_pos_cost$UnaryFunction, transformation_modules.$trans_unbound_predicate_pos_required$UnaryFunction, transformation_tactician_datastructures, transformation_tactician_datastructures.$transformation_strategy_data_p$UnaryFunction, transitivity, tries, tries.$trie_p$UnaryFunction, tva_cache, tva_cache.$tva_cache_p$UnaryFunction, tva_inference, tva_inference.$tva_inference_p$UnaryFunction, tva_strategy, tva_strategy.$tva_strategy_p$UnaryFunction, tva_tactic, tva_tactic.$tva_tactic_p$UnaryFunction, tva_utilities, tva_utilities.$clear_cached_some_cva_for_predicate$ZeroArityFunction, tva_utilities.$clear_cached_some_tva_for_predicate$ZeroArityFunction, tva_utilities.$clear_cached_tva_spec_preds_and_inverses$ZeroArityFunction, tva_utilities.$some_conservative_via_arg_assertionP$UnaryFunction, tva_utilities.$some_transitive_via_arg_assertionP$UnaryFunction, tva_utilities.$tva_assertion_p$UnaryFunction, Types, UnaryFunction, uncanonicalizer, uncanonicalizer.$fast_fi_not_el_termP$UnaryFunction, uncanonicalizer.$potentially_interestingly_uncanonicalizable_tense_termP$UnaryFunction, unicode_streams, unicode_streams.$utf8_stream_p$UnaryFunction, unicode_strings, unicode_strings.$unicode_char_p$UnaryFunction, unicode_strings.$unicode_string_p$UnaryFunction, unicode_subsets, unification, unification_utilities, unification_utilities.$unify_clause$BinaryFunction, unification.$base_variable_p$UnaryFunction, unification.$variable_non_base_version$UnaryFunction, UnitTest, UnitTest_CycLTiny, UnitTest.SubLFile_Test, unrepresented_term_index_manager, unrepresented_terms, user_actions, user_actions.$action_type_p$UnaryFunction, user_actions.$user_action_p$UnaryFunction, UserIO, utilities_macros, value_tables, value_tables.$value_table_column_p$UnaryFunction, value_tables.$value_table_p$UnaryFunction, value_tables.$variable_mapping_table_p$UnaryFunction, Values, variables, variables.$fully_bound_p$UnaryFunction, variables.$not_fully_bound_p$UnaryFunction, variables.$sxhash_variable_method$UnaryFunction, variables.$variable_L$BinaryFunction, variables.$variable_p$UnaryFunction, vector_utilities, Vectors, verbosifier, verbosifier.$expandible_el_relation_expressionP$BinaryFunction, verbosifier.$expandible_el_relation_expressionP$UnaryFunction, virtual_indexing, visitation, web_utilities, web_utilities.$html_url_expand_char$UnaryFunction, web_utilities.$url_p$UnaryFunction, web_utilities.$xml_token_iterator_state_p$UnaryFunction, web_utilities.$xml_token_mentions$BinaryFunction, wff, wff_macros, wff_module_datastructures, wff_module_datastructures.$wff_module_p$UnaryFunction, wff_utilities, wff_utilities.$non_wf_fort_p$UnaryFunction, wff_utilities.$non_wf_variable_p$UnaryFunction, wff_vars, wff.$clear_mal_actual_arity_cachedP$ZeroArityFunction, xml_utilities, xref_database, xref_database.$xref_module_p$UnaryFunction, xref_database.$xref_system_p$UnaryFunction, ZeroArityFunction

public interface CommonSymbols

Author:

Tony Brusseau

Field Summary

static SubLSymbol	ANSWER_TAG
static SubLSymbol	APPEND_KEYWORD
static SubLSymbol	APPEND_STACK_TRACES_TO_ERROR_MESSAGES
static SubLSymbol	AREF
static SubLSymbol	ASSEMBLE_FIXNUMS_TO_INTEGER
static SubLSymbol	ATOM
static SubLSymbol	BIGNUMP
static SubLSymbol	BINARY_KEYWORD
static SubLSymbol	BINDING_TYPE
static SubLSymbol	BOOLEANP
static SubLSymbol	CAAR
static SubLSymbol	CADR
static SubLSymbol	CAND
static SubLSymbol	CAR
static SubLSymbol	CCATCH
static SubLSymbol	CDEC
static SubLSymbol	CDESTRUCTURING_BIND
static SubLSymbol	CDO
static SubLSymbol	CDO_ALL_SYMBOLS
static SubLSymbol	CDO_EXTERNAL_SYMBOLS
static SubLSymbol	CDO_SYMBOLS
static SubLSymbol	CDOHASH
static SubLSymbol	CDOLIST
static SubLSymbol	CDOTIMES
static SubLSymbol	CDR
static SubLSymbol	CHAR
static SubLSymbol	CHAR_E_SYMBOL
static SubLSymbol	CHAR_EQUAL_SYMBOL
static SubLSymbol	CHAR_GREATER_THAN_OR_EQUAL_SYMBOL
static SubLSymbol	CHAR_GREATER_THAN_SYMBOL
static SubLSymbol	CHAR_GT_SYMBOL
static SubLSymbol	CHAR_GTE_SYMBOL
static SubLSymbol	CHAR_LESS_THAN_OR_EQUAL_SYMBOL
static SubLSymbol	CHAR_LESS_THAN_SYMBOL
static SubLSymbol	CHAR_LT_SYMBOL
static SubLSymbol	CHAR_LTE_SYMBOL
static SubLSymbol	CHAR_NE_SYMBOL
static SubLSymbol	CHAR_NOT_EQUAL_SYMBOL
static SubLSymbol	CHARACTERP
static SubLSymbol	CHECK_TYPE
static SubLSymbol	CINC
static SubLSymbol	CLET
static SubLSymbol	CMULTIPLE_VALUE_BIND
static SubLSymbol	CNOT
static SubLSymbol	CONS
static SubLSymbol	CONSP
static SubLSymbol	CONSTANT
static SubLSymbol	COR
static SubLSymbol	CPOP
static SubLSymbol	CPROGV
static SubLSymbol	CPUSH
static SubLSymbol	CPUSHNEW
static SubLSymbol	CREATE_KEYWORD
static SubLSymbol	CSETF
static SubLSymbol	CSETQ
static SubLSymbol	CSOME
static SubLSymbol	CTIME
static SubLSymbol	CUNWIND_PROTECT
static SubLSymbol	CVS_ID
static SubLSymbol	DEBUG_IO
static SubLSymbol	DECLAIM
static SubLSymbol	DECLARE
static SubLSymbol	DEFCONSTANT
static SubLSymbol	DEFINE
static SubLSymbol	DEFLEXICAL
static SubLSymbol	DEFMACRO
static SubLSymbol	DEFPARAMETER
static SubLSymbol	DEFVAR
static SubLSymbol	DIRECTION_KEYWORD
static SubLSymbol	DYNAMIC
static SubLFixnum	EIGHT_INTEGER
static SubLFixnum	EIGHTEEN_INTEGER
static SubLSymbol	ELEMENT_TYPE_KEYWORD
static SubLFixnum	ELEVEN_INTEGER
static SubLSymbol	END_KEYWORD
static SubLSymbol	ENFORCE_MUST
static SubLSymbol	ENFORCE_TYPE
static SubLSymbol	EQ
static SubLSymbol	EQL
static SubLSymbol	EQUAL
static SubLSymbol	EQUALP
static SubLSymbol	ERROR
static SubLSymbol	ERROR_KEYWORD
static SubLSymbol	ERROR_OUTPUT
static SubLSymbol	EVAL
static SubLSymbol	EXTERNAL_FORMAT_KEYWORD
static SubLSymbol	EXTERNAL_KEYWORD
static SubLSymbol	FIF
static SubLFixnum	FIFTEEN_INTEGER
static SubLSymbol	FIRST
static SubLFixnum	FIVE_INTEGER
static SubLSymbol	FIXNUMP
static SubLSymbol	FLOATP
static SubLFixnum	FOUR_INTEGER
static SubLFixnum	FOURTEEN_INTEGER
static SubLSymbol	FUNCTION
static SubLSymbol	FUNCTION_SPEC_P
static SubLSymbol	FUNCTIONP
static SubLSymbol	FUNLESS
static SubLSymbol	FWHEN
static SubLSymbol	GET
static SubLSymbol	GETHASH
static SubLSymbol	GETHASH_WITHOUT_VALUES
static SubLSymbol	GUID_P
static SubLSymbol	HASH_TABLE_ITERATOR_P
static SubLSymbol	HASH_TABLE_P
static SubLSymbol	IDENTITY
static SubLSymbol	IF_DOES_NOT_EXIST_KEYWORD
static SubLSymbol	IF_EXISTS_KEYWORD
static SubLSymbol	IGNORE
static SubLSymbol	INITIALIZATION_TYPE
static SubLSymbol	INITIALIZER
static SubLSymbol	INPUT_KEYWORD
static SubLSymbol	INPUT_STREAM_P
static SubLSymbol	INTEGERP
static SubLSymbol	INTERNAL_KEYWORD
static SubLSymbol	IO_KEYWORD
static SubLSymbol	KEYWORDP
static SubLSymbol	KILL_KEYWORD
static SubLSymbol	LAMBDA_SYMBOL
static SubLSymbol	LEXICAL
static SubLSymbol	LIST
static SubLSymbol	LISTP
static SubLSymbol	LISTS
static SubLSymbol	LOCK_P
static SubLSymbol	LONG_BIGNUM_P
static SubLSymbol	MACRO_ENV
static SubLSymbol	MACRO_FORM
static SubLSymbol	MEDIUM_BIGNUM_P
static SubLSymbol	MEMBER
static SubLFixnum	MINUS_ONE_INTEGER
static SubLSymbol	MULTIPLE_VALUE_LIST
static SubLSymbol	MUST
static SubLSymbol	NCONC
static SubLSymbol	NEW_VERSION_KEYWORD
static SubLNil	NIL
static SubLFixnum	NINE_INTEGER
static SubLFixnum	NINETEEN_INTEGER
static SubLSymbol	NREVERSE
static SubLSymbol	NTH
static SubLSymbol	NTH_VALUE
static SubLSymbol	NULL
static SubLSymbol	NULL_INPUT
static SubLSymbol	NULL_OUTPUT
static SubLSymbol	NUM_E_SYMBOL
static SubLSymbol	NUM_GT_SYMBOL
static SubLSymbol	NUM_GTE_SYMBOL
static SubLSymbol	NUM_LT_SYMBOL
static SubLSymbol	NUM_LTE_SYMBOL
static SubLSymbol	NUM_NE_SYMBOL
static SubLSymbol	NUMBERP
static SubLFixnum	ONE_HUNDRED_THIRTY_SEVEN_INTEGER
static SubLFixnum	ONE_HUNDRED_TWENTY_SEVEN_INTEGER
static SubLFixnum	ONE_INTEGER
static SubLFixnum	ONE_THOUSAND_INTEGER
static SubLSymbol	OPTIONAL_SYMBOL
static SubLSymbol	OTHERWISE
static SubLSymbol	OUTPUT_KEYWORD
static SubLSymbol	OUTPUT_STREAM_P
static SubLSymbol	OVERWRITE_KEYWORD
static SubLSymbol	PACKAGEP
static SubLSymbol	PCASE
static SubLSymbol	PCOND
static SubLSymbol	PIF
static SubLSymbol	PROBE_KEYWORD
static int	PROCESS_TO_END
static SubLSymbol	PROCESSP
static SubLSymbol	PROCLAIM
static SubLSymbol	PROGN
static SubLSymbol	PUNLESS
static SubLSymbol	PWHEN
static SubLSymbol	QUERY_IO
static SubLSymbol	QUIT
static SubLSymbol	QUOTE
static SubLSymbol	RENAME_AND_DELETE_KEYWORD
static SubLSymbol	REST_SYMBOL
static SubLSymbol	RET
static SubLObject	RET_NIL
static SubLObject	RET_T
static SubLSymbol	RETURN_TAG
static SubLSymbol	REVERSE
static SubLSymbol	RW_LOCK_P
static SubLSymbol	SECOND
static SubLSymbol	SEQUENCEP
static SubLFixnum	SEVEN_INTEGER
static SubLFixnum	SEVENTEEN_INTEGER
static SubLSymbol	SHORT_BIGNUM_P
static SubLSymbol	SHOW_STACK_TRACES
static SubLFixnum	SIX_INTEGER
static SubLFixnum	SIXTEEN_INTEGER
static SubLFixnum	SIXTY_FOUR_INTEGER
static SubLSymbol	SORT
static SubLSymbol	SSS
static SubLSymbol	STANDARD_INPUT
static SubLSymbol	STANDARD_OUTPUT
static SubLSymbol	START_KEYWORD
static SubLSymbol	STREAMP
static SubLSymbol	STRING_E_SYMBOL
static SubLSymbol	STRING_EQUAL_SYMBOL
static SubLSymbol	STRING_GREATER_THAN_OR_EQUAL_SYMBOL
static SubLSymbol	STRING_GREATER_THAN_SYMBOL
static SubLSymbol	STRING_GT_SYMBOL
static SubLSymbol	STRING_GTE_SYMBOL
static SubLSymbol	STRING_LESS_THAN_OR_EQUAL_SYMBOL
static SubLSymbol	STRING_LESS_THAN_SYMBOL
static SubLSymbol	STRING_LT_SYMBOL
static SubLSymbol	STRING_LTE_SYMBOL
static SubLSymbol	STRING_NE_SYMBOL
static SubLSymbol	STRING_NOT_EQUAL_SYMBOL
static SubLSymbol	STRINGP
static SubLSymbol	STRUCTURE_P
static SubLSymbol	SUPERSEDE_KEYWORD
static SubLSymbol	SUSPEND_TYPE_CHECKING
static SubLSymbol	SYMBOL_FUNCTION
static SubLSymbol	SYMBOL_VALUE
static SubLSymbol	SYMBOLP
static SubLT	T
static SubLFixnum	TEN_INTEGER
static SubLSymbol	TERMINAL_IO
static SubLSymbol	TEXT_KEYWORD
static SubLFixnum	THIRTEEN_INTEGER
static SubLFixnum	THIRTY_FOUR_INTEGER
static SubLFixnum	THIRTY_THREE_INTEGER
static SubLFixnum	THIRTY_TWO_INTEGER
static SubLFixnum	THREE_INTEGER
static SubLSymbol	TRACE_OUTPUT
static SubLSymbol	TRUE
static SubLFixnum	TWELVE_INTEGER
static SubLFixnum	TWENTY_INTEGER
static SubLFixnum	TWO_HUNDRED_FIFTY_FOUR_INTEGER
static SubLFixnum	TWO_HUNDRED_FORTY_FOUR_INTEGER
static SubLFixnum	TWO_INTEGER
static SubLSymbol	UNDECLARED
static SubLSymbol	UNPROVIDED
static SubLSymbol	VALUES
static SubLSymbol	VECTOR
static SubLSymbol	VECTORP
static SubLSymbol	WITH_ERROR_HANDLER
static SubLSymbol	WITH_STATIC_AREA
static SubLSymbol	WITH_THREAD_PRIVATE_AREA
static SubLSymbol	WITH_WORKING_AREA
static SubLSymbol	WORLD
static SubLDoubleFloat	ZERO_DOUBLE
static SubLFixnum	ZERO_INTEGER

Field Detail

T

static final SubLT T

RET_T

static final SubLObject RET_T

NIL

static final SubLNil NIL

RET_NIL

static final SubLObject RET_NIL

EQ

static final SubLSymbol EQ

EQL

static final SubLSymbol EQL

EQUAL

static final SubLSymbol EQUAL

EQUALP

static final SubLSymbol EQUALP

MINUS_ONE_INTEGER

static final SubLFixnum MINUS_ONE_INTEGER

ZERO_DOUBLE

static final SubLDoubleFloat ZERO_DOUBLE

ZERO_INTEGER

static final SubLFixnum ZERO_INTEGER

ONE_INTEGER

static final SubLFixnum ONE_INTEGER

TWO_INTEGER

static final SubLFixnum TWO_INTEGER

THREE_INTEGER

static final SubLFixnum THREE_INTEGER

FOUR_INTEGER

static final SubLFixnum FOUR_INTEGER

FIVE_INTEGER

static final SubLFixnum FIVE_INTEGER

SIX_INTEGER

static final SubLFixnum SIX_INTEGER

SEVEN_INTEGER

static final SubLFixnum SEVEN_INTEGER

EIGHT_INTEGER

static final SubLFixnum EIGHT_INTEGER

NINE_INTEGER

static final SubLFixnum NINE_INTEGER

TEN_INTEGER

static final SubLFixnum TEN_INTEGER

ELEVEN_INTEGER

static final SubLFixnum ELEVEN_INTEGER

TWELVE_INTEGER

static final SubLFixnum TWELVE_INTEGER

THIRTEEN_INTEGER

static final SubLFixnum THIRTEEN_INTEGER

FOURTEEN_INTEGER

static final SubLFixnum FOURTEEN_INTEGER

FIFTEEN_INTEGER

static final SubLFixnum FIFTEEN_INTEGER

SIXTEEN_INTEGER

static final SubLFixnum SIXTEEN_INTEGER

SEVENTEEN_INTEGER

static final SubLFixnum SEVENTEEN_INTEGER

EIGHTEEN_INTEGER

static final SubLFixnum EIGHTEEN_INTEGER

NINETEEN_INTEGER

static final SubLFixnum NINETEEN_INTEGER

TWENTY_INTEGER

static final SubLFixnum TWENTY_INTEGER

THIRTY_TWO_INTEGER

static final SubLFixnum THIRTY_TWO_INTEGER

THIRTY_THREE_INTEGER

static final SubLFixnum THIRTY_THREE_INTEGER

THIRTY_FOUR_INTEGER

static final SubLFixnum THIRTY_FOUR_INTEGER

SIXTY_FOUR_INTEGER

static final SubLFixnum SIXTY_FOUR_INTEGER

ONE_HUNDRED_TWENTY_SEVEN_INTEGER

static final SubLFixnum ONE_HUNDRED_TWENTY_SEVEN_INTEGER

ONE_HUNDRED_THIRTY_SEVEN_INTEGER

static final SubLFixnum ONE_HUNDRED_THIRTY_SEVEN_INTEGER

TWO_HUNDRED_FORTY_FOUR_INTEGER

static final SubLFixnum TWO_HUNDRED_FORTY_FOUR_INTEGER

TWO_HUNDRED_FIFTY_FOUR_INTEGER

static final SubLFixnum TWO_HUNDRED_FIFTY_FOUR_INTEGER

ONE_THOUSAND_INTEGER

static final SubLFixnum ONE_THOUSAND_INTEGER

BINDING_TYPE

static final SubLSymbol BINDING_TYPE

LEXICAL

static final SubLSymbol LEXICAL

CONSTANT

static final SubLSymbol CONSTANT

DYNAMIC

static final SubLSymbol DYNAMIC

UNDECLARED

static final SubLSymbol UNDECLARED

INITIALIZATION_TYPE

static final SubLSymbol INITIALIZATION_TYPE

INITIALIZER

static final SubLSymbol INITIALIZER

WORLD

static final SubLSymbol WORLD

UNPROVIDED

static final SubLSymbol UNPROVIDED

OPTIONAL_SYMBOL

static final SubLSymbol OPTIONAL_SYMBOL

REST_SYMBOL

static final SubLSymbol REST_SYMBOL

RETURN_TAG

static final SubLSymbol RETURN_TAG

ANSWER_TAG

static final SubLSymbol ANSWER_TAG

SUSPEND_TYPE_CHECKING

static final SubLSymbol SUSPEND_TYPE_CHECKING

OTHERWISE

static final SubLSymbol OTHERWISE

CDESTRUCTURING_BIND

static final SubLSymbol CDESTRUCTURING_BIND

MACRO_FORM

static final SubLSymbol MACRO_FORM

MACRO_ENV

static final SubLSymbol MACRO_ENV

SHOW_STACK_TRACES

static final SubLSymbol SHOW_STACK_TRACES

APPEND_STACK_TRACES_TO_ERROR_MESSAGES

static final SubLSymbol APPEND_STACK_TRACES_TO_ERROR_MESSAGES

EXTERNAL_KEYWORD

static final SubLSymbol EXTERNAL_KEYWORD

INTERNAL_KEYWORD

static final SubLSymbol INTERNAL_KEYWORD

ERROR

static final SubLSymbol ERROR

NCONC

static final SubLSymbol NCONC

CAAR

static final SubLSymbol CAAR

CADR

static final SubLSymbol CADR

VALUES

static final SubLSymbol VALUES

TRUE

static final SubLSymbol TRUE

KILL_KEYWORD

static final SubLSymbol KILL_KEYWORD

LIST

static final SubLSymbol LIST

LISTS

static final SubLSymbol LISTS

SSS

static final SubLSymbol SSS

IDENTITY

static final SubLSymbol IDENTITY

MEMBER

static final SubLSymbol MEMBER

SYMBOL_FUNCTION

static final SubLSymbol SYMBOL_FUNCTION

LAMBDA_SYMBOL

static final SubLSymbol LAMBDA_SYMBOL

NUM_E_SYMBOL

static final SubLSymbol NUM_E_SYMBOL

NUM_NE_SYMBOL

static final SubLSymbol NUM_NE_SYMBOL

NUM_GT_SYMBOL

static final SubLSymbol NUM_GT_SYMBOL

NUM_LT_SYMBOL

static final SubLSymbol NUM_LT_SYMBOL

NUM_GTE_SYMBOL

static final SubLSymbol NUM_GTE_SYMBOL

NUM_LTE_SYMBOL

static final SubLSymbol NUM_LTE_SYMBOL

STRING_E_SYMBOL

static final SubLSymbol STRING_E_SYMBOL

STRING_NE_SYMBOL

static final SubLSymbol STRING_NE_SYMBOL

STRING_GT_SYMBOL

static final SubLSymbol STRING_GT_SYMBOL

STRING_LT_SYMBOL

static final SubLSymbol STRING_LT_SYMBOL

STRING_GTE_SYMBOL

static final SubLSymbol STRING_GTE_SYMBOL

STRING_LTE_SYMBOL

static final SubLSymbol STRING_LTE_SYMBOL

STRING_EQUAL_SYMBOL

static final SubLSymbol STRING_EQUAL_SYMBOL

STRING_NOT_EQUAL_SYMBOL

static final SubLSymbol STRING_NOT_EQUAL_SYMBOL

STRING_GREATER_THAN_SYMBOL

static final SubLSymbol STRING_GREATER_THAN_SYMBOL

STRING_LESS_THAN_SYMBOL

static final SubLSymbol STRING_LESS_THAN_SYMBOL

STRING_GREATER_THAN_OR_EQUAL_SYMBOL

static final SubLSymbol STRING_GREATER_THAN_OR_EQUAL_SYMBOL

STRING_LESS_THAN_OR_EQUAL_SYMBOL

static final SubLSymbol STRING_LESS_THAN_OR_EQUAL_SYMBOL

CHAR_EQUAL_SYMBOL

static final SubLSymbol CHAR_EQUAL_SYMBOL

CHAR_NOT_EQUAL_SYMBOL

static final SubLSymbol CHAR_NOT_EQUAL_SYMBOL

CHAR_GREATER_THAN_SYMBOL

static final SubLSymbol CHAR_GREATER_THAN_SYMBOL

CHAR_LESS_THAN_SYMBOL

static final SubLSymbol CHAR_LESS_THAN_SYMBOL

CHAR_GREATER_THAN_OR_EQUAL_SYMBOL

static final SubLSymbol CHAR_GREATER_THAN_OR_EQUAL_SYMBOL

CHAR_LESS_THAN_OR_EQUAL_SYMBOL

static final SubLSymbol CHAR_LESS_THAN_OR_EQUAL_SYMBOL

CHAR_E_SYMBOL

static final SubLSymbol CHAR_E_SYMBOL

CHAR_NE_SYMBOL

static final SubLSymbol CHAR_NE_SYMBOL

CHAR_GT_SYMBOL

static final SubLSymbol CHAR_GT_SYMBOL

CHAR_LT_SYMBOL

static final SubLSymbol CHAR_LT_SYMBOL

CHAR_GTE_SYMBOL

static final SubLSymbol CHAR_GTE_SYMBOL

CHAR_LTE_SYMBOL

static final SubLSymbol CHAR_LTE_SYMBOL

CAR

static final SubLSymbol CAR

CDR

static final SubLSymbol CDR

NTH

static final SubLSymbol NTH

GETHASH

static final SubLSymbol GETHASH

GETHASH_WITHOUT_VALUES

static final SubLSymbol GETHASH_WITHOUT_VALUES

FIRST

static final SubLSymbol FIRST

SECOND

static final SubLSymbol SECOND

REVERSE

static final SubLSymbol REVERSE

NREVERSE

static final SubLSymbol NREVERSE

EVAL

static final SubLSymbol EVAL

CONS

static final SubLSymbol CONS

CHAR

static final SubLSymbol CHAR

AREF

static final SubLSymbol AREF

GET

static final SubLSymbol GET

VECTOR

static final SubLSymbol VECTOR

SYMBOL_VALUE

static final SubLSymbol SYMBOL_VALUE

ASSEMBLE_FIXNUMS_TO_INTEGER

static final SubLSymbol ASSEMBLE_FIXNUMS_TO_INTEGER

SORT

static final SubLSymbol SORT

DEFINE

static final SubLSymbol DEFINE

DEFMACRO

static final SubLSymbol DEFMACRO

DEFCONSTANT

static final SubLSymbol DEFCONSTANT

DEFPARAMETER

static final SubLSymbol DEFPARAMETER

DEFVAR

static final SubLSymbol DEFVAR

DEFLEXICAL

static final SubLSymbol DEFLEXICAL

PROGN

static final SubLSymbol PROGN

PIF

static final SubLSymbol PIF

PWHEN

static final SubLSymbol PWHEN

PUNLESS

static final SubLSymbol PUNLESS

PCOND

static final SubLSymbol PCOND

PCASE

static final SubLSymbol PCASE

CSETQ

static final SubLSymbol CSETQ

CSETF

static final SubLSymbol CSETF

CINC

static final SubLSymbol CINC

CDEC

static final SubLSymbol CDEC

CPUSH

static final SubLSymbol CPUSH

CPUSHNEW

static final SubLSymbol CPUSHNEW

CPOP

static final SubLSymbol CPOP

CLET

static final SubLSymbol CLET

CPROGV

static final SubLSymbol CPROGV

CMULTIPLE_VALUE_BIND

static final SubLSymbol CMULTIPLE_VALUE_BIND

MULTIPLE_VALUE_LIST

static final SubLSymbol MULTIPLE_VALUE_LIST

NTH_VALUE

static final SubLSymbol NTH_VALUE

CDO

static final SubLSymbol CDO

CDOTIMES

static final SubLSymbol CDOTIMES

CDOLIST

static final SubLSymbol CDOLIST

CSOME

static final SubLSymbol CSOME

CDOHASH

static final SubLSymbol CDOHASH

CDO_SYMBOLS

static final SubLSymbol CDO_SYMBOLS

CDO_ALL_SYMBOLS

static final SubLSymbol CDO_ALL_SYMBOLS

CDO_EXTERNAL_SYMBOLS

static final SubLSymbol CDO_EXTERNAL_SYMBOLS

CCATCH

static final SubLSymbol CCATCH

CUNWIND_PROTECT

static final SubLSymbol CUNWIND_PROTECT

CTIME

static final SubLSymbol CTIME

RET

static final SubLSymbol RET

ENFORCE_TYPE

static final SubLSymbol ENFORCE_TYPE

CHECK_TYPE

static final SubLSymbol CHECK_TYPE

ENFORCE_MUST

static final SubLSymbol ENFORCE_MUST

MUST

static final SubLSymbol MUST

CNOT

static final SubLSymbol CNOT

CAND

static final SubLSymbol CAND

COR

static final SubLSymbol COR

FIF

static final SubLSymbol FIF

FWHEN

static final SubLSymbol FWHEN

FUNLESS

static final SubLSymbol FUNLESS

IGNORE

static final SubLSymbol IGNORE

CVS_ID

static final SubLSymbol CVS_ID

DECLARE

static final SubLSymbol DECLARE

DECLAIM

static final SubLSymbol DECLAIM

PROCLAIM

static final SubLSymbol PROCLAIM

QUOTE

static final SubLSymbol QUOTE

FUNCTION

static final SubLSymbol FUNCTION

WITH_ERROR_HANDLER

static final SubLSymbol WITH_ERROR_HANDLER

WITH_STATIC_AREA

static final SubLSymbol WITH_STATIC_AREA

WITH_THREAD_PRIVATE_AREA

static final SubLSymbol WITH_THREAD_PRIVATE_AREA

WITH_WORKING_AREA

static final SubLSymbol WITH_WORKING_AREA

QUIT

static final SubLSymbol QUIT

NULL

static final SubLSymbol NULL

BOOLEANP

static final SubLSymbol BOOLEANP

SYMBOLP

static final SubLSymbol SYMBOLP

ATOM

static final SubLSymbol ATOM

CONSP

static final SubLSymbol CONSP

LISTP

static final SubLSymbol LISTP

SEQUENCEP

static final SubLSymbol SEQUENCEP

NUMBERP

static final SubLSymbol NUMBERP

FIXNUMP

static final SubLSymbol FIXNUMP

BIGNUMP

static final SubLSymbol BIGNUMP

SHORT_BIGNUM_P

static final SubLSymbol SHORT_BIGNUM_P

MEDIUM_BIGNUM_P

static final SubLSymbol MEDIUM_BIGNUM_P

LONG_BIGNUM_P

static final SubLSymbol LONG_BIGNUM_P

INTEGERP

static final SubLSymbol INTEGERP

FLOATP

static final SubLSymbol FLOATP

CHARACTERP

static final SubLSymbol CHARACTERP

STRINGP

static final SubLSymbol STRINGP

VECTORP

static final SubLSymbol VECTORP

FUNCTIONP

static final SubLSymbol FUNCTIONP

FUNCTION_SPEC_P

static final SubLSymbol FUNCTION_SPEC_P

PROCESSP

static final SubLSymbol PROCESSP

LOCK_P

static final SubLSymbol LOCK_P

RW_LOCK_P

static final SubLSymbol RW_LOCK_P

HASH_TABLE_P

static final SubLSymbol HASH_TABLE_P

STRUCTURE_P

static final SubLSymbol STRUCTURE_P

PACKAGEP

static final SubLSymbol PACKAGEP

GUID_P

static final SubLSymbol GUID_P

HASH_TABLE_ITERATOR_P

static final SubLSymbol HASH_TABLE_ITERATOR_P

STREAMP

static final SubLSymbol STREAMP

INPUT_STREAM_P

static final SubLSymbol INPUT_STREAM_P

OUTPUT_STREAM_P

static final SubLSymbol OUTPUT_STREAM_P

KEYWORDP

static final SubLSymbol KEYWORDP

ELEMENT_TYPE_KEYWORD

static final SubLSymbol ELEMENT_TYPE_KEYWORD

TEXT_KEYWORD

static final SubLSymbol TEXT_KEYWORD

BINARY_KEYWORD

static final SubLSymbol BINARY_KEYWORD

DIRECTION_KEYWORD

static final SubLSymbol DIRECTION_KEYWORD

INPUT_KEYWORD

static final SubLSymbol INPUT_KEYWORD

OUTPUT_KEYWORD

static final SubLSymbol OUTPUT_KEYWORD

IO_KEYWORD

static final SubLSymbol IO_KEYWORD

PROBE_KEYWORD

static final SubLSymbol PROBE_KEYWORD

IF_EXISTS_KEYWORD

static final SubLSymbol IF_EXISTS_KEYWORD

IF_DOES_NOT_EXIST_KEYWORD

static final SubLSymbol IF_DOES_NOT_EXIST_KEYWORD

ERROR_KEYWORD

static final SubLSymbol ERROR_KEYWORD

NEW_VERSION_KEYWORD

static final SubLSymbol NEW_VERSION_KEYWORD

RENAME_AND_DELETE_KEYWORD

static final SubLSymbol RENAME_AND_DELETE_KEYWORD

OVERWRITE_KEYWORD

static final SubLSymbol OVERWRITE_KEYWORD

APPEND_KEYWORD

static final SubLSymbol APPEND_KEYWORD

SUPERSEDE_KEYWORD

static final SubLSymbol SUPERSEDE_KEYWORD

CREATE_KEYWORD

static final SubLSymbol CREATE_KEYWORD

EXTERNAL_FORMAT_KEYWORD

static final SubLSymbol EXTERNAL_FORMAT_KEYWORD

START_KEYWORD

static final SubLSymbol START_KEYWORD

END_KEYWORD

static final SubLSymbol END_KEYWORD

TERMINAL_IO

static final SubLSymbol TERMINAL_IO

STANDARD_INPUT

static final SubLSymbol STANDARD_INPUT

STANDARD_OUTPUT

static final SubLSymbol STANDARD_OUTPUT

ERROR_OUTPUT

static final SubLSymbol ERROR_OUTPUT

DEBUG_IO

static final SubLSymbol DEBUG_IO

NULL_INPUT

static final SubLSymbol NULL_INPUT

NULL_OUTPUT

static final SubLSymbol NULL_OUTPUT

QUERY_IO

static final SubLSymbol QUERY_IO

TRACE_OUTPUT

static final SubLSymbol TRACE_OUTPUT

PROCESS_TO_END

static final int PROCESS_TO_END

See Also:

Constant Field Values