All Classes

abnormal AbstractRandomAccessSubLStream AbstractSubLArraySequence AbstractSubLBinaryStream AbstractSubLFloat AbstractSubLFunction AbstractSubLInteger AbstractSubLIntegerBignum AbstractSubLList AbstractSubLNumber AbstractSubLObject AbstractSubLOperator AbstractSubLPatcher AbstractSubLSequence AbstractSubLStream AbstractSubLStruct AbstractSubLSymbol AbstractSubLTextStream access_macros accumulation accumulation.$accumulator_native 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_native 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 ASCII_CharStream ask_utilities assertion_handles assertion_handles.$assertion_native 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_native 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 AttributeValueMap auxiliary_indexing backward backward_results backward_utilities bag bag.$bag_native bag.$bag_p$UnaryFunction balancing_tactician balancing_tactician.$balancing_tactician_data_native balancing_tactician.$balancing_tactician_data_p$UnaryFunction bijection bijection.$bijection_native bijection.$bijection_p$UnaryFunction binary_tree binary_tree.$avl_tree_native binary_tree.$avl_tree_node_native binary_tree.$avl_tree_node_p$UnaryFunction binary_tree.$avl_tree_p$UnaryFunction binary_tree.$btree_native binary_tree.$btree_p$UnaryFunction binary_tree.$cfasl_input_avl_tree_node$UnaryFunction BinaryFunction Binding bindings bindings.$binding_p$UnaryFunction bindings.$inference_binding_p$UnaryFunction bindings.$subst_bindings$BinaryFunction bindings.$variable_binding_value$UnaryFunction bindings.$variable_binding_variable$UnaryFunction BindingSet bookkeeping_store BooleanInformationSet BooleanInformationSetImpl BooleanXmlVariableBinding builder_utilities bytes c_backend c_name_translation cache cache.$cache_entry_native cache.$cache_entry_p$UnaryFunction cache.$cache_native cache.$cache_p$UnaryFunction cache_utilities cache_utilities.$cache_metrics_native cache_utilities.$cache_metrics_p$UnaryFunction cache_utilities.$metered_cache_native cache_utilities.$metered_cache_p$UnaryFunction cache_utilities.$recording_cache_strategy_facade_native cache_utilities.$recording_cache_strategy_facade_p$UnaryFunction canon_tl canon_tl.$tl_termP$UnaryFunction cardinality_estimates cardinality_estimates.$generality_estimate$UnaryFunction CatchableThrow cdestructuring_bind cfasl cfasl.$cfasl_count_stream_native cfasl.$cfasl_count_stream_p$UnaryFunction cfasl.$cfasl_decoding_stream_native cfasl.$cfasl_decoding_stream_p$UnaryFunction cfasl.$cfasl_encoding_stream_native 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 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 character_names Characters CheatingInMemoryObjectStore clause_strucs clause_strucs.$clause_struc_native 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 CloseableIterator 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 CommonSymbols ComparatorGenericKey ComparatorIdentityKey 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_native 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 Convert ctest_utils cyc_bookkeeping cyc_kernel cyc_revision_extraction cyc_testing cyc_testing.$cyc_test_file_native cyc_testing.$cyc_test_file_p$UnaryFunction cyc_testing.$cyc_test_native cyc_testing.$cyc_test_p$UnaryFunction cyc_testing_initialization 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_native 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_native cycml_generator.$cycml_kp_info_p$UnaryFunction CycUtil czer_graph czer_graph.$arc_native czer_graph.$arc_p$UnaryFunction czer_graph.$graph_search_node_native czer_graph.$graph_search_node_p$UnaryFunction czer_graph.$v_colour_native czer_graph.$v_colour_p$UnaryFunction czer_graph.$vertex_native 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 DataFactory DataFactoryImpl DataLayerService DataSet DataSetImpl DatasetImplSerializationProxy deck deck.$deck_native deck.$deck_p$UnaryFunction deduction_handles deduction_handles.$deduction_native deduction_handles.$deduction_p$UnaryFunction deduction_handles.$sxhash_deduction_method$UnaryFunction deduction_manager deductions_high deductions_interface deductions_low deductions_low.$deduction_content_native deductions_low.$deduction_content_p$UnaryFunction defns defns.$admitting_defn_assertions$UnaryFunction defns.$col_defn_admitsP$UnaryFunction dictionary dictionary.$cfasl_input_dictionary$UnaryFunction dictionary.$dictionary_native dictionary.$dictionary_p$UnaryFunction dictionary_contents dictionary_utilities dictionary_utilities.$synchronized_dictionary_native dictionary_utilities.$synchronized_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 Endpoint EndpointException EndpointFactory EndpointInitalizationException EndpointNode EndpointResource EndpointResourceImpl EndpointResourceTest EndpointShutdownException enumeration_types Environment environment Equality equality_store equals Errors Errors.Restarter Errors.RestartMethod Eval eval_in_api eval_in_api_registrations evaluatable_relation_tests evaluatable_relation_tests.$ert_id$UnaryFunction evaluatable_relation_tests.$evaluatable_relation_test_native evaluatable_relation_tests.$evaluatable_relation_test_p$UnaryFunction evaluation_defns evaluation_defns.$cyc_different$UnaryFunction ExceptionFactory Executor ExecutorTest fi file_backed_cache file_backed_cache.$file_backed_cache_native file_backed_cache.$file_backed_cache_p$UnaryFunction file_backed_cache_setup file_backed_cache_setup.$file_backed_cache_registration_native file_backed_cache_setup.$file_backed_cache_registration_p$UnaryFunction file_hash_table file_hash_table.$fast_create_fht_native file_hash_table.$fast_create_fht_p$UnaryFunction file_hash_table.$fast_fht_keystream_sorter_native file_hash_table.$fast_fht_keystream_sorter_p$UnaryFunction file_hash_table.$fht_serialization_entry_native file_hash_table.$fht_serialization_entry_p$UnaryFunction file_hash_table.$file_hash_table_native file_hash_table.$file_hash_table_p$UnaryFunction file_hash_table.$htfile_file_block_entry_native file_hash_table.$htfile_file_block_entry_p$UnaryFunction file_hash_table.$htfile_header_native file_hash_table.$htfile_header_p$UnaryFunction file_hash_table.$htfile_key_entry_native file_hash_table.$htfile_key_entry_p$UnaryFunction file_hash_table.$htfile_object_entry_native file_hash_table.$htfile_object_entry_p$UnaryFunction file_translation file_translation.$trans_subl_file_native file_translation.$trans_subl_file_p$UnaryFunction file_utilities file_vector file_vector.$fvector_native file_vector.$fvector_p$UnaryFunction file_vector_utilities file_vector_utilities.$backed_map_native file_vector_utilities.$backed_map_p$UnaryFunction file_vector_utilities.$file_vector_reference_native file_vector_utilities.$file_vector_reference_p$UnaryFunction Filesys FileSystem FileTraversal finite_state_transducer finite_state_transducer.$finite_state_transducer_native finite_state_transducer.$finite_state_transducer_p$UnaryFunction FixedArityFunctor FixedArityFunctor.Arity10Funct FixedArityFunctor.Arity6Funct FixedArityFunctor.Arity7Funct FixedArityFunctor.Arity8Funct FixedArityFunctor.Arity9Funct folification foreign format format_nil formula_pattern_match formula_pattern_match.$pattern_matches_formula$BinaryFunction formula_pattern_match.$pattern_matches_formula_nat_method$BinaryFunction formula_templates formula_templates.$arg_position_details_native formula_templates.$arg_position_details_p$UnaryFunction formula_templates.$formula_template_native formula_templates.$formula_template_p$UnaryFunction formula_templates.$template_topic_native 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_native 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_native fraction_utilities.$fraction_p$UnaryFunction function_terms FunctionArgListDescription FunctionArgListDescription.OptionalArgDescription Functions Functions.SubLFuncallCountComaprator GatOptions GatOptions.Brokers GatOptions.FileAdaptors GatPluginManager GatRemoteAgent GatResourceDescription generic_testing generic_testing.$generic_test_case_table_native 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_native ghl_search_vars.$ghl_search_p$UnaryFunction glob glob.$glob_native 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_native graphic_library_format.$glf_arc_p$UnaryFunction graphic_library_format.$glf_graph_native graphic_library_format.$glf_graph_p$UnaryFunction graphic_library_format.$glf_node_native graphic_library_format.$glf_node_p$UnaryFunction graphic_library_format.$glf_rendering_native graphic_library_format.$glf_rendering_p$UnaryFunction graphl_graph_utilities graphl_search_vars graphl_search_vars.$graphl_search_native graphl_search_vars.$graphl_search_p$UnaryFunction GraphNode GraphResultBase gt_methods gt_search gt_utilities gt_vars guardian guardian.$guardian_request_native guardian.$guardian_request_p$UnaryFunction Guids hash_table_utilities Hashtables hashtables_high heap heap.$heap_impl_native heap.$heap_impl_p$UnaryFunction heap.$heap_test_example_native heap.$heap_test_example_p$UnaryFunction hierarchical_visitor hierarchical_visitor.$hierarchical_visitor_native 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.$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 hlmt_czer HTTPRemoteGraph HttpRequest HttpUtils id_index id_index.$id_index_native id_index.$id_index_p$UnaryFunction IdentifyPluginServlet IllegalWorkflowGraphException inference_abduction_utilities inference_analysis inference_balanced_tactician_datastructures inference_balanced_tactician_datastructures.$balanced_strategy_data_native 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_native inference_datastructures_forward_propagate.$forward_propagate_p$UnaryFunction inference_datastructures_inference inference_datastructures_inference.$inference_answer_justification_native inference_datastructures_inference.$inference_answer_justification_p$UnaryFunction inference_datastructures_inference.$inference_answer_justification_supports$UnaryFunction inference_datastructures_inference.$inference_answer_native inference_datastructures_inference.$inference_answer_p$UnaryFunction inference_datastructures_inference.$inference_native inference_datastructures_inference.$inference_p$UnaryFunction inference_datastructures_inference.$sxhash_inference_method$UnaryFunction inference_datastructures_problem inference_datastructures_problem.$problem_native inference_datastructures_problem.$problem_p$UnaryFunction inference_datastructures_problem.$sxhash_problem_method$UnaryFunction inference_datastructures_problem_link inference_datastructures_problem_link.$mapped_problem_equal$BinaryFunction inference_datastructures_problem_link.$mapped_problem_native inference_datastructures_problem_link.$mapped_problem_p$UnaryFunction inference_datastructures_problem_link.$problem_link_native 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_native inference_datastructures_problem_store.$problem_store_janitor_p$UnaryFunction inference_datastructures_problem_store.$problem_store_native inference_datastructures_problem_store.$problem_store_p$UnaryFunction inference_datastructures_proof inference_datastructures_proof.$proof_native 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_native inference_datastructures_strategy.$problem_strategic_properties_p$UnaryFunction inference_datastructures_strategy.$strategy_native inference_datastructures_strategy.$strategy_p$UnaryFunction inference_datastructures_strategy.$sxhash_strategy_method$UnaryFunction inference_datastructures_strategy.$tactic_strategic_properties_native inference_datastructures_strategy.$tactic_strategic_properties_p$UnaryFunction inference_datastructures_tactic inference_datastructures_tactic.$sxhash_tactic_method$UnaryFunction inference_datastructures_tactic.$tactic_native 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_native inference_metrics.$inference_metric_p$UnaryFunction inference_min_transformation_depth inference_modules inference_modules.$allowed_modules_spec_p$UnaryFunction inference_modules.$hl_module_native 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.$happiness_G$BinaryFunction inference_tactician.$strategy_sort_predicateP$BinaryFunction inference_tactician_strategic_uninterestingness inference_tactician_utilities 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_native inference_unit_tests.$inference_unit_test_p$UnaryFunction inference_worker inference_worker_answer inference_worker_join inference_worker_join.$join_link_data_native inference_worker_join.$join_link_data_p$UnaryFunction inference_worker_join_ordered inference_worker_join_ordered.$join_ordered_link_data_native inference_worker_join_ordered.$join_ordered_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_native inference_worker_removal.$removal_link_data_p$UnaryFunction inference_worker_residual_transformation inference_worker_restriction inference_worker_restriction.$restriction_link_data_native inference_worker_restriction.$restriction_link_data_p$UnaryFunction inference_worker_restriction.$restriction_listening_link_data_native inference_worker_restriction.$restriction_listening_link_data_p$UnaryFunction inference_worker_rewrite inference_worker_rewrite.$rewrite_link_data_native 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_native inference_worker_transformation.$transformation_link_data_p$UnaryFunction inference_worker_transformation.$transformation_tactic_p$UnaryFunction inference_worker_union InformationSet InitializationTest integer_sequence_generator integer_sequence_generator.$integer_sequence_generator_native integer_sequence_generator.$integer_sequence_generator_p$UnaryFunction interval_span interval_span.$interval_span_native interval_span.$interval_span_p$UnaryFunction InvalidSubLExpressionException InvalidURLException isa isa.$instanceof_after_adding$BinaryFunction isa.$instanceof_after_removing$BinaryFunction IsolatedClassLoader 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_native 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 JeePluginManager JeeResourceDescription 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_native kb_compare.$kb_difference_p$UnaryFunction kb_compare.$kb_intersection_native 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_native 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_native kb_hl_supports.$kb_hl_support_p$UnaryFunction kb_hl_supports.$sxhash_kb_hl_support_method$UnaryFunction kb_indexing 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_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_macros kb_mapping kb_mapping.$assertion_with_search_term$UnaryFunction kb_mapping.$gather_assertions$UnaryFunction 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_object_manager kb_object_manager.$kb_object_manager_native 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_native kbq_query_run.$kbq_runstate_p$UnaryFunction kbq_query_run.$kct_runstate_native kbq_query_run.$kct_runstate_p$UnaryFunction kbq_query_run.$kct_set_runstate_native kbq_query_run.$kct_set_runstate_p$UnaryFunction kct_utils ke keyhash keyhash.$iterate_keyhash_necessary$UnaryFunction keyhash.$keyhash_native keyhash.$keyhash_p$UnaryFunction keyhash_utilities Keyhashes KeywordQuery KeywordQueryImpl LabelledGroupOfStatements LabelledGroupOfStatementsImpl Larkc LarkcInit LarkcKBStatus LarkcServlet LarkcTest 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 LoadMap LoadMap.LoadMapEntry LocalPluginManager LocalStoreSPARQLService Locks LoggingOutputStream lucene_session lucene_session.$lucene_session_native lucene_session.$lucene_session_p$UnaryFunction mail_message mail_message.$message_native mail_message.$message_p$UnaryFunction mail_message.$message_part_native mail_message.$message_part_p$UnaryFunction MalformedSparqlQueryException MalformedSparqlQueryException ManagementInterface ManagementInterfaceMain ManagementInterfaceResource ManagementInterfaceResourceImpl ManagementInterfaceTest map_utilities Mapper Mapping math_utilities memoization_state memoization_state.$caching_state_native memoization_state.$caching_state_p$UnaryFunction memoization_state.$memoization_state_native memoization_state.$memoization_state_p$UnaryFunction MemTest meta_macros meta_removal_modules MgmtTest misc_kb_utilities misc_kb_utilities.$get_term_id$UnaryFunction misc_utilities modules modules.$module_native modules.$module_p$UnaryFunction modules.$system_native 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 MultiplePluginParametersException MultiThreading MultiThreadingException MultiThreadingImpl MultiThreadingTest nart_handles nart_handles.$nart_native 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 NaturalLanguageDocument NaturalLanguageDocumentUrl negation_predicate neural_net neural_net.$neural_net_native neural_net.$neural_net_p$UnaryFunction neural_net.$nn_input_node_native neural_net.$nn_input_node_p$UnaryFunction new_cycl_query_specification new_cycl_query_specification.$new_cycl_query_specification_native new_cycl_query_specification.$new_cycl_query_specification_p$UnaryFunction new_root_tactician_datastructures new_root_tactician_datastructures.$new_root_strategy_data_native new_root_tactician_datastructures.$new_root_strategy_data_p$UnaryFunction number_utilities Numbers numeric_date_utilities ObjectPool obsolete operation_communication operation_queues OperationDescriptor ORDICloseableIterator ORDIGraphResult ORDITestCase ORDIVariableBinding os_process_utilities os_process_utilities.$os_process_impl_native os_process_utilities.$os_process_impl_p$UnaryFunction OwlToCycMapping Packages Parameters ParseException PatchFileLoader pattern_match pattern_match.$pattern_matches_tree_recursive$BinaryFunction Pipe PipeInterface PipeNode PlainTextDocument PlatformStatus Plugin PluginManager PluginManager.Message PluginRegistry PluginRegistryQueryException PluginRegistryTest PluginServlet postcanonicalizer precanonicalizer precanonicalizer.$el_evaluatable_expressionP$BinaryFunction precanonicalizer.$el_evaluatable_expressionP$UnaryFunction pred_relevance_macros pred_relevance_macros.$pred_info_object_native pred_relevance_macros.$pred_info_object_p$UnaryFunction predicate_relevance_cache preference_modules preference_modules.$preference_module_native preference_modules.$preference_module_p$UnaryFunction preference_modules.$sxhash_preference_module_method$UnaryFunction Prefix 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_native process_utilities.$ipc_queue_p$UnaryFunction process_utilities.$ordered_ipc_queue_native process_utilities.$ordered_ipc_queue_p$UnaryFunction process_utilities.$process_wrapper_native process_utilities.$process_wrapper_p$UnaryFunction process_utilities.$task_native process_utilities.$task_p$UnaryFunction process_utilities.$thinking_task_native process_utilities.$thinking_task_p$UnaryFunction Processes Processes.ExternalProcessHandler PropertyEditorServlet ProxyOrdiTSource psc PubSubTest PullEndpoint PushEndpoint PushEndpointTest QoSInformation QoSParameters QuarternaryFunction Query QueryTest Queue QueueListener queues queues.$lazy_priority_queue_native queues.$lazy_priority_queue_p$UnaryFunction queues.$locked_p_queue_native queues.$locked_p_queue_p$UnaryFunction queues.$locked_queue_native queues.$locked_queue_p$UnaryFunction queues.$pq_collision_empty$UnaryFunction queues.$pq_collision_enter$BinaryFunction queues.$pq_collision_remove$BinaryFunction queues.$priority_queue_native queues.$priority_queue_p$UnaryFunction queues.$queue_native queues.$queue_p$UnaryFunction QuintenaryFunction random RDFConstants RdfDataEqualitiers RdfGraph RdfGraphBase RdfGraphDataSet RdfGraphInMemory RdfGraphUtils RDFHandlerIterator RDFHandlerResource RDFHandlerResourceTest RdfHandlerResourceUsingRdfGraph RDFProviders RdfStoreConnection RdfStoreConnectionImpl RDFXMLGraphResult reader reader.$read_token_native reader.$read_token_p$UnaryFunction reader.$readtable_native reader.$readtable_p$UnaryFunction ReaderUtilities ReadWriteLocks red_api red_api.$red_element_struct_native red_api.$red_element_struct_p$UnaryFunction red_api.$red_repository_list_struct_native red_api.$red_repository_list_struct_p$UnaryFunction red_api.$red_repository_struct_native red_api.$red_repository_struct_p$UnaryFunction red_api.$red_struct_native red_api.$red_struct_p$UnaryFunction red_infrastructure red_infrastructure.$red_symbol_native red_infrastructure.$red_symbol_p$UnaryFunction red_infrastructure_macros Regex relation_evaluation relation_evaluation.$clear_cached_evaluation_function$ZeroArityFunction relation_evaluation.$cyc_evaluate_arg$UnaryFunction remote_image remote_image.$remote_image_connection_native remote_image.$remote_image_connection_p$UnaryFunction remote_image.$remote_image_native remote_image.$remote_image_p$UnaryFunction RemoteEndpoint RemotePluginManagerTest RemoteSPARQLEndpoint removal_module_cost_tests removal_module_cost_tests.$removal_module_cost_test_native removal_module_cost_tests.$removal_module_cost_test_p$UnaryFunction removal_module_tests removal_module_tests.$removal_module_test_native 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.$removal_genlpreds_check_expand$BinaryFunction removal_modules_genlpreds.$removal_genlpreds_check_expand$UnaryFunction 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_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_native removal_tactician_datastructures.$removal_strategy_data_p$UnaryFunction removal_tactician_execution removal_tactician_motivation removal_tactician_uninterestingness Resource ResourceDescription Resourcer ResourceRegistry Resources ResumeException rewrite_modules rewrite_of_propagation rewrite_of_propagation.$fort_with_some_source_rewrite_of_assertions$UnaryFunction rule_after_adding rule_macros SafeRunnable SampleQueries SampleStringWorkflows SampleWorkflows sbhl_cache sbhl_cache.$valid_fort_typeP$UnaryFunction sbhl_caching_policies sbhl_graphs sbhl_iteration sbhl_iteration.$sbhl_iterator_native sbhl_iteration.$sbhl_iterator_p$UnaryFunction sbhl_link_iterators sbhl_link_iterators.$sbhl_link_node_search_state_iterator_state_native sbhl_link_iterators.$sbhl_link_node_search_state_iterator_state_p$UnaryFunction sbhl_link_iterators.$sbhl_module_direction_link_search_state_iterator_state_native 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_native 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_native 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_native sbhl_links.$sbhl_directed_link_p$UnaryFunction sbhl_links.$sbhl_undirected_link_native 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_native sbhl_module_vars.$sbhl_module_p$UnaryFunction sbhl_paranoia sbhl_search_datastructures sbhl_search_datastructures.$sbhl_link_node_search_state_native sbhl_search_datastructures.$sbhl_link_node_search_state_p$UnaryFunction sbhl_search_datastructures.$sbhl_stack_native 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_native sdbc.$sdbc_error_p$UnaryFunction sdbc.$sql_connection_native sdbc.$sql_connection_p$UnaryFunction sdbc.$sql_result_set_native sdbc.$sql_result_set_p$UnaryFunction sdbc.$sql_statement_native sdbc.$sql_statement_p$UnaryFunction sdbc.$sql_ticket_native 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_native search.$search_node_p$UnaryFunction search.$search_struc_native search.$search_struc_p$UnaryFunction secure_translation secure_translation.$secure_id_database_native secure_translation.$secure_id_database_p$UnaryFunction SelectXMLVariableBinding Semaphores Sequences SerializationHelper SerializationTest SerializationTests set set.$cfasl_input_set$UnaryFunction set.$set_native set.$set_p$UnaryFunction set_contents set_contents.$set_contents_size$UnaryFunction set_utilities SetOfStatements SetOfStatementsImpl SetOfStatementsMerger shelfs shelfs.$shelf_info_native shelfs.$shelf_info_p$UnaryFunction shelfs.$shelf_native shelfs.$shelf_p$UnaryFunction ShutdownTest simple_indexing simple_indexing.$matches_pragma_rule_index_test$BinaryFunction simple_lru_cache_strategy simple_lru_cache_strategy.$simple_lru_cache_strategy_native simple_lru_cache_strategy.$simple_lru_cache_strategy_p$UnaryFunction SimpleCharStream SimpleCloseableIterator SimpleFormatter SimpleSparqlClient 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 Sink SinkNode skolems sksi_macros Snapshot Snapshot.SnapShootingListener somewhere_cache Sort Source SourceNode SPARQLEndpoint SparqlEndpointTest SparqlException SparqlException SparqlHandler SPARQLQueries SparqlQuery SPARQLQuery SparqlQuery.Type SPARQLQueryExecutor SparqlQueryHandler SPARQLQueryImpl SparqlQueryRefusedException SparqlQueryRequest SparqlQueryResult SparqlQueryTransformException sparse_matrix sparse_matrix.$sparse_matrix_native sparse_matrix.$sparse_matrix_p$UnaryFunction sparse_vector sparse_vector.$sparse_vector_native sparse_vector.$sparse_vector_p$UnaryFunction special_variable_state special_variable_state.$special_variable_state_native special_variable_state.$special_variable_state_p$UnaryFunction SpecialSPARQLQueries stacks stacks.$locked_stack_native stacks.$locked_stack_p$UnaryFunction stacks.$stack_native stacks.$stack_p$UnaryFunction StamentCollectorRDFHandler standard_tokenization standard_tokenization.$dot_analysis_native standard_tokenization.$dot_analysis_p$UnaryFunction Storage stream_buffer stream_buffer.$stream_buffer_native stream_buffer.$stream_buffer_p$UnaryFunction stream_buffer.$string_buffer_native stream_buffer.$string_buffer_p$UnaryFunction stream_macros streams_high StreamsLow string_utilities string_utilities.$char_in_char_set$UnaryFunction string_utilities.$cyclify_status_native 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 SubLArrayList SubLArrayListListIterator SubLBigIntBignum SubLBignum SubLBoolean SubLBroadcastStream SubLCharacter SubLCharacter.CaseInsensitiveDesc SubLCharacter.CaseSensitiveDesc SubLCharacter.CharCompareDesc SubLCommandHistory SubLCommandHistoryItem SubLCompiledFunction SubLCons SubLConsFacade SubLConsListListIterator SubLConsPair SubLDoubleFloat SubLEnvironment SubLErrorHistory SubLException SubLFile SubLFiles SubLFiles.VariableAccessMode SubLFixnum SubLFloat SubLFunction SubLGuid SubLHashtable SubLHashtable.SubLEqHashtableKeyEntryImpl SubLHashtable.SubLEqlHashtableKeyEntryImpl SubLHashtable.SubLEqualHashtableKeyEntryImpl SubLHashtable.SubLEqualpHashtableKeyEntryImpl SubLHashtable.SubLHashtableKeyEntry SubLHashtable.SubLHashtableKeyEntryImpl SubLHashtableIterator SubLInOutBinaryStream SubLInOutBinaryStreamImpl SubLInOutTextStream SubLInOutTextStreamImpl SubLInputBinaryStream SubLInputBinaryStreamImpl SubLInputStream SubLInputTextStream SubLInputTextStreamImpl SubLInteger SubLIntegerBignum SubLInterpretedFunction SubLKeyhash SubLKeyhashIterator SubLList SubLListListIterator SubLLock SubLLock.MyReentrantLock SubLLongBignum SubLMacro SubLMain SubLNil SubLNumber SubLNumberFactory SubLObject SubLObjectFactory SubLOperator SubLOperatorFactory SubLOutputBinaryStream SubLOutputBinaryStreamImpl SubLOutputStream SubLOutputTextStream SubLOutputTextStreamImpl SubLPackage SubLParser SubLParserConstants SubLParserTokenManager SubLParserUtil SubLPatcher SubLProcess SubLProcess.DefaultThunk SubLProcess.InterruptReadLoopThunk SubLProcess.NeverTimesOut SubLProcess.SubLProcessState SubLProcess.TerminationRequest SubLProcess.Thunk SubLProcess.TimeOut SubLProcess.TimesOutAfter SubLQuote SubLReader SubLReaderPanel SubLReadWriteLock SubLRegexPattern SubLSemaphore SubLSequence SubLSocketStream SubLSpecialOperator SubLSpecialOperatorDeclarations SubLStream SubLStreamFactory SubLStreamNilException SubLString SubLStruct SubLStructDecl SubLStructDeclNative SubLStructInterpreted SubLStructNative SubLSymbol SubLSymbolFactory SubLSymbolImpl SubLSymbolKeyword SubLSynonymStream SubLT SubLThread SubLThreadPool SubLTrampolineFile SubLTranslatedFile SubLTranslatedFile.SubL SubLVector Sxhash Symbols system_benchmarks system_info system_parameters system_translation system_translation.$system_translation_native system_translation.$system_translation_p$UnaryFunction system_version SystemInfo task_processor task_processor.$task_info_native task_processor.$task_info_p$UnaryFunction task_processor.$task_process_pool_native task_processor.$task_process_pool_p$UnaryFunction task_processor.$task_processor_native task_processor.$task_processor_p$UnaryFunction task_processor.$task_result_set_native task_processor.$task_result_set_p$UnaryFunction Tcp tcp_server_utilities tcp_server_utilities.$tcp_server_native 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_native test_query_suite.$test_query_suite_p$UnaryFunction TestEndpoint TestEndpointMain TestEndpointResource TestEndpointTest TestRemoteRdfHeader TextAreaInputStream TextAreaOutputStream thread_macros Threads Time time_high timing timing.$timing_info_native timing.$timing_info_p$UnaryFunction tms Token TokenMgrError transcript_server transcript_utilities transform_list_utilities transformation_module_tests transformation_module_tests.$transformation_module_test_native 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_native transformation_tactician_datastructures.$transformation_strategy_data_p$UnaryFunction transitivity tries tries.$trie_native tries.$trie_p$UnaryFunction TriplePattern TriplePatternQuery TriplePatternQueryImpl tva_cache tva_cache.$tva_cache_native tva_cache.$tva_cache_p$UnaryFunction tva_inference tva_inference.$tva_inference_native tva_inference.$tva_inference_p$UnaryFunction tva_strategy tva_strategy.$tva_strategy_native tva_strategy.$tva_strategy_p$UnaryFunction tva_tactic tva_tactic.$tva_tactic_native 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 Unhandleable unicode_streams unicode_streams.$utf8_stream_native unicode_streams.$utf8_stream_p$UnaryFunction unicode_strings unicode_strings.$unicode_char_native unicode_strings.$unicode_char_p$UnaryFunction unicode_strings.$unicode_string_native unicode_strings.$unicode_string_p$UnaryFunction unicode_subsets unification unification.$base_variable_p$UnaryFunction unification.$variable_non_base_version$UnaryFunction unification_utilities unification_utilities.$unify_clause$BinaryFunction UnitTest UnitTest UnitTest.SubLFile_Test UnitTest_CycLTiny unrepresented_term_index_manager unrepresented_terms UriList UrlParameters user_actions user_actions.$action_type_native user_actions.$action_type_p$UnaryFunction user_actions.$user_action_native user_actions.$user_action_p$UnaryFunction UserIO utilities_macros UUID Value Value.Type value_tables value_tables.$value_table_column_native value_tables.$value_table_column_p$UnaryFunction value_tables.$value_table_native value_tables.$value_table_p$UnaryFunction value_tables.$variable_mapping_table_native value_tables.$variable_mapping_table_p$UnaryFunction Values VariableBinding VariableBinding VariableBinding.Binding VariableBindingBase VariableBindingImpl VariableBindingImpl.BindingRow VariableBindingValue variables variables.$fully_bound_p$UnaryFunction variables.$not_fully_bound_p$UnaryFunction variables.$sxhash_variable_method$UnaryFunction variables.$variable_L$BinaryFunction variables.$variable_native 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_native web_utilities.$xml_token_iterator_state_p$UnaryFunction web_utilities.$xml_token_mentions$BinaryFunction wff wff.$clear_mal_actual_arity_cachedP$ZeroArityFunction wff_macros wff_module_datastructures wff_module_datastructures.$wff_module_native 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 WorkflowDescription WorkflowGraphNode WorkflowResource WorkflowResourceImpl WorkflowResourceTest xml_utilities XMLDocument XMLDocumentImpl xref_database xref_database.$xref_module_native xref_database.$xref_module_p$UnaryFunction xref_database.$xref_system_native xref_database.$xref_system_p$UnaryFunction ZeroArityFunction