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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

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

Packages that use CommonSymbols
com.cyc.cycjava.cycl
com.cyc.cycjava.cycl.cyc_testing
com.cyc.cycjava.cycl.cyc_testing.kb_content_test
com.cyc.cycjava.cycl.inference
com.cyc.cycjava.cycl.inference.harness
com.cyc.cycjava.cycl.inference.modules
com.cyc.cycjava.cycl.inference.modules.removal
com.cyc.cycjava.cycl.sbhl
com.cyc.cycjava.cycl.sksi.sksi_infrastructure
com.cyc.tool.subl.jrtl.nativeCode.subLisp
com.cyc.tool.subl.jrtl.nativeCode.type.core
com.cyc.tool.subl.jrtl.nativeCode.type.number
com.cyc.tool.subl.jrtl.nativeCode.type.operator
com.cyc.tool.subl.jrtl.nativeCode.type.stream
com.cyc.tool.subl.jrtl.translatedCode.sublisp
com.cyc.tool.subl.parser
com.cyc.tool.subl.util
eu.larkc.core

Uses of CommonSymbols in com.cyc.cycjava.cycl

Classes in com.cyc.cycjava.cycl that implement CommonSymbols
`class`	`access_macros`
`class`	`accumulation`
`static class`	`accumulation.$accumulator_p$UnaryFunction`
`class`	`agenda`
`static class`	`agenda.$agenda_daily_gc_ready_p$ZeroArityFunction`
`static class`	`agenda.$agenda_save_asked_queriesP$ZeroArityFunction`
`static class`	`agenda.$agenda_should_quitP$ZeroArityFunction`
`static class`	`agenda.$agenda_work_to_do$ZeroArityFunction`
`static class`	`agenda.$load_operationsP$ZeroArityFunction`
`static class`	`agenda.$normal_transmit_operationsP$ZeroArityFunction`
`static class`	`agenda.$restart_agenda_flagP$ZeroArityFunction`
`static class`	`agenda.$run_auxiliary_opP$ZeroArityFunction`
`static class`	`agenda.$run_local_opP$ZeroArityFunction`
`static class`	`agenda.$run_remote_opP$ZeroArityFunction`
`static class`	`agenda.$save_experienceP$ZeroArityFunction`
`static class`	`agenda.$save_operationsP$ZeroArityFunction`
`static class`	`agenda.$worry_transmit_operationsP$ZeroArityFunction`
`class`	`api_control_vars`
`class`	`api_kernel`
`class`	`arg_type`
`static class`	`arg_type.$arg_constraint_p$UnaryFunction`
`static class`	`arg_type.$clear_cached_relation_arg_okP$ZeroArityFunction`
`static class`	`arg_type.$variable_term_wrt_arg_typeP$UnaryFunction`
`class`	`arguments`
`static class`	`arguments.$argument_type_proper_genls$UnaryFunction`
`static class`	`arguments.$asserted_argument_p$UnaryFunction`
`static class`	`arguments.$justification_equal$BinaryFunction`
`static class`	`arguments.$support_equal$BinaryFunction`
`static class`	`arguments.$support_L$BinaryFunction`
`static class`	`arguments.$support_mt$UnaryFunction`
`static class`	`arguments.$support_p$UnaryFunction`
`class`	`arity`
`static class`	`arity.$arity$UnaryFunction`
`class`	`assertion_handles`
`static class`	`assertion_handles.$assertion_p$UnaryFunction`
`static class`	`assertion_handles.$find_assertion_by_id$UnaryFunction`
`static class`	`assertion_handles.$sxhash_assertion_method$UnaryFunction`
`class`	`assertion_manager`
`class`	`assertion_utilities`
`class`	`assertions_high`
`static class`	`assertions_high.$assertion_formula$UnaryFunction`
`static class`	`assertions_high.$assertion_mt$UnaryFunction`
`static class`	`assertions_high.$gaf_formula$UnaryFunction`
`static class`	`assertions_high.$invalid_assertionP$BinaryFunction`
`static class`	`assertions_high.$invalid_assertionP$UnaryFunction`
`static class`	`assertions_high.$valid_assertion$BinaryFunction`
`static class`	`assertions_high.$valid_assertion$UnaryFunction`
`class`	`assertions_interface`
`class`	`assertions_low`
`static class`	`assertions_low.$assertion_content_p$UnaryFunction`
`class`	`at_admitted`
`static class`	`at_admitted.$generic_arg_p$UnaryFunction`
`class`	`at_cache`
`class`	`at_defns`
`class`	`at_macros`
`class`	`at_routines`
`static class`	`at_routines.$clear_arg_collections$ZeroArityFunction`
`class`	`at_utilities`
`class`	`at_var_types`
`static class`	`at_var_types.$clear_at_argn_int_cached$ZeroArityFunction`
`static class`	`at_var_types.$contextualized_isa_x_y_litP$UnaryFunction`
`class`	`at_vars`
`class`	`auxiliary_indexing`
`class`	`backward`
`class`	`backward_results`
`class`	`backward_utilities`
`class`	`bag`
`static class`	`bag.$bag_p$UnaryFunction`
`class`	`bijection`
`static class`	`bijection.$bijection_p$UnaryFunction`
`class`	`binary_tree`
`static class`	`binary_tree.$avl_tree_node_p$UnaryFunction`
`static class`	`binary_tree.$avl_tree_p$UnaryFunction`
`static class`	`binary_tree.$btree_p$UnaryFunction`
`static class`	`binary_tree.$cfasl_input_avl_tree_node$UnaryFunction`
`class`	`bindings`
`static class`	`bindings.$binding_p$UnaryFunction`
`static class`	`bindings.$inference_binding_p$UnaryFunction`
`static class`	`bindings.$subst_bindings$BinaryFunction`
`static class`	`bindings.$variable_binding_value$UnaryFunction`
`static class`	`bindings.$variable_binding_variable$UnaryFunction`
`class`	`bookkeeping_store`
`class`	`builder_utilities`
`class`	`c_backend`
`class`	`c_name_translation`
`class`	`cache`
`class`	`cache_utilities`
`static class`	`cache_utilities.$cache_metrics_p$UnaryFunction`
`static class`	`cache_utilities.$metered_cache_p$UnaryFunction`
`static class`	`cache_utilities.$recording_cache_strategy_facade_p$UnaryFunction`
`static class`	`cache.$cache_entry_p$UnaryFunction`
`static class`	`cache.$cache_p$UnaryFunction`
`class`	`canon_tl`
`static class`	`canon_tl.$tl_termP$UnaryFunction`
`class`	`cardinality_estimates`
`static class`	`cardinality_estimates.$generality_estimate$UnaryFunction`
`class`	`cfasl`
`class`	`cfasl_compression`
`class`	`cfasl_kb_methods`
`static class`	`cfasl_kb_methods.$cfasl_input_assertion$UnaryFunction`
`static class`	`cfasl_kb_methods.$cfasl_input_clause_struc$UnaryFunction`
`static class`	`cfasl_kb_methods.$cfasl_input_constant$UnaryFunction`
`static class`	`cfasl_kb_methods.$cfasl_input_deduction$UnaryFunction`
`static class`	`cfasl_kb_methods.$cfasl_input_hl_end$UnaryFunction`
`static class`	`cfasl_kb_methods.$cfasl_input_hl_start$UnaryFunction`
`static class`	`cfasl_kb_methods.$cfasl_input_kb_hl_support$UnaryFunction`
`static class`	`cfasl_kb_methods.$cfasl_input_nart$UnaryFunction`
`static class`	`cfasl_kb_methods.$cfasl_input_sbhl_directed_link$UnaryFunction`
`static class`	`cfasl_kb_methods.$cfasl_input_sbhl_undirected_link$UnaryFunction`
`static class`	`cfasl_kb_methods.$cfasl_input_variable$UnaryFunction`
`class`	`cfasl_kernel`
`class`	`cfasl_utilities`
`static class`	`cfasl.$cfasl_count_stream_p$UnaryFunction`
`static class`	`cfasl.$cfasl_decoding_stream_p$UnaryFunction`
`static class`	`cfasl.$cfasl_encoding_stream_p$UnaryFunction`
`static class`	`cfasl.$cfasl_input_character$UnaryFunction`
`static class`	`cfasl.$cfasl_input_common_symbol$UnaryFunction`
`static class`	`cfasl.$cfasl_input_dotted_list$UnaryFunction`
`static class`	`cfasl.$cfasl_input_general_vector$UnaryFunction`
`static class`	`cfasl.$cfasl_input_guid$UnaryFunction`
`static class`	`cfasl.$cfasl_input_keyword$UnaryFunction`
`static class`	`cfasl.$cfasl_input_list$UnaryFunction`
`static class`	`cfasl.$cfasl_input_n_24bit_int$UnaryFunction`
`static class`	`cfasl.$cfasl_input_n_8bit_int$UnaryFunction`
`static class`	`cfasl.$cfasl_input_n_float$UnaryFunction`
`static class`	`cfasl.$cfasl_input_nil$UnaryFunction`
`static class`	`cfasl.$cfasl_input_other_symbol$UnaryFunction`
`static class`	`cfasl.$cfasl_input_p_16bit_int$UnaryFunction`
`static class`	`cfasl.$cfasl_input_p_24bit_int$UnaryFunction`
`static class`	`cfasl.$cfasl_input_p_32bit_int$UnaryFunction`
`static class`	`cfasl.$cfasl_input_p_bignum$UnaryFunction`
`static class`	`cfasl.$cfasl_input_p_float$UnaryFunction`
`static class`	`cfasl.$cfasl_input_string$UnaryFunction`
`class`	`clause_strucs`
`static class`	`clause_strucs.$clause_struc_p$UnaryFunction`
`class`	`clause_utilities`
`class`	`clauses`
`class`	`clausifier`
`static class`	`clausifier.$conjunctions_in$UnaryFunction`
`static class`	`clausifier.$do_implications$UnaryFunction`
`static class`	`clausifier.$do_negations_destructive$UnaryFunction`
`static class`	`clausifier.$recursively_standardize_variables$UnaryFunction`
`static class`	`clausifier.$universals_out$UnaryFunction`
`class`	`collection_defns`
`static class`	`collection_defns.$clear_extensional_setP$ZeroArityFunction`
`static class`	`collection_defns.$cyc_1_byte_integer$UnaryFunction`
`static class`	`collection_defns.$cyc_2_byte_integer$UnaryFunction`
`static class`	`collection_defns.$cyc_4_byte_integer$UnaryFunction`
`static class`	`collection_defns.$cyc_8_byte_integer$UnaryFunction`
`static class`	`collection_defns.$cyc_ascii_string_p$UnaryFunction`
`static class`	`collection_defns.$cyc_bit_datatype$UnaryFunction`
`static class`	`collection_defns.$cyc_guid_string_p$UnaryFunction`
`static class`	`collection_defns.$cyc_individual_necessary$UnaryFunction`
`static class`	`collection_defns.$cyc_ip4_address$UnaryFunction`
`static class`	`collection_defns.$cyc_ip4_network_address$UnaryFunction`
`static class`	`collection_defns.$cyc_list_is_minimum_length$UnaryFunction`
`static class`	`collection_defns.$cyc_list_of_lists$UnaryFunction`
`static class`	`collection_defns.$cyc_list_of_type_necessary$UnaryFunction`
`static class`	`collection_defns.$cyc_list_of_type_sufficient$UnaryFunction`
`static class`	`collection_defns.$cyc_numeric_string_necessary$UnaryFunction`
`static class`	`collection_defns.$cyc_string_is_length$UnaryFunction`
`static class`	`collection_defns.$cyc_string_is_maximum_length$UnaryFunction`
`static class`	`collection_defns.$cyc_string_is_minimum_length$UnaryFunction`
`static class`	`collection_defns.$cyc_subl_hl_support_module_p$UnaryFunction`
`static class`	`collection_defns.$cyc_subl_query_property_p$UnaryFunction`
`static class`	`collection_defns.$cyc_subl_tv_p$UnaryFunction`
`static class`	`collection_defns.$cyc_typicality_reference_set_propertyP$UnaryFunction`
`static class`	`collection_defns.$cyc_zip_code_five_digit$UnaryFunction`
`static class`	`collection_defns.$cyc_zip_code_nine_digit$UnaryFunction`
`static class`	`collection_defns.$cycl_canonicalizer_directiveP$UnaryFunction`
`static class`	`collection_defns.$cycl_sentence_assertibleP$UnaryFunction`
`class`	`concept_filter`
`static class`	`concept_filter.$clear_concept_filter_all_isa$ZeroArityFunction`
`static class`	`concept_filter.$clear_nodes_suppressed_from_filter$ZeroArityFunction`
`class`	`constant_completion`
`class`	`constant_completion_high`
`static class`	`constant_completion_high.$invalid_constant_name_char_p$UnaryFunction`
`class`	`constant_completion_interface`
`class`	`constant_completion_low`
`class`	`constant_handles`
`static class`	`constant_handles.$constant_p$UnaryFunction`
`static class`	`constant_handles.$constant_print_function_trampoline$BinaryFunction`
`static class`	`constant_handles.$invalid_constantP$BinaryFunction`
`static class`	`constant_handles.$invalid_constantP$UnaryFunction`
`static class`	`constant_handles.$sxhash_constant_method$UnaryFunction`
`static class`	`constant_handles.$valid_constantP$BinaryFunction`
`static class`	`constant_handles.$valid_constantP$UnaryFunction`
`class`	`constant_index_manager`
`class`	`constant_reader`
`class`	`constants_high`
`class`	`constants_interface`
`class`	`constants_low`
`class`	`control_vars`
`class`	`cyc_bookkeeping`
`class`	`cyc_kernel`
`class`	`cyc_revision_extraction`
`class`	`cycl`
`class`	`cycl_grammar`
`static class`	`cycl_grammar.$cycl_generalized_tensed_literal_p$UnaryFunction`
`static class`	`cycl_grammar.$cycl_quoted_term_p$UnaryFunction`
`static class`	`cycl_grammar.$cycl_variable_p$UnaryFunction`
`static class`	`cycl_grammar.$el_variable_p$UnaryFunction`
`static class`	`cycl_grammar.$escape_quote_syntax_p$UnaryFunction`
`static class`	`cycl_grammar.$hl_variable_p$UnaryFunction`
`static class`	`cycl_grammar.$quasi_quote_syntax_p$UnaryFunction`
`class`	`cycl_query_specification`
`static class`	`cycl_query_specification.$cycl_query_specification_p$UnaryFunction`
`class`	`cycl_utilities`
`static class`	`cycl_utilities.$atomic_sentence_predicate$UnaryFunction`
`static class`	`cycl_utilities.$hl_term_to_el_term$UnaryFunction`
`static class`	`cycl_utilities.$hl_term_with_el_counterpart_p$UnaryFunction`
`static class`	`cycl_utilities.$opaque_arg_wrt_quotingP$BinaryFunction`
`static class`	`cycl_utilities.$renamed_default_el_var_p$UnaryFunction`
`class`	`cycl_variables`
`static class`	`cycl_variables.$cyc_varP$UnaryFunction`
`static class`	`cycl_variables.$default_el_varP$UnaryFunction`
`static class`	`cycl_variables.$el_varP$UnaryFunction`
`static class`	`cycl_variables.$hl_varP$UnaryFunction`
`static class`	`cycl_variables.$invalid_variable_name_char$UnaryFunction`
`class`	`cycml_generator`
`static class`	`cycml_generator.$cycml_kp_info_p$UnaryFunction`
`class`	`czer_graph`
`static class`	`czer_graph.$arc_p$UnaryFunction`
`static class`	`czer_graph.$graph_search_node_p$UnaryFunction`
`static class`	`czer_graph.$v_colour_p$UnaryFunction`
`static class`	`czer_graph.$vertex_p$UnaryFunction`
`class`	`czer_main`
`static class`	`czer_main.$canonicalize_clause_commutative_terms_destructive$UnaryFunction`
`static class`	`czer_main.$canonicalize_clause_quoted_terms$UnaryFunction`
`static class`	`czer_main.$canonicalize_clause_sentence_terms$UnaryFunction`
`static class`	`czer_main.$canonicalize_clause_tou_terms$UnaryFunction`
`static class`	`czer_main.$canonicalize_literal_commutative_terms_destructive$UnaryFunction`
`static class`	`czer_main.$canonicalize_literal_sentence_terms$BinaryFunction`
`static class`	`czer_main.$canonicalize_literal_sentence_terms$UnaryFunction`
`static class`	`czer_main.$commutative_terms_in_orderP$BinaryFunction`
`static class`	`czer_main.$initialize_suffix_table_for_var$UnaryFunction`
`static class`	`czer_main.$lit_L$BinaryFunction`
`static class`	`czer_main.$literal_quantified_fn_terms$UnaryFunction`
`static class`	`czer_main.$literal_terms_to_reify$BinaryFunction`
`static class`	`czer_main.$literal_terms_to_reify$UnaryFunction`
`static class`	`czer_main.$rename_clause_vars_int$BinaryFunction`
`static class`	`czer_main.$rename_clause_vars_int$UnaryFunction`
`static class`	`czer_main.$sort_clause_literals$BinaryFunction`
`static class`	`czer_main.$sort_clause_literals$UnaryFunction`
`class`	`czer_meta`
`static class`	`czer_meta.$clear_meta_relation_somewhereP$ZeroArityFunction`
`static class`	`czer_meta.$clear_possibly_meta_relation_somewhereP_cached$ZeroArityFunction`
`static class`	`czer_meta.$el_meta_formulaP$BinaryFunction`
`static class`	`czer_meta.$el_meta_formulaP$UnaryFunction`
`static class`	`czer_meta.$ground_el_meta_formulaP$BinaryFunction`
`static class`	`czer_meta.$ground_el_meta_formulaP$UnaryFunction`
`class`	`czer_trampolines`
`class`	`czer_utilities`
`static class`	`czer_utilities.$canon_varP$UnaryFunction`
`static class`	`czer_utilities.$generalized_ist_clause_p$UnaryFunction`
`static class`	`czer_utilities.$quoted_term_with_hl_varP$UnaryFunction`
`class`	`czer_vars`
`class`	`deck`
`static class`	`deck.$deck_p$UnaryFunction`
`class`	`deduction_handles`
`static class`	`deduction_handles.$deduction_p$UnaryFunction`
`static class`	`deduction_handles.$sxhash_deduction_method$UnaryFunction`
`class`	`deduction_manager`
`class`	`deductions_high`
`class`	`deductions_interface`
`class`	`deductions_low`
`static class`	`deductions_low.$deduction_content_p$UnaryFunction`
`class`	`defns`
`static class`	`defns.$admitting_defn_assertions$UnaryFunction`
`static class`	`defns.$col_defn_admitsP$UnaryFunction`
`class`	`dictionary`
`class`	`dictionary_contents`
`class`	`dictionary_utilities`
`static class`	`dictionary_utilities.$synchronized_dictionary_p$UnaryFunction`
`static class`	`dictionary.$cfasl_input_dictionary$UnaryFunction`
`static class`	`dictionary.$dictionary_p$UnaryFunction`
`class`	`disjoint_with`
`class`	`dumper`
`static class`	`dumper.$load_assertion_def_from_cache$BinaryFunction`
`static class`	`dumper.$load_deduction_def_from_cache$BinaryFunction`
`static class`	`dumper.$load_nart_hl_formula_from_cache$BinaryFunction`
`class`	`el_grammar`
`class`	`el_utilities`
`static class`	`el_utilities.$cyc_const_general_existential_operator_p$UnaryFunction`
`static class`	`el_utilities.$el_conjunction_p$UnaryFunction`
`static class`	`el_utilities.$el_disjunction_p$UnaryFunction`
`static class`	`el_utilities.$el_formula_p$UnaryFunction`
`static class`	`el_utilities.$el_implicit_meta_literal_sentence_p$UnaryFunction`
`static class`	`el_utilities.$el_meets_pragmatic_requirement_p$UnaryFunction`
`static class`	`el_utilities.$el_negation_p$UnaryFunction`
`static class`	`el_utilities.$expand_subl_fn_p$UnaryFunction`
`static class`	`el_utilities.$formula_with_sequence_termP$UnaryFunction`
`static class`	`el_utilities.$forward_non_trigger_literal_litP$UnaryFunction`
`static class`	`el_utilities.$gafP$UnaryFunction`
`static class`	`el_utilities.$kappa_predicate_p$UnaryFunction`
`static class`	`el_utilities.$scoping_relation_expressionP$UnaryFunction`
`class`	`encapsulation`
`class`	`enumeration_types`
`class`	`equality_store`
`class`	`equals`
`class`	`eval_in_api`
`class`	`eval_in_api_registrations`
`class`	`evaluation_defns`
`static class`	`evaluation_defns.$cyc_different$UnaryFunction`
`class`	`fi`
`class`	`file_backed_cache`
`class`	`file_backed_cache_setup`
`static class`	`file_backed_cache_setup.$file_backed_cache_registration_p$UnaryFunction`
`static class`	`file_backed_cache.$file_backed_cache_p$UnaryFunction`
`class`	`file_hash_table`
`static class`	`file_hash_table.$fast_create_fht_p$UnaryFunction`
`static class`	`file_hash_table.$fast_fht_keystream_sorter_p$UnaryFunction`
`static class`	`file_hash_table.$fht_serialization_entry_p$UnaryFunction`
`static class`	`file_hash_table.$file_hash_table_p$UnaryFunction`
`static class`	`file_hash_table.$htfile_file_block_entry_p$UnaryFunction`
`static class`	`file_hash_table.$htfile_header_p$UnaryFunction`
`static class`	`file_hash_table.$htfile_key_entry_p$UnaryFunction`
`static class`	`file_hash_table.$htfile_object_entry_p$UnaryFunction`
`class`	`file_translation`
`static class`	`file_translation.$trans_subl_file_p$UnaryFunction`
`class`	`file_utilities`
`class`	`file_vector`
`class`	`file_vector_utilities`
`static class`	`file_vector_utilities.$backed_map_p$UnaryFunction`
`static class`	`file_vector_utilities.$file_vector_reference_p$UnaryFunction`
`static class`	`file_vector.$fvector_p$UnaryFunction`
`class`	`finite_state_transducer`
`static class`	`finite_state_transducer.$finite_state_transducer_p$UnaryFunction`
`class`	`folification`
`class`	`format_nil`
`class`	`formula_pattern_match`
`static class`	`formula_pattern_match.$pattern_matches_formula_nat_method$BinaryFunction`
`static class`	`formula_pattern_match.$pattern_matches_formula$BinaryFunction`
`class`	`formula_templates`
`static class`	`formula_templates.$arg_position_details_p$UnaryFunction`
`static class`	`formula_templates.$formula_template_p$UnaryFunction`
`static class`	`formula_templates.$template_topic_p$UnaryFunction`
`class`	`fort_types_interface`
`static class`	`fort_types_interface.$collection_p$UnaryFunction`
`static class`	`fort_types_interface.$predicate_p$UnaryFunction`
`static class`	`fort_types_interface.$scoping_relation_p$UnaryFunction`
`static class`	`fort_types_interface.$sibling_disjoint_collection_p$UnaryFunction`
`class`	`forts`
`static class`	`forts.$fort_id_index_p$UnaryFunction`
`static class`	`forts.$fort_internal_id$UnaryFunction`
`static class`	`forts.$fort_p$UnaryFunction`
`static class`	`forts.$invalid_fortP$UnaryFunction`
`class`	`fraction_utilities`
`static class`	`fraction_utilities.$fraction_p$UnaryFunction`
`class`	`function_terms`
`class`	`genl_mts`
`class`	`genl_predicates`
`class`	`genls`
`class`	`ghl_link_iterators`
`class`	`ghl_marking_utilities`
`class`	`ghl_search_methods`
`static class`	`ghl_search_methods.$ghl_closure_search_iterator_done$UnaryFunction`
`static class`	`ghl_search_methods.$ghl_closure_search_iterator_finalize$UnaryFunction`
`static class`	`ghl_search_methods.$ghl_closure_search_iterator_next$UnaryFunction`
`class`	`ghl_search_utilities`
`class`	`ghl_search_vars`
`static class`	`ghl_search_vars.$ghl_search_p$UnaryFunction`
`class`	`glob`
`static class`	`glob.$glob_p$UnaryFunction`
`class`	`graph_utilities`
`static class`	`graph_utilities.$extract_link_nodes_int$UnaryFunction`
`static class`	`graph_utilities.$length_first$UnaryFunction`
`class`	`graphic_library_format`
`static class`	`graphic_library_format.$glf_arc_p$UnaryFunction`
`static class`	`graphic_library_format.$glf_graph_p$UnaryFunction`
`static class`	`graphic_library_format.$glf_node_p$UnaryFunction`
`static class`	`graphic_library_format.$glf_rendering_p$UnaryFunction`
`class`	`graphl_graph_utilities`
`class`	`graphl_search_vars`
`static class`	`graphl_search_vars.$graphl_search_p$UnaryFunction`
`class`	`gt_methods`
`class`	`gt_search`
`class`	`gt_utilities`
`class`	`gt_vars`
`class`	`guardian`
`static class`	`guardian.$guardian_request_p$UnaryFunction`
`class`	`hash_table_utilities`
`class`	`heap`
`static class`	`heap.$heap_impl_p$UnaryFunction`
`static class`	`heap.$heap_test_example_p$UnaryFunction`
`class`	`hierarchical_visitor`
`static class`	`hierarchical_visitor.$hierarchical_visitor_p$UnaryFunction`
`class`	`hl_interface_infrastructure`
`static class`	`hl_interface_infrastructure.$hl_store_iterator_destroy$UnaryFunction`
`static class`	`hl_interface_infrastructure.$hl_store_iterator_doneP$UnaryFunction`
`class`	`hl_modifiers`
`class`	`hl_storage_module_declarations`
`class`	`hl_storage_modules`
`class`	`hl_supports`
`static class`	`hl_supports.$hl_justify_eval$UnaryFunction`
`static class`	`hl_supports.$non_hl_predicate_p$UnaryFunction`
`class`	`hlmt`
`class`	`hlmt_czer`
`static class`	`hlmt.$closed_hlmt_p$UnaryFunction`
`static class`	`hlmt.$hlmt_equal$BinaryFunction`
`static class`	`hlmt.$hlmtP$UnaryFunction`
`static class`	`hlmt.$monad_cycl_mtP$UnaryFunction`
`static class`	`hlmt.$monad_mt_p$UnaryFunction`
`static class`	`hlmt.$mt_union_mts_recursive_int$UnaryFunction`
`static class`	`hlmt.$single_dimension_mt_dimension$UnaryFunction`
`static class`	`hlmt.$temporal_dimension_mt_p$UnaryFunction`
`class`	`id_index`
`static class`	`id_index.$id_index_p$UnaryFunction`
`class`	`integer_sequence_generator`
`static class`	`integer_sequence_generator.$integer_sequence_generator_p$UnaryFunction`
`class`	`interval_span`
`static class`	`interval_span.$interval_span_p$UnaryFunction`
`class`	`isa`
`static class`	`isa.$instanceof_after_adding$BinaryFunction`
`static class`	`isa.$instanceof_after_removing$BinaryFunction`
`class`	`iteration`
`static class`	`iteration.$default_iterator_done_p$UnaryFunction`
`static class`	`iteration.$iterate_list_done$UnaryFunction`
`static class`	`iteration.$iterate_list_next$UnaryFunction`
`static class`	`iteration.$iterate_non_null_singleton_next$UnaryFunction`
`static class`	`iteration.$iterate_number_done$UnaryFunction`
`static class`	`iteration.$iterate_vector_next$UnaryFunction`
`static class`	`iteration.$iterator_iterator_done$UnaryFunction`
`static class`	`iteration.$iterator_iterator_next$UnaryFunction`
`static class`	`iteration.$iterator_p$UnaryFunction`
`static class`	`iteration.$reusable_iterator_cartesian_iterator_done$UnaryFunction`
`static class`	`iteration.$reusable_iterator_cartesian_iterator_next$UnaryFunction`
`static class`	`iteration.$reusable_iterator_done$UnaryFunction`
`static class`	`iteration.$reusable_iterator_next$UnaryFunction`
`class`	`java_api_kernel`
`class`	`java_name_translation`
`class`	`kb_access_metering`
`class`	`kb_accessors`
`static class`	`kb_accessors.$clear_guess_the_cyclist_from_user_name$ZeroArityFunction`
`static class`	`kb_accessors.$fast_non_skolem_indeterminate_termP$UnaryFunction`
`class`	`kb_compare`
`static class`	`kb_compare.$kb_difference_p$UnaryFunction`
`static class`	`kb_compare.$kb_intersection_p$UnaryFunction`
`class`	`kb_control_vars`
`class`	`kb_gp_mapping`
`class`	`kb_hl_support_manager`
`class`	`kb_hl_supports`
`static class`	`kb_hl_supports.$kb_hl_support_content_p$UnaryFunction`
`static class`	`kb_hl_supports.$kb_hl_support_index_unindexed_termP$UnaryFunction`
`static class`	`kb_hl_supports.$kb_hl_support_p$UnaryFunction`
`static class`	`kb_hl_supports.$sxhash_kb_hl_support_method$UnaryFunction`
`class`	`kb_indexing`
`class`	`kb_indexing_datastructures`
`static class`	`kb_indexing_datastructures.$fully_indexed_term_p$UnaryFunction`
`static class`	`kb_indexing_datastructures.$indexed_term_p$UnaryFunction`
`static class`	`kb_indexing_datastructures.$invalid_indexed_termP$UnaryFunction`
`class`	`kb_indexing_declarations`
`class`	`kb_indexing_macros`
`static class`	`kb_indexing.$clear_key_gaf_arg_index_cached$ZeroArityFunction`
`static class`	`kb_indexing.$num_index$UnaryFunction`
`static class`	`kb_indexing.$num_predicate_extent_index$BinaryFunction`
`static class`	`kb_indexing.$num_predicate_extent_index$UnaryFunction`
`class`	`kb_macros`
`class`	`kb_mapping`
`class`	`kb_mapping_macros`
`static class`	`kb_mapping_macros.$assertion_semantically_matches_simple_final_index_specP$BinaryFunction`
`static class`	`kb_mapping_macros.$clear_simple_term_assertion_list_filtered$ZeroArityFunction`
`static class`	`kb_mapping_macros.$decontextualized_ist_predicate_rule_final_index_spec_iterator_doneP$UnaryFunction`
`static class`	`kb_mapping_macros.$decontextualized_ist_predicate_rule_final_index_spec_iterator_next$UnaryFunction`
`static class`	`kb_mapping_macros.$decontextualized_ist_predicate_rule_index_asent_match_p$BinaryFunction`
`static class`	`kb_mapping_macros.$gaf_arg_final_index_spec_iterator_doneP$UnaryFunction`
`static class`	`kb_mapping_macros.$gaf_arg_final_index_spec_iterator_next$UnaryFunction`
`static class`	`kb_mapping_macros.$nart_arg_final_index_spec_iterator_doneP$UnaryFunction`
`static class`	`kb_mapping_macros.$nart_arg_final_index_spec_iterator_next$UnaryFunction`
`static class`	`kb_mapping_macros.$other_index_assertion_match_p$BinaryFunction`
`static class`	`kb_mapping_macros.$pred_arg2_rule_final_index_spec_iterator_doneP$UnaryFunction`
`static class`	`kb_mapping_macros.$pred_arg2_rule_final_index_spec_iterator_next$UnaryFunction`
`static class`	`kb_mapping_macros.$predicate_extent_final_index_spec_iterator_doneP$UnaryFunction`
`static class`	`kb_mapping_macros.$predicate_extent_final_index_spec_iterator_next$UnaryFunction`
`static class`	`kb_mapping_macros.$predicate_rule_final_index_spec_iterator_doneP$UnaryFunction`
`static class`	`kb_mapping_macros.$predicate_rule_final_index_spec_iterator_next$UnaryFunction`
`class`	`kb_mapping_utilities`
`static class`	`kb_mapping.$assertion_with_search_term$UnaryFunction`
`static class`	`kb_mapping.$gather_assertions$UnaryFunction`
`class`	`kb_object_manager`
`static class`	`kb_object_manager.$kb_object_manager_p$UnaryFunction`
`class`	`kb_paths`
`class`	`kb_utilities`
`static class`	`kb_utilities.$clear_cached_union_all_specs_count$ZeroArityFunction`
`static class`	`kb_utilities.$clear_forbidden_kb_covering_collections_set$ZeroArityFunction`
`static class`	`kb_utilities.$form_sort_pred$BinaryFunction`
`static class`	`kb_utilities.$fort_L$BinaryFunction`
`static class`	`kb_utilities.$hl_external_id_string_p$UnaryFunction`
`static class`	`kb_utilities.$term_L$BinaryFunction`
`class`	`ke`
`class`	`keyhash`
`class`	`keyhash_utilities`
`static class`	`keyhash.$iterate_keyhash_necessary$UnaryFunction`
`static class`	`keyhash.$keyhash_p$UnaryFunction`
`class`	`list_utilities`
`static class`	`list_utilities.$cadar$UnaryFunction`
`static class`	`list_utilities.$dotted_list_p$UnaryFunction`
`static class`	`list_utilities.$flip_cons$UnaryFunction`
`static class`	`list_utilities.$negated_test_func$UnaryFunction`
`static class`	`list_utilities.$quotify$UnaryFunction`
`static class`	`list_utilities.$sort_via_position_earlier$BinaryFunction`
`class`	`lucene_session`
`static class`	`lucene_session.$lucene_session_p$UnaryFunction`
`class`	`mail_message`
`static class`	`mail_message.$message_p$UnaryFunction`
`static class`	`mail_message.$message_part_p$UnaryFunction`
`class`	`map_utilities`
`class`	`memoization_state`
`static class`	`memoization_state.$caching_state_p$UnaryFunction`
`static class`	`memoization_state.$memoization_state_p$UnaryFunction`
`class`	`meta_macros`
`class`	`misc_kb_utilities`
`static class`	`misc_kb_utilities.$get_term_id$UnaryFunction`
`class`	`misc_utilities`
`class`	`modules`
`static class`	`modules.$module_p$UnaryFunction`
`static class`	`modules.$system_p$UnaryFunction`
`class`	`morphology`
`static class`	`morphology.$aes_able_to_ate$BinaryFunction`
`static class`	`morphology.$aes_add_e_before_s$BinaryFunction`
`static class`	`morphology.$aes_ble_to_bil_before_ity$BinaryFunction`
`static class`	`morphology.$aes_change_aic_to_ac$BinaryFunction`
`static class`	`morphology.$aes_change_ceive_to_cept$BinaryFunction`
`static class`	`morphology.$aes_change_ie_to_y$BinaryFunction`
`static class`	`morphology.$aes_change_ism_to_ist$BinaryFunction`
`static class`	`morphology.$aes_change_y_to_i$BinaryFunction`
`static class`	`morphology.$aes_geminate_last$BinaryFunction`
`static class`	`morphology.$aes_remove_able_le_before_ly$BinaryFunction`
`static class`	`morphology.$aes_strip_final_e$BinaryFunction`
`static class`	`morphology.$aes_strip_final_vowels_before_ic$BinaryFunction`
`class`	`mt_relevance_cache`
`class`	`mt_relevance_macros`
`class`	`mt_vars`
`static class`	`mt_vars.$core_microtheory_p$UnaryFunction`
`static class`	`mt_vars.$special_core_loop_mt_p$UnaryFunction`
`class`	`nart_handles`
`static class`	`nart_handles.$nart_p$UnaryFunction`
`static class`	`nart_handles.$sxhash_nart_method$UnaryFunction`
`class`	`nart_hl_formula_manager`
`class`	`nart_index_manager`
`class`	`narts_high`
`static class`	`narts_high.$find_nart$UnaryFunction`
`static class`	`narts_high.$nart_hl_formula$UnaryFunction`
`class`	`negation_predicate`
`class`	`neural_net`
`static class`	`neural_net.$neural_net_p$UnaryFunction`
`static class`	`neural_net.$nn_input_node_p$UnaryFunction`
`class`	`new_cycl_query_specification`
`static class`	`new_cycl_query_specification.$new_cycl_query_specification_p$UnaryFunction`
`class`	`number_utilities`
`class`	`numeric_date_utilities`
`class`	`obsolete`
`class`	`operation_communication` Handles communication to other Cyc images and does the
`class`	`operation_queues`
`class`	`os_process_utilities`
`static class`	`os_process_utilities.$os_process_impl_p$UnaryFunction`
`class`	`pattern_match`
`static class`	`pattern_match.$pattern_matches_tree_recursive$BinaryFunction`
`class`	`postcanonicalizer`
`class`	`precanonicalizer`
`static class`	`precanonicalizer.$el_evaluatable_expressionP$BinaryFunction`
`static class`	`precanonicalizer.$el_evaluatable_expressionP$UnaryFunction`
`class`	`pred_relevance_macros`
`static class`	`pred_relevance_macros.$pred_info_object_p$UnaryFunction`
`class`	`predicate_relevance_cache`
`class`	`preserves_genls_in_arg`
`static class`	`preserves_genls_in_arg.$pgia_after_adding_isa$BinaryFunction`
`class`	`process_utilities`
`static class`	`process_utilities.$ipc_queue_p$UnaryFunction`
`static class`	`process_utilities.$ordered_ipc_queue_p$UnaryFunction`
`static class`	`process_utilities.$process_wrapper_p$UnaryFunction`
`static class`	`process_utilities.$task_p$UnaryFunction`
`static class`	`process_utilities.$thinking_task_p$UnaryFunction`
`class`	`psc`
`class`	`queues`
`static class`	`queues.$lazy_priority_queue_p$UnaryFunction`
`static class`	`queues.$locked_p_queue_p$UnaryFunction`
`static class`	`queues.$locked_queue_p$UnaryFunction`
`static class`	`queues.$pq_collision_empty$UnaryFunction`
`static class`	`queues.$pq_collision_enter$BinaryFunction`
`static class`	`queues.$pq_collision_remove$BinaryFunction`
`static class`	`queues.$priority_queue_p$UnaryFunction`
`static class`	`queues.$queue_p$UnaryFunction`
`class`	`red_api`
`static class`	`red_api.$red_element_struct_p$UnaryFunction`
`static class`	`red_api.$red_repository_list_struct_p$UnaryFunction`
`static class`	`red_api.$red_repository_struct_p$UnaryFunction`
`static class`	`red_api.$red_struct_p$UnaryFunction`
`class`	`red_infrastructure`
`class`	`red_infrastructure_macros`
`static class`	`red_infrastructure.$red_symbol_p$UnaryFunction`
`class`	`relation_evaluation`
`static class`	`relation_evaluation.$clear_cached_evaluation_function$ZeroArityFunction`
`static class`	`relation_evaluation.$cyc_evaluate_arg$UnaryFunction`
`class`	`remote_image`
`static class`	`remote_image.$remote_image_connection_p$UnaryFunction`
`static class`	`remote_image.$remote_image_p$UnaryFunction`
`class`	`rewrite_of_propagation`
`static class`	`rewrite_of_propagation.$fort_with_some_source_rewrite_of_assertions$UnaryFunction`
`class`	`rule_macros`
`class`	`scientific_numbers`
`class`	`sdbc`
`static class`	`sdbc.$sdbc_error_p$UnaryFunction`
`static class`	`sdbc.$sql_connection_p$UnaryFunction`
`static class`	`sdbc.$sql_result_set_p$UnaryFunction`
`static class`	`sdbc.$sql_statement_p$UnaryFunction`
`static class`	`sdbc.$sql_ticket_p$UnaryFunction`
`class`	`sdc`
`static class`	`sdc.$any_sdc_wrtP$BinaryFunction`
`static class`	`sdc.$sbhl_determine_sd_and_store_candidates$UnaryFunction`
`static class`	`sdc.$sbhl_gather_sd_candidates$UnaryFunction`
`static class`	`sdc.$sbhl_mark_sd_genls_isas$UnaryFunction`
`class`	`search`
`static class`	`search.$search_node_p$UnaryFunction`
`static class`	`search.$search_struc_p$UnaryFunction`
`class`	`secure_translation`
`static class`	`secure_translation.$secure_id_database_p$UnaryFunction`
`class`	`set`
`class`	`set_contents`
`static class`	`set_contents.$set_contents_size$UnaryFunction`
`class`	`set_utilities`
`static class`	`set.$cfasl_input_set$UnaryFunction`
`static class`	`set.$set_p$UnaryFunction`
`class`	`shelfs`
`static class`	`shelfs.$shelf_info_p$UnaryFunction`
`static class`	`shelfs.$shelf_p$UnaryFunction`
`class`	`simple_indexing`
`static class`	`simple_indexing.$matches_pragma_rule_index_test$BinaryFunction`
`class`	`simple_lru_cache_strategy`
`static class`	`simple_lru_cache_strategy.$simple_lru_cache_strategy_p$UnaryFunction`
`class`	`simplifier`
`static class`	`simplifier.$nested_collectionsubsetfn_expressionP$UnaryFunction`
`static class`	`simplifier.$simplify_cycl_sentence_int$BinaryFunction`
`static class`	`simplifier.$simplify_cycl_sentence_int$UnaryFunction`
`class`	`skolems`
`class`	`somewhere_cache`
`class`	`sparse_matrix`
`static class`	`sparse_matrix.$sparse_matrix_p$UnaryFunction`
`class`	`sparse_vector`
`static class`	`sparse_vector.$sparse_vector_p$UnaryFunction`
`class`	`special_variable_state`
`static class`	`special_variable_state.$special_variable_state_p$UnaryFunction`
`class`	`stacks`
`static class`	`stacks.$locked_stack_p$UnaryFunction`
`static class`	`stacks.$stack_p$UnaryFunction`
`class`	`standard_tokenization`
`static class`	`standard_tokenization.$dot_analysis_p$UnaryFunction`
`class`	`stream_buffer`
`static class`	`stream_buffer.$stream_buffer_p$UnaryFunction`
`static class`	`stream_buffer.$string_buffer_p$UnaryFunction`
`class`	`string_utilities`
`static class`	`string_utilities.$char_in_char_set$UnaryFunction`
`static class`	`string_utilities.$cyclify_status_p$UnaryFunction`
`static class`	`string_utilities.$not_digit_char_p$UnaryFunction`
`static class`	`string_utilities.$string_wXo_control_charsP$UnaryFunction`
`static class`	`string_utilities.$whitespacep$UnaryFunction`
`class`	`subl_identifier`
`class`	`subl_macro_promotions`
`class`	`subl_macros`
`class`	`subl_promotions`
`static class`	`subl_promotions.$non_negative_integer_p$UnaryFunction`
`class`	`system_benchmarks`
`class`	`system_info`
`class`	`system_parameters`
`class`	`system_translation`
`static class`	`system_translation.$system_translation_p$UnaryFunction`
`class`	`system_version`
`class`	`task_processor`
`static class`	`task_processor.$task_info_p$UnaryFunction`
`static class`	`task_processor.$task_process_pool_p$UnaryFunction`
`static class`	`task_processor.$task_processor_p$UnaryFunction`
`static class`	`task_processor.$task_result_set_p$UnaryFunction`
`class`	`tcp_server_utilities`
`static class`	`tcp_server_utilities.$tcp_server_p$UnaryFunction`
`class`	`term`
`static class`	`term.$closed_nautP$BinaryFunction`
`static class`	`term.$closed_nautP$UnaryFunction`
`static class`	`term.$fast_reified_skolemP$UnaryFunction`
`static class`	`term.$fast_skolem_natP$UnaryFunction`
`static class`	`term.$kb_assertionP$UnaryFunction`
`static class`	`term.$reified_skolem_constant_termP$UnaryFunction`
`static class`	`term.$skolem_constantP$UnaryFunction`
`static class`	`term.$unreified_skolem_termP$UnaryFunction`
`static class`	`term.$var_specP$UnaryFunction`
`class`	`test_query_suite`
`static class`	`test_query_suite.$test_query_suite_p$UnaryFunction`
`class`	`timing`
`static class`	`timing.$timing_info_p$UnaryFunction`
`class`	`tms`
`class`	`transcript_server`
`class`	`transcript_utilities`
`class`	`transform_list_utilities`
`class`	`transitivity`
`class`	`tries`
`static class`	`tries.$trie_p$UnaryFunction`
`class`	`tva_cache`
`static class`	`tva_cache.$tva_cache_p$UnaryFunction`
`class`	`tva_inference`
`static class`	`tva_inference.$tva_inference_p$UnaryFunction`
`class`	`tva_strategy`
`static class`	`tva_strategy.$tva_strategy_p$UnaryFunction`
`class`	`tva_tactic`
`static class`	`tva_tactic.$tva_tactic_p$UnaryFunction`
`class`	`tva_utilities`
`static class`	`tva_utilities.$clear_cached_some_cva_for_predicate$ZeroArityFunction`
`static class`	`tva_utilities.$clear_cached_some_tva_for_predicate$ZeroArityFunction`
`static class`	`tva_utilities.$clear_cached_tva_spec_preds_and_inverses$ZeroArityFunction`
`static class`	`tva_utilities.$some_conservative_via_arg_assertionP$UnaryFunction`
`static class`	`tva_utilities.$some_transitive_via_arg_assertionP$UnaryFunction`
`static class`	`tva_utilities.$tva_assertion_p$UnaryFunction`
`class`	`uncanonicalizer`
`static class`	`uncanonicalizer.$fast_fi_not_el_termP$UnaryFunction`
`static class`	`uncanonicalizer.$potentially_interestingly_uncanonicalizable_tense_termP$UnaryFunction`
`class`	`unicode_streams`
`static class`	`unicode_streams.$utf8_stream_p$UnaryFunction`
`class`	`unicode_strings`
`static class`	`unicode_strings.$unicode_char_p$UnaryFunction`
`static class`	`unicode_strings.$unicode_string_p$UnaryFunction`
`class`	`unicode_subsets`
`class`	`unification`
`class`	`unification_utilities`
`static class`	`unification_utilities.$unify_clause$BinaryFunction`
`static class`	`unification.$base_variable_p$UnaryFunction`
`static class`	`unification.$variable_non_base_version$UnaryFunction`
`class`	`unrepresented_term_index_manager`
`class`	`unrepresented_terms`
`class`	`user_actions`
`static class`	`user_actions.$action_type_p$UnaryFunction`
`static class`	`user_actions.$user_action_p$UnaryFunction`
`class`	`utilities_macros`
`class`	`value_tables`
`static class`	`value_tables.$value_table_column_p$UnaryFunction`
`static class`	`value_tables.$value_table_p$UnaryFunction`
`static class`	`value_tables.$variable_mapping_table_p$UnaryFunction`
`class`	`variables`
`static class`	`variables.$fully_bound_p$UnaryFunction`
`static class`	`variables.$not_fully_bound_p$UnaryFunction`
`static class`	`variables.$sxhash_variable_method$UnaryFunction`
`static class`	`variables.$variable_L$BinaryFunction`
`static class`	`variables.$variable_p$UnaryFunction`
`class`	`vector_utilities`
`class`	`verbosifier`
`static class`	`verbosifier.$expandible_el_relation_expressionP$BinaryFunction`
`static class`	`verbosifier.$expandible_el_relation_expressionP$UnaryFunction`
`class`	`virtual_indexing`
`class`	`web_utilities`
`static class`	`web_utilities.$html_url_expand_char$UnaryFunction`
`static class`	`web_utilities.$url_p$UnaryFunction`
`static class`	`web_utilities.$xml_token_iterator_state_p$UnaryFunction`
`static class`	`web_utilities.$xml_token_mentions$BinaryFunction`
`class`	`wff`
`class`	`wff_macros`
`class`	`wff_module_datastructures`
`static class`	`wff_module_datastructures.$wff_module_p$UnaryFunction`
`class`	`wff_utilities`
`static class`	`wff_utilities.$non_wf_fort_p$UnaryFunction`
`static class`	`wff_utilities.$non_wf_variable_p$UnaryFunction`
`class`	`wff_vars`
`static class`	`wff.$clear_mal_actual_arity_cachedP$ZeroArityFunction`
`class`	`xml_utilities`
`class`	`xref_database`
`static class`	`xref_database.$xref_module_p$UnaryFunction`
`static class`	`xref_database.$xref_system_p$UnaryFunction`

Uses of CommonSymbols in com.cyc.cycjava.cycl.cyc_testing

Classes in com.cyc.cycjava.cycl.cyc_testing that implement CommonSymbols
`class`	`ctest_utils`
`class`	`cyc_testing`
`class`	`cyc_testing_initialization`
`static class`	`cyc_testing.$cyc_test_file_p$UnaryFunction`
`static class`	`cyc_testing.$cyc_test_p$UnaryFunction`
`class`	`evaluatable_relation_tests`
`static class`	`evaluatable_relation_tests.$ert_id$UnaryFunction`
`static class`	`evaluatable_relation_tests.$evaluatable_relation_test_p$UnaryFunction`
`class`	`generic_testing`
`static class`	`generic_testing.$generic_test_case_table_p$UnaryFunction`
`class`	`inference_unit_tests`
`static class`	`inference_unit_tests.$inference_unit_test_p$UnaryFunction`
`class`	`removal_module_cost_tests`
`static class`	`removal_module_cost_tests.$removal_module_cost_test_p$UnaryFunction`
`class`	`removal_module_tests`
`static class`	`removal_module_tests.$removal_module_test_p$UnaryFunction`
`class`	`transformation_module_tests`
`static class`	`transformation_module_tests.$transformation_module_test_p$UnaryFunction`

Uses of CommonSymbols in com.cyc.cycjava.cycl.cyc_testing.kb_content_test

Classes in com.cyc.cycjava.cycl.cyc_testing.kb_content_test that implement CommonSymbols
`class`	`kct_utils`

Uses of CommonSymbols in com.cyc.cycjava.cycl.inference

Classes in com.cyc.cycjava.cycl.inference that implement CommonSymbols
`class`	`arete`
`class`	`ask_utilities`
`class`	`collection_intersection`
`class`	`inference_completeness_utilities`
`class`	`inference_pad_data`
`class`	`inference_trampolines`
`static class`	`inference_trampolines.$clear_indeterminate_term_p$ZeroArityFunction`
`static class`	`inference_trampolines.$inference_commutative_predicate_p$UnaryFunction`
`static class`	`inference_trampolines.$inference_evaluatable_predicateP$UnaryFunction`
`static class`	`inference_trampolines.$inference_partially_commutative_predicate_p$UnaryFunction`
`static class`	`inference_trampolines.$inference_predicate_p$UnaryFunction`
`static class`	`inference_trampolines.$inference_reflexive_predicateP$UnaryFunction`
`static class`	`inference_trampolines.$inference_some_genl_pred_or_inverseP$UnaryFunction`
`static class`	`inference_trampolines.$inference_some_spec_pred_or_inverseP$UnaryFunction`
`static class`	`inference_trampolines.$inference_symmetric_predicateP$UnaryFunction`
`static class`	`inference_trampolines.$inference_transitive_predicateP$UnaryFunction`
`class`	`janus`
`class`	`kbq_query_run`
`static class`	`kbq_query_run.$clear_cached_all_instances_among$ZeroArityFunction`
`static class`	`kbq_query_run.$kbq_runstate_p$UnaryFunction`
`static class`	`kbq_query_run.$kct_runstate_p$UnaryFunction`
`static class`	`kbq_query_run.$kct_set_runstate_p$UnaryFunction`
`class`	`leviathan`

Uses of CommonSymbols in com.cyc.cycjava.cycl.inference.harness

Classes in com.cyc.cycjava.cycl.inference.harness that implement CommonSymbols
`class`	`abnormal`
`class`	`after_adding`
`class`	`argumentation`
`class`	`balancing_tactician`
`static class`	`balancing_tactician.$balancing_tactician_data_p$UnaryFunction`
`class`	`forward`
`class`	`hl_prototypes`
`class`	`inference_abduction_utilities`
`class`	`inference_analysis`
`class`	`inference_balanced_tactician_datastructures`
`static class`	`inference_balanced_tactician_datastructures.$balanced_strategy_data_p$UnaryFunction`
`class`	`inference_balanced_tactician_execution`
`static class`	`inference_balanced_tactician_execution.$balanced_strategy_default_select_best_strategem$UnaryFunction`
`static class`	`inference_balanced_tactician_execution.$balanced_strategy_do_one_step$UnaryFunction`
`static class`	`inference_balanced_tactician_execution.$balanced_strategy_doneP$UnaryFunction`
`class`	`inference_balanced_tactician_motivation`
`static class`	`inference_balanced_tactician_motivation.$balanced_strategy_possibly_activate_problem$BinaryFunction`
`class`	`inference_balanced_tactician_strategic_uninterestingness`
`class`	`inference_czer`
`static class`	`inference_czer.$inference_contextualized_asent_L$BinaryFunction`
`static class`	`inference_czer.$non_contiguous_hl_varP$UnaryFunction`
`static class`	`inference_czer.$non_fixed_variable_p$UnaryFunction`
`static class`	`inference_czer.$possibly_note_hl_var_contiguity_pair$UnaryFunction`
`static class`	`inference_czer.$variable_token$UnaryFunction`
`static class`	`inference_czer.$variable_token$ZeroArityFunction`
`class`	`inference_datastructures_enumerated_types`
`static class`	`inference_datastructures_enumerated_types.$inference_dynamic_property_p$UnaryFunction`
`static class`	`inference_datastructures_enumerated_types.$inference_query_metric_p$UnaryFunction`
`static class`	`inference_datastructures_enumerated_types.$inference_static_property_p$UnaryFunction`
`static class`	`inference_datastructures_enumerated_types.$problem_store_property_p$UnaryFunction`
`static class`	`inference_datastructures_enumerated_types.$query_dynamic_property_p$UnaryFunction`
`static class`	`inference_datastructures_enumerated_types.$query_static_property_p$UnaryFunction`
`static class`	`inference_datastructures_enumerated_types.$strategy_dynamic_property_p$UnaryFunction`
`static class`	`inference_datastructures_enumerated_types.$strategy_static_property_p$UnaryFunction`
`class`	`inference_datastructures_forward_propagate`
`static class`	`inference_datastructures_forward_propagate.$forward_propagate_p$UnaryFunction`
`class`	`inference_datastructures_inference`
`static class`	`inference_datastructures_inference.$inference_answer_justification_p$UnaryFunction`
`static class`	`inference_datastructures_inference.$inference_answer_justification_supports$UnaryFunction`
`static class`	`inference_datastructures_inference.$inference_answer_p$UnaryFunction`
`static class`	`inference_datastructures_inference.$inference_p$UnaryFunction`
`static class`	`inference_datastructures_inference.$sxhash_inference_method$UnaryFunction`
`class`	`inference_datastructures_problem`
`class`	`inference_datastructures_problem_link`
`static class`	`inference_datastructures_problem_link.$mapped_problem_equal$BinaryFunction`
`static class`	`inference_datastructures_problem_link.$mapped_problem_p$UnaryFunction`
`static class`	`inference_datastructures_problem_link.$problem_link_p$UnaryFunction`
`static class`	`inference_datastructures_problem_link.$sxhash_problem_link_method$UnaryFunction`
`class`	`inference_datastructures_problem_query`
`static class`	`inference_datastructures_problem_query.$formula_term_signature_visit$UnaryFunction`
`class`	`inference_datastructures_problem_store`
`static class`	`inference_datastructures_problem_store.$problem_store_janitor_p$UnaryFunction`
`static class`	`inference_datastructures_problem_store.$problem_store_p$UnaryFunction`
`static class`	`inference_datastructures_problem.$problem_p$UnaryFunction`
`static class`	`inference_datastructures_problem.$sxhash_problem_method$UnaryFunction`
`class`	`inference_datastructures_proof`
`static class`	`inference_datastructures_proof.$proof_p$UnaryFunction`
`static class`	`inference_datastructures_proof.$proof_provenP$UnaryFunction`
`static class`	`inference_datastructures_proof.$sxhash_proof_method$UnaryFunction`
`class`	`inference_datastructures_strategy`
`static class`	`inference_datastructures_strategy.$problem_strategic_properties_p$UnaryFunction`
`static class`	`inference_datastructures_strategy.$strategy_p$UnaryFunction`
`static class`	`inference_datastructures_strategy.$sxhash_strategy_method$UnaryFunction`
`static class`	`inference_datastructures_strategy.$tactic_strategic_properties_p$UnaryFunction`
`class`	`inference_datastructures_tactic`
`static class`	`inference_datastructures_tactic.$sxhash_tactic_method$UnaryFunction`
`static class`	`inference_datastructures_tactic.$tactic_p$UnaryFunction`
`static class`	`inference_datastructures_tactic.$tactic_possibleP$UnaryFunction`
`static class`	`inference_datastructures_tactic.$tactic_progress_doneP$UnaryFunction`
`static class`	`inference_datastructures_tactic.$tactic_progress_finalize$UnaryFunction`
`static class`	`inference_datastructures_tactic.$tactic_progress_next$UnaryFunction`
`class`	`inference_heuristic_balanced_tactician`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_activate_strategem_wrt_removal$BinaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_activate_strategem_wrt_transformation$BinaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_add_new_root$BinaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_chooses_to_throw_away_new_rootP$BinaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_initialize$UnaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_new_rootsP$UnaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_strategems_active_wrt_removalP$UnaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_strategems_active_wrt_transformationP$UnaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_new_root$UnaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_strategem_wrt_removal$UnaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_strategem_wrt_transformation$UnaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_new_root$UnaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_strategem_wrt_removal$UnaryFunction`
`static class`	`inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_strategem_wrt_transformation$UnaryFunction`
`class`	`inference_kernel`
`static class`	`inference_kernel.$inference_bindings_hl_to_el$UnaryFunction`
`class`	`inference_lookahead_productivity`
`class`	`inference_macros`
`class`	`inference_metrics`
`static class`	`inference_metrics.$inference_metric_p$UnaryFunction`
`class`	`inference_min_transformation_depth`
`class`	`inference_modules`
`static class`	`inference_modules.$allowed_modules_spec_p$UnaryFunction`
`static class`	`inference_modules.$hl_module_p$UnaryFunction`
`static class`	`inference_modules.$hl_module_sense$UnaryFunction`
`static class`	`inference_modules.$sxhash_hl_module_method$UnaryFunction`
`class`	`inference_parameters`
`class`	`inference_strategic_heuristics`
`static class`	`inference_strategic_heuristics.$strategic_heuristic_backchain_required$BinaryFunction`
`static class`	`inference_strategic_heuristics.$strategic_heuristic_completeness$BinaryFunction`
`static class`	`inference_strategic_heuristics.$strategic_heuristic_magic_wand$BinaryFunction`
`static class`	`inference_strategic_heuristics.$strategic_heuristic_occams_razor$BinaryFunction`
`static class`	`inference_strategic_heuristics.$strategic_heuristic_relevant_term$BinaryFunction`
`static class`	`inference_strategic_heuristics.$strategic_heuristic_rule_a_priori_utility$BinaryFunction`
`static class`	`inference_strategic_heuristics.$strategic_heuristic_rule_historical_utility$BinaryFunction`
`static class`	`inference_strategic_heuristics.$strategic_heuristic_rule_literal_count$BinaryFunction`
`static class`	`inference_strategic_heuristics.$strategic_heuristic_shallow_and_cheap$BinaryFunction`
`class`	`inference_strategist`
`class`	`inference_tactician`
`class`	`inference_tactician_strategic_uninterestingness`
`class`	`inference_tactician_utilities`
`static class`	`inference_tactician.$happiness_G$BinaryFunction`
`static class`	`inference_tactician.$strategy_sort_predicateP$BinaryFunction`
`class`	`inference_trivial`
`class`	`inference_worker`
`class`	`inference_worker_answer`
`class`	`inference_worker_join`
`class`	`inference_worker_join_ordered`
`static class`	`inference_worker_join_ordered.$join_ordered_link_data_p$UnaryFunction`
`static class`	`inference_worker_join.$join_link_data_p$UnaryFunction`
`class`	`inference_worker_removal`
`static class`	`inference_worker_removal.$inference_remove_unify_default$BinaryFunction`
`static class`	`inference_worker_removal.$inference_remove_unify_default$UnaryFunction`
`static class`	`inference_worker_removal.$removal_link_data_p$UnaryFunction`
`class`	`inference_worker_residual_transformation`
`class`	`inference_worker_restriction`
`static class`	`inference_worker_restriction.$restriction_link_data_p$UnaryFunction`
`static class`	`inference_worker_restriction.$restriction_listening_link_data_p$UnaryFunction`
`class`	`inference_worker_rewrite`
`static class`	`inference_worker_rewrite.$rewrite_link_data_p$UnaryFunction`
`class`	`inference_worker_split`
`class`	`inference_worker_transformation`
`static class`	`inference_worker_transformation.$hl_variable_not_mentioned_in_rule_dnf_but_mentioned_in_merge_dnf$UnaryFunction`
`static class`	`inference_worker_transformation.$transformation_link_data_p$UnaryFunction`
`static class`	`inference_worker_transformation.$transformation_tactic_p$UnaryFunction`
`class`	`inference_worker_union`
`class`	`new_root_tactician_datastructures`
`static class`	`new_root_tactician_datastructures.$new_root_strategy_data_p$UnaryFunction`
`class`	`removal_module_utilities`
`class`	`removal_tactician`
`class`	`removal_tactician_datastructures`
`static class`	`removal_tactician_datastructures.$removal_strategy_data_p$UnaryFunction`
`class`	`removal_tactician_execution`
`class`	`removal_tactician_motivation`
`class`	`removal_tactician_uninterestingness`
`class`	`rule_after_adding`
`class`	`transformation_tactician_datastructures`
`static class`	`transformation_tactician_datastructures.$transformation_strategy_data_p$UnaryFunction`

Uses of CommonSymbols in com.cyc.cycjava.cycl.inference.modules

Classes in com.cyc.cycjava.cycl.inference.modules that implement CommonSymbols
`class`	`after_adding_modules`
`static class`	`after_adding_modules.$clear_isa_dependent_caches$BinaryFunction`
`class`	`forward_modules`
`static class`	`forward_modules.$forward_asymmetric_required$UnaryFunction`
`static class`	`forward_modules.$forward_eval_exclusive_pos$UnaryFunction`
`static class`	`forward_modules.$forward_genlinverse_pos_rule_select$UnaryFunction`
`static class`	`forward_modules.$forward_genlpreds_pos_rule_select$UnaryFunction`
`static class`	`forward_modules.$forward_isa_expand$BinaryFunction`
`static class`	`forward_modules.$forward_isa_rule_select$UnaryFunction`
`static class`	`forward_modules.$forward_ist_pos_expand$BinaryFunction`
`static class`	`forward_modules.$forward_ist_pos_rule_select$UnaryFunction`
`static class`	`forward_modules.$forward_negationinverse_required$UnaryFunction`
`static class`	`forward_modules.$forward_negationpreds_required$UnaryFunction`
`static class`	`forward_modules.$forward_normal_pos_expand$BinaryFunction`
`static class`	`forward_modules.$forward_normal_pos_rule_select$UnaryFunction`
`static class`	`forward_modules.$forward_symmetric_pos_rule_select$UnaryFunction`
`static class`	`forward_modules.$forward_unbound_pred_pos_required$UnaryFunction`
`class`	`preference_modules`
`static class`	`preference_modules.$preference_module_p$UnaryFunction`
`static class`	`preference_modules.$sxhash_preference_module_method$UnaryFunction`
`class`	`rewrite_modules`
`class`	`simplification_modules`
`static class`	`simplification_modules.$simplification_duplicate_literals_via_functionality_pos_lits_applicability$UnaryFunction`
`class`	`transformation_modules`
`static class`	`transformation_modules.$trans_predicate_genlpreds_pos_cost$UnaryFunction`
`static class`	`transformation_modules.$trans_predicate_genlpreds_pos_required$UnaryFunction`
`static class`	`transformation_modules.$trans_predicate_genlpreds_pos_rule_select$UnaryFunction`
`static class`	`transformation_modules.$trans_predicate_pos_cost$UnaryFunction`
`static class`	`transformation_modules.$trans_predicate_pos_expand$BinaryFunction`
`static class`	`transformation_modules.$trans_predicate_pos_required$UnaryFunction`
`static class`	`transformation_modules.$trans_predicate_pos_rule_filter$BinaryFunction`
`static class`	`transformation_modules.$trans_predicate_pos_rule_select$UnaryFunction`
`static class`	`transformation_modules.$trans_predicate_symmetry_pos_cost$UnaryFunction`
`static class`	`transformation_modules.$trans_predicate_symmetry_pos_expand$BinaryFunction`
`static class`	`transformation_modules.$trans_predicate_symmetry_pos_rule_filter$BinaryFunction`
`static class`	`transformation_modules.$trans_predicate_symmetry_pos_rule_select$UnaryFunction`
`static class`	`transformation_modules.$trans_unbound_predicate_pos_cost$UnaryFunction`
`static class`	`transformation_modules.$trans_unbound_predicate_pos_required$UnaryFunction`

Uses of CommonSymbols in com.cyc.cycjava.cycl.inference.modules.removal

Classes in com.cyc.cycjava.cycl.inference.modules.removal that implement CommonSymbols
`class`	`meta_removal_modules`
`class`	`removal_modules_abduction`
`static class`	`removal_modules_abduction.$removal_abduction_allowedP$BinaryFunction`
`static class`	`removal_modules_abduction.$removal_abduction_allowedP$UnaryFunction`
`class`	`removal_modules_asserted_formula`
`static class`	`removal_modules_asserted_formula.$removal_asserted_sentence_lookup_iterator$UnaryFunction`
`static class`	`removal_modules_asserted_formula.$removal_asserted_sentence_lookup_pos_cost$BinaryFunction`
`static class`	`removal_modules_asserted_formula.$removal_asserted_sentence_lookup_pos_cost$UnaryFunction`
`class`	`removal_modules_backchain_required`
`static class`	`removal_modules_backchain_required.$current_problem_store_transformation_allowedP$UnaryFunction`
`static class`	`removal_modules_backchain_required.$current_problem_store_transformation_allowedP$ZeroArityFunction`
`static class`	`removal_modules_backchain_required.$inference_backchain_required_asent_in_relevant_mtP$BinaryFunction`
`static class`	`removal_modules_backchain_required.$inference_backchain_required_asent_in_relevant_mtP$UnaryFunction`
`class`	`removal_modules_conjunctive_pruning`
`static class`	`removal_modules_conjunctive_pruning.$prune_unknown_sentence_literal_inconsistency_applicability$UnaryFunction`
`static class`	`removal_modules_conjunctive_pruning.$residual_transformation_non_wff_applicability$UnaryFunction`
`static class`	`removal_modules_conjunctive_pruning.$thing_tupleP$UnaryFunction`
`class`	`removal_modules_different`
`static class`	`removal_modules_different.$removal_different_duplicate_exclusive$BinaryFunction`
`static class`	`removal_modules_different.$removal_different_duplicate_exclusive$UnaryFunction`
`class`	`removal_modules_evaluation`
`static class`	`removal_modules_evaluation.$removal_eval_exclusive$BinaryFunction`
`static class`	`removal_modules_evaluation.$removal_eval_exclusive$UnaryFunction`
`static class`	`removal_modules_evaluation.$removal_eval_required$BinaryFunction`
`static class`	`removal_modules_evaluation.$removal_eval_required$UnaryFunction`
`class`	`removal_modules_function_corresponding_predicate`
`static class`	`removal_modules_function_corresponding_predicate.$removal_fcp_find_nat_required$BinaryFunction`
`static class`	`removal_modules_function_corresponding_predicate.$removal_fcp_find_nat_required$UnaryFunction`
`class`	`removal_modules_genlpreds`
`class`	`removal_modules_genlpreds_lookup`
`static class`	`removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_cost$BinaryFunction`
`static class`	`removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_cost$UnaryFunction`
`static class`	`removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_iterator$UnaryFunction`
`static class`	`removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_cost$BinaryFunction`
`static class`	`removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_cost$UnaryFunction`
`static class`	`removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_iterator$UnaryFunction`
`static class`	`removal_modules_genlpreds_lookup.$removal_genlpreds_pred_index_pos_cost$BinaryFunction`
`static class`	`removal_modules_genlpreds_lookup.$removal_genlpreds_pred_index_pos_cost$UnaryFunction`
`static class`	`removal_modules_genlpreds.$removal_genlpreds_check_expand$BinaryFunction`
`static class`	`removal_modules_genlpreds.$removal_genlpreds_check_expand$UnaryFunction`
`class`	`removal_modules_genls`
`static class`	`removal_modules_genls.$removal_genls_between_applicability$UnaryFunction`
`static class`	`removal_modules_genls.$removal_superset_expand$BinaryFunction`
`static class`	`removal_modules_genls.$removal_superset_expand$UnaryFunction`
`class`	`removal_modules_indexical_referent`
`static class`	`removal_modules_indexical_referent.$indexical_referent_term_p$UnaryFunction`
`static class`	`removal_modules_indexical_referent.$temporal_indexical_expand$UnaryFunction`
`class`	`removal_modules_isa`
`static class`	`removal_modules_isa.$removal_all_instances_completeness$UnaryFunction`
`static class`	`removal_modules_isa.$removal_all_instances_cost$BinaryFunction`
`static class`	`removal_modules_isa.$removal_all_instances_cost$UnaryFunction`
`static class`	`removal_modules_isa.$removal_all_isa_of_type_applicability$UnaryFunction`
`static class`	`removal_modules_isa.$removal_elementof_check_expand$BinaryFunction`
`static class`	`removal_modules_isa.$removal_elementof_check_expand$UnaryFunction`
`static class`	`removal_modules_isa.$removal_isa_collection_check_pos_cost$BinaryFunction`
`static class`	`removal_modules_isa.$removal_isa_collection_check_pos_cost$UnaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_collection_check_pos_cost$BinaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_collection_check_pos_cost$UnaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_collection_check_pos_expand$BinaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_collection_check_pos_expand$UnaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_defn_pos_required$BinaryFunction`
`static class`	`removal_modules_isa.$removal_quoted_isa_defn_pos_required$UnaryFunction`
`class`	`removal_modules_lookup`
`static class`	`removal_modules_lookup.$asent_has_indexed_term_arg_p$BinaryFunction`
`static class`	`removal_modules_lookup.$asent_has_indexed_term_arg_p$UnaryFunction`
`static class`	`removal_modules_lookup.$removal_completely_asserted_asentP$UnaryFunction`
`static class`	`removal_modules_lookup.$removal_lookup_pos_cost$BinaryFunction`
`static class`	`removal_modules_lookup.$removal_lookup_pos_cost$UnaryFunction`
`static class`	`removal_modules_lookup.$removal_lookup_pos_iterator$UnaryFunction`
`class`	`removal_modules_natfunction`
`class`	`removal_modules_reflexive_on`
`static class`	`removal_modules_reflexive_on.$reflexive_on_predicateP$UnaryFunction`
`class`	`removal_modules_reflexivity`
`static class`	`removal_modules_reflexivity.$removal_reflexive_one_arg_expand$BinaryFunction`
`static class`	`removal_modules_reflexivity.$removal_reflexive_one_arg_expand$UnaryFunction`
`class`	`removal_modules_relation_all`
`class`	`removal_modules_relation_all_exists`
`static class`	`removal_modules_relation_all_exists.$removal_relation_all_exists_unify_required$BinaryFunction`
`static class`	`removal_modules_relation_all_exists.$removal_relation_all_exists_unify_required$UnaryFunction`
`static class`	`removal_modules_relation_all_exists.$removal_relation_exists_all_unify_required$BinaryFunction`
`static class`	`removal_modules_relation_all_exists.$removal_relation_exists_all_unify_required$UnaryFunction`
`class`	`removal_modules_relation_all_instance`
`static class`	`removal_modules_relation_all_instance.$removal_relation_all_instance_iterate_required$BinaryFunction`
`static class`	`removal_modules_relation_all_instance.$removal_relation_all_instance_iterate_required$UnaryFunction`
`static class`	`removal_modules_relation_all_instance.$removal_relation_all_instance_unify_required$BinaryFunction`
`static class`	`removal_modules_relation_all_instance.$removal_relation_all_instance_unify_required$UnaryFunction`
`static class`	`removal_modules_relation_all_instance.$removal_relation_instance_all_iterate_required$BinaryFunction`
`static class`	`removal_modules_relation_all_instance.$removal_relation_instance_all_iterate_required$UnaryFunction`
`static class`	`removal_modules_relation_all_instance.$removal_relation_instance_all_unify_required$BinaryFunction`
`static class`	`removal_modules_relation_all_instance.$removal_relation_instance_all_unify_required$UnaryFunction`
`class`	`removal_modules_relation_instance_exists`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg1_required$BinaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg1_required$UnaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg2_required$BinaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_exists_instance_unbound_arg2_required$UnaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg1_required$BinaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg1_required$UnaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg2_required$BinaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_exists_instance_unify_arg2_required$UnaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_instance_exists_expansion_applicability$UnaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg1_required$BinaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg1_required$UnaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg2_required$BinaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_instance_exists_unbound_arg2_required$UnaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg1_required$BinaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg1_required$UnaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg2_required$BinaryFunction`
`static class`	`removal_modules_relation_instance_exists.$removal_relation_instance_exists_unify_arg2_required$UnaryFunction`
`class`	`removal_modules_symmetry`
`static class`	`removal_modules_symmetry.$removal_symmetric_lookup_pos_cost$BinaryFunction`
`static class`	`removal_modules_symmetry.$removal_symmetric_lookup_pos_cost$UnaryFunction`
`static class`	`removal_modules_symmetry.$removal_symmetric_lookup_pos_iterator$UnaryFunction`
`static class`	`removal_modules_symmetry.$removal_symmetric_supports$UnaryFunction`
`class`	`removal_modules_termofunit`
`static class`	`removal_modules_termofunit.$removal_term_of_unit_unify_impossibleP$UnaryFunction`
`class`	`removal_modules_transitivity`
`static class`	`removal_modules_transitivity.$gt_required_arg_type_p$UnaryFunction`
`static class`	`removal_modules_transitivity.$removal_transitive_arg1_walk_cost$BinaryFunction`
`static class`	`removal_modules_transitivity.$removal_transitive_arg1_walk_cost$UnaryFunction`
`static class`	`removal_modules_transitivity.$removal_transitive_arg1_walk_iterator$BinaryFunction`
`class`	`removal_modules_tva_lookup`
`static class`	`removal_modules_tva_lookup.$removal_tva_unify_closure_conjunction_applicability$UnaryFunction`
`static class`	`removal_modules_tva_lookup.$removal_tva_unify_closure_required$BinaryFunction`
`static class`	`removal_modules_tva_lookup.$removal_tva_unify_closure_required$UnaryFunction`
`static class`	`removal_modules_tva_lookup.$removal_tva_unify_cost$BinaryFunction`
`static class`	`removal_modules_tva_lookup.$removal_tva_unify_cost$UnaryFunction`

Uses of CommonSymbols in com.cyc.cycjava.cycl.sbhl

Classes in com.cyc.cycjava.cycl.sbhl that implement CommonSymbols
`class`	`sbhl_cache`
`static class`	`sbhl_cache.$valid_fort_typeP$UnaryFunction`
`class`	`sbhl_caching_policies`
`class`	`sbhl_graphs`
`class`	`sbhl_iteration`
`static class`	`sbhl_iteration.$sbhl_iterator_p$UnaryFunction`
`class`	`sbhl_link_iterators`
`static class`	`sbhl_link_iterators.$sbhl_link_node_search_state_iterator_state_p$UnaryFunction`
`static class`	`sbhl_link_iterators.$sbhl_module_direction_link_search_state_iterator_state_p$UnaryFunction`
`static class`	`sbhl_link_iterators.$sbhl_module_naut_link_node_search_state_iterator_state_p$UnaryFunction`
`static class`	`sbhl_link_iterators.$sbhl_module_tv_link_node_search_state_iterator_state_p$UnaryFunction`
`class`	`sbhl_link_methods`
`class`	`sbhl_link_utilities`
`class`	`sbhl_link_vars`
`class`	`sbhl_links`
`static class`	`sbhl_links.$sbhl_directed_link_p$UnaryFunction`
`static class`	`sbhl_links.$sbhl_undirected_link_p$UnaryFunction`
`class`	`sbhl_macros`
`class`	`sbhl_marking_methods`
`static class`	`sbhl_marking_methods.$sbhl_mark_closure_as_marked$UnaryFunction`
`class`	`sbhl_marking_utilities`
`static class`	`sbhl_marking_utilities.$sbhl_marked_in_target_space_p$UnaryFunction`
`static class`	`sbhl_marking_utilities.$sbhl_predicate_unmarking_fn$BinaryFunction`
`static class`	`sbhl_marking_utilities.$sbhl_predicate_unmarking_fn$UnaryFunction`
`class`	`sbhl_marking_vars`
`class`	`sbhl_module_declarations`
`class`	`sbhl_module_utilities`
`class`	`sbhl_module_vars`
`static class`	`sbhl_module_vars.$get_sbhl_module$UnaryFunction`
`static class`	`sbhl_module_vars.$get_sbhl_module$ZeroArityFunction`
`static class`	`sbhl_module_vars.$sbhl_module_p$UnaryFunction`
`class`	`sbhl_paranoia`
`class`	`sbhl_search_datastructures`
`static class`	`sbhl_search_datastructures.$sbhl_link_node_search_state_p$UnaryFunction`
`static class`	`sbhl_search_datastructures.$sbhl_stack_p$UnaryFunction`
`class`	`sbhl_search_implied_relations`
`class`	`sbhl_search_methods`
`static class`	`sbhl_search_methods.$sbhl_stop_at_horizon$UnaryFunction`
`class`	`sbhl_search_utilities`
`static class`	`sbhl_search_utilities.$sbhl_check_cutoff$UnaryFunction`
`static class`	`sbhl_search_utilities.$sbhl_consider_any_node$UnaryFunction`
`static class`	`sbhl_search_utilities.$sbhl_node_locally_disjoint_with_self_p$UnaryFunction`
`static class`	`sbhl_search_utilities.$sbhl_push_onto_result_if$UnaryFunction`
`static class`	`sbhl_search_utilities.$sbhl_step_gather_disjoins$UnaryFunction`
`class`	`sbhl_search_vars`
`static class`	`sbhl_search_vars.$relevant_sbhl_tv_is_general_tv$UnaryFunction`
`class`	`sbhl_search_what_mts`
`static class`	`sbhl_search_what_mts.$sbhl_max_floor_mts$UnaryFunction`

Uses of CommonSymbols in com.cyc.cycjava.cycl.sksi.sksi_infrastructure

Classes in com.cyc.cycjava.cycl.sksi.sksi_infrastructure that implement CommonSymbols
`class`	`sksi_macros`

Uses of CommonSymbols in com.cyc.tool.subl.jrtl.nativeCode.subLisp

Classes in com.cyc.tool.subl.jrtl.nativeCode.subLisp that implement CommonSymbols
`class`	`Alien`
`class`	`BinaryFunction`
`class`	`CatchableThrow`
`class`	`Characters`
`class`	`ConsesLow` ConsesLow is designed to...
`class`	`Dynamic`
`class`	`Environment`
`class`	`Equality`
`class`	`Errors`
`class`	`Eval`
`class`	`Filesys`
`class`	`FunctionArgListDescription`
`class`	`Functions`
`class`	`Guids`
`class`	`Hashtables`
`class`	`Keyhashes`
`class`	`Locks`
`class`	`Mapper`
`class`	`Mapping`
`class`	`Numbers`
`class`	`Packages`
`class`	`PrintLow` PrintLow is designed to...
`class`	`Processes`
`class`	`QuarternaryFunction`
`class`	`QuintenaryFunction`
`class`	`ReadWriteLocks`
`class`	`Regex`
`class`	`Resourcer`
`class`	`Semaphores`
`class`	`Sequences`
`class`	`Sort`
`class`	`Storage`
`class`	`StreamsLow`
`class`	`Strings`
`class`	`Structures`
`class`	`SubLReader`
`class`	`SubLSpecialOperatorDeclarations`
`class`	`SubLThread`
`class`	`Sxhash`
`class`	`Symbols`
`class`	`SystemInfo`
`class`	`Tcp`
`class`	`TernaryFunction`
`class`	`Threads`
`class`	`Time`
`class`	`Types`
`class`	`UnaryFunction`
`class`	`UnitTest` This JUnit test file will test the functionality of the read-eval functionality used by SubLMain.
`class`	`UnitTest_CycLTiny` This JUnit test file will test the functionality of the read-eval functionality used by SubLMain.
`static class`	`UnitTest.SubLFile_Test`
`class`	`UserIO`
`class`	`Values`
`class`	`Vectors`
`class`	`ZeroArityFunction`

Uses of CommonSymbols in com.cyc.tool.subl.jrtl.nativeCode.type.core

Classes in com.cyc.tool.subl.jrtl.nativeCode.type.core that implement CommonSymbols
`class`	`SubLConsPair`
`class`	`SubLProcess`
`class`	`SubLRegexPattern`
`class`	`SubLStructInterpreted`
`class`	`SubLVector`

Uses of CommonSymbols in com.cyc.tool.subl.jrtl.nativeCode.type.number

Classes in com.cyc.tool.subl.jrtl.nativeCode.type.number that implement CommonSymbols
`class`	`AbstractSubLFloat`
`class`	`AbstractSubLInteger`
`class`	`AbstractSubLIntegerBignum`
`class`	`AbstractSubLNumber`
`class`	`SubLBigIntBignum`
`class`	`SubLDoubleFloat`
`class`	`SubLFixnum`
`class`	`SubLIntegerBignum`
`class`	`SubLLongBignum`

Uses of CommonSymbols in com.cyc.tool.subl.jrtl.nativeCode.type.operator

Classes in com.cyc.tool.subl.jrtl.nativeCode.type.operator that implement CommonSymbols
`class`	`AbstractSubLFunction`
`class`	`FixedArityFunctor` NnaryFunction is helper class
`class`	`SubLCompiledFunction`
`class`	`SubLInterpretedFunction`

Uses of CommonSymbols in com.cyc.tool.subl.jrtl.nativeCode.type.stream

Subinterfaces of CommonSymbols in com.cyc.tool.subl.jrtl.nativeCode.type.stream
`interface`	`SubLInOutBinaryStream`
`interface`	`SubLInOutTextStream`
`interface`	`SubLInputBinaryStream`
`interface`	`SubLInputStream`
`interface`	`SubLInputTextStream`
`interface`	`SubLOutputBinaryStream`
`interface`	`SubLOutputStream`
`interface`	`SubLOutputTextStream`
`interface`	`SubLStream`

Classes in com.cyc.tool.subl.jrtl.nativeCode.type.stream that implement CommonSymbols
`class`	`AbstractRandomAccessSubLStream`
`class`	`AbstractSubLBinaryStream`
`class`	`AbstractSubLStream`
`class`	`AbstractSubLTextStream`
`class`	`SubLBroadcastStream`
`class`	`SubLInOutBinaryStreamImpl`
`class`	`SubLInOutTextStreamImpl`
`class`	`SubLInputBinaryStreamImpl`
`class`	`SubLInputTextStreamImpl`
`class`	`SubLOutputBinaryStreamImpl`
`class`	`SubLOutputTextStreamImpl`
`class`	`SubLSocketStream`
`class`	`SubLStreamFactory`
`class`	`SubLSynonymStream`

Uses of CommonSymbols in com.cyc.tool.subl.jrtl.translatedCode.sublisp

Classes in com.cyc.tool.subl.jrtl.translatedCode.sublisp that implement CommonSymbols
`class`	`bytes`
`class`	`cdestructuring_bind`
`class`	`character_names`
`class`	`compatibility`
`class`	`complex_special_forms`
`class`	`condition_macros`
`class`	`conses_high`
`static class`	`conses_high.$union$BinaryFunction`
`class`	`environment`
`class`	`foreign`
`class`	`format`
`class`	`hashtables_high`
`class`	`math_utilities`
`class`	`print_functions`
`class`	`print_high`
`class`	`print_macros`
`class`	`random`
`class`	`reader`
`static class`	`reader.$read_token_p$UnaryFunction`
`static class`	`reader.$readtable_p$UnaryFunction`
`class`	`stream_macros`
`class`	`streams_high`
`class`	`subl_benchmarks`
`class`	`thread_macros`
`class`	`time_high`
`class`	`visitation`

Uses of CommonSymbols in com.cyc.tool.subl.parser

Classes in com.cyc.tool.subl.parser that implement CommonSymbols
`class`	`SubLParser` This class implements a parser for the SubL grammar.

Uses of CommonSymbols in com.cyc.tool.subl.util

Subinterfaces of CommonSymbols in com.cyc.tool.subl.util
`interface`	`SubLFile`

Classes in com.cyc.tool.subl.util that implement CommonSymbols
`class`	`SubLTrampolineFile`
`class`	`SubLTranslatedFile`

Uses of CommonSymbols in eu.larkc.core

Classes in eu.larkc.core that implement CommonSymbols
`class`	`LarkcInit` Initialization of the LarKC platform.

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Interfacecom.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

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