Uses of Interface com.cyc.tool.subl.util.SubLFile

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Interface
com.cyc.tool.subl.util.SubLFile

Packages that use SubLFile
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.translatedCode.sublisp
com.cyc.tool.subl.util
eu.larkc.core

Uses of SubLFile in com.cyc.cycjava.cycl

Classes in com.cyc.cycjava.cycl that implement SubLFile
`class`	`access_macros`
`class`	`accumulation`
`class`	`agenda`
`class`	`api_control_vars`
`class`	`api_kernel`
`class`	`arg_type`
`class`	`arguments`
`class`	`arity`
`class`	`assertion_handles`
`class`	`assertion_manager`
`class`	`assertion_utilities`
`class`	`assertions_high`
`class`	`assertions_interface`
`class`	`assertions_low`
`class`	`at_admitted`
`class`	`at_cache`
`class`	`at_defns`
`class`	`at_macros`
`class`	`at_routines`
`class`	`at_utilities`
`class`	`at_var_types`
`class`	`at_vars`
`class`	`auxiliary_indexing`
`class`	`backward`
`class`	`backward_results`
`class`	`backward_utilities`
`class`	`bag`
`class`	`bijection`
`class`	`binary_tree`
`class`	`bindings`
`class`	`bookkeeping_store`
`class`	`builder_utilities`
`class`	`c_backend`
`class`	`c_name_translation`
`class`	`cache`
`class`	`cache_utilities`
`class`	`canon_tl`
`class`	`cardinality_estimates`
`class`	`cfasl`
`class`	`cfasl_compression`
`class`	`cfasl_kb_methods`
`class`	`cfasl_kernel`
`class`	`cfasl_utilities`
`class`	`clause_strucs`
`class`	`clause_utilities`
`class`	`clauses`
`class`	`clausifier`
`class`	`collection_defns`
`class`	`concept_filter`
`class`	`constant_completion`
`class`	`constant_completion_high`
`class`	`constant_completion_interface`
`class`	`constant_completion_low`
`class`	`constant_handles`
`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`
`class`	`cycl_query_specification`
`class`	`cycl_utilities`
`class`	`cycl_variables`
`class`	`cycml_generator`
`class`	`czer_graph`
`class`	`czer_main`
`class`	`czer_meta`
`class`	`czer_trampolines`
`class`	`czer_utilities`
`class`	`czer_vars`
`class`	`deck`
`class`	`deduction_handles`
`class`	`deduction_manager`
`class`	`deductions_high`
`class`	`deductions_interface`
`class`	`deductions_low`
`class`	`defns`
`class`	`dictionary`
`class`	`dictionary_contents`
`class`	`dictionary_utilities`
`class`	`disjoint_with`
`class`	`dumper`
`class`	`el_grammar`
`class`	`el_utilities`
`class`	`encapsulation`
`class`	`enumeration_types`
`class`	`equality_store`
`class`	`equals`
`class`	`eval_in_api`
`class`	`eval_in_api_registrations`
`class`	`evaluation_defns`
`class`	`fi`
`class`	`file_backed_cache`
`class`	`file_backed_cache_setup`
`class`	`file_hash_table`
`class`	`file_translation`
`class`	`file_utilities`
`class`	`file_vector`
`class`	`file_vector_utilities`
`class`	`finite_state_transducer`
`class`	`folification`
`class`	`format_nil`
`class`	`formula_pattern_match`
`class`	`formula_templates`
`class`	`fort_types_interface`
`class`	`forts`
`class`	`fraction_utilities`
`class`	`function_terms`
`class`	`genl_mts`
`class`	`genl_predicates`
`class`	`genls`
`class`	`ghl_link_iterators`
`class`	`ghl_marking_utilities`
`class`	`ghl_search_methods`
`class`	`ghl_search_utilities`
`class`	`ghl_search_vars`
`class`	`glob`
`class`	`graph_utilities`
`class`	`graphic_library_format`
`class`	`graphl_graph_utilities`
`class`	`graphl_search_vars`
`class`	`gt_methods`
`class`	`gt_search`
`class`	`gt_utilities`
`class`	`gt_vars`
`class`	`guardian`
`class`	`hash_table_utilities`
`class`	`heap`
`class`	`hierarchical_visitor`
`class`	`hl_interface_infrastructure`
`class`	`hl_modifiers`
`class`	`hl_storage_module_declarations`
`class`	`hl_storage_modules`
`class`	`hl_supports`
`class`	`hlmt`
`class`	`hlmt_czer`
`class`	`id_index`
`class`	`integer_sequence_generator`
`class`	`interval_span`
`class`	`isa`
`class`	`iteration`
`class`	`java_api_kernel`
`class`	`java_name_translation`
`class`	`kb_access_metering`
`class`	`kb_accessors`
`class`	`kb_compare`
`class`	`kb_control_vars`
`class`	`kb_gp_mapping`
`class`	`kb_hl_support_manager`
`class`	`kb_hl_supports`
`class`	`kb_indexing`
`class`	`kb_indexing_datastructures`
`class`	`kb_indexing_declarations`
`class`	`kb_indexing_macros`
`class`	`kb_macros`
`class`	`kb_mapping`
`class`	`kb_mapping_macros`
`class`	`kb_mapping_utilities`
`class`	`kb_object_manager`
`class`	`kb_paths`
`class`	`kb_utilities`
`class`	`ke`
`class`	`keyhash`
`class`	`keyhash_utilities`
`class`	`list_utilities`
`class`	`lucene_session`
`class`	`mail_message`
`class`	`map_utilities`
`class`	`memoization_state`
`class`	`meta_macros`
`class`	`misc_kb_utilities`
`class`	`misc_utilities`
`class`	`modules`
`class`	`morphology`
`class`	`mt_relevance_cache`
`class`	`mt_relevance_macros`
`class`	`mt_vars`
`class`	`nart_handles`
`class`	`nart_hl_formula_manager`
`class`	`nart_index_manager`
`class`	`narts_high`
`class`	`negation_predicate`
`class`	`neural_net`
`class`	`new_cycl_query_specification`
`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`
`class`	`pattern_match`
`class`	`postcanonicalizer`
`class`	`precanonicalizer`
`class`	`pred_relevance_macros`
`class`	`predicate_relevance_cache`
`class`	`preserves_genls_in_arg`
`class`	`process_utilities`
`class`	`psc`
`class`	`queues`
`class`	`red_api`
`class`	`red_infrastructure`
`class`	`red_infrastructure_macros`
`class`	`relation_evaluation`
`class`	`remote_image`
`class`	`rewrite_of_propagation`
`class`	`rule_macros`
`class`	`scientific_numbers`
`class`	`sdbc`
`class`	`sdc`
`class`	`search`
`class`	`secure_translation`
`class`	`set`
`class`	`set_contents`
`class`	`set_utilities`
`class`	`shelfs`
`class`	`simple_indexing`
`class`	`simple_lru_cache_strategy`
`class`	`simplifier`
`class`	`skolems`
`class`	`somewhere_cache`
`class`	`sparse_matrix`
`class`	`sparse_vector`
`class`	`special_variable_state`
`class`	`stacks`
`class`	`standard_tokenization`
`class`	`stream_buffer`
`class`	`string_utilities`
`class`	`subl_identifier`
`class`	`subl_macro_promotions`
`class`	`subl_macros`
`class`	`subl_promotions`
`class`	`system_benchmarks`
`class`	`system_info`
`class`	`system_parameters`
`class`	`system_translation`
`class`	`system_version`
`class`	`task_processor`
`class`	`tcp_server_utilities`
`class`	`term`
`class`	`test_query_suite`
`class`	`timing`
`class`	`tms`
`class`	`transcript_server`
`class`	`transcript_utilities`
`class`	`transform_list_utilities`
`class`	`transitivity`
`class`	`tries`
`class`	`tva_cache`
`class`	`tva_inference`
`class`	`tva_strategy`
`class`	`tva_tactic`
`class`	`tva_utilities`
`class`	`uncanonicalizer`
`class`	`unicode_streams`
`class`	`unicode_strings`
`class`	`unicode_subsets`
`class`	`unification`
`class`	`unification_utilities`
`class`	`unrepresented_term_index_manager`
`class`	`unrepresented_terms`
`class`	`user_actions`
`class`	`utilities_macros`
`class`	`value_tables`
`class`	`variables`
`class`	`vector_utilities`
`class`	`verbosifier`
`class`	`virtual_indexing`
`class`	`web_utilities`
`class`	`wff`
`class`	`wff_macros`
`class`	`wff_module_datastructures`
`class`	`wff_utilities`
`class`	`wff_vars`
`class`	`xml_utilities`
`class`	`xref_database`

Fields in com.cyc.cycjava.cycl declared as SubLFile
`static SubLFile`	`bijection.me`
`static SubLFile`	`standard_tokenization.me`
`static SubLFile`	`file_translation.me`
`static SubLFile`	`wff_vars.me`
`static SubLFile`	`simple_indexing.me`
`static SubLFile`	`pred_relevance_macros.me`
`static SubLFile`	`api_control_vars.me`
`static SubLFile`	`hl_interface_infrastructure.me`
`static SubLFile`	`sparse_matrix.me`
`static SubLFile`	`genl_predicates.me`
`static SubLFile`	`web_utilities.me`
`static SubLFile`	`kb_object_manager.me`
`static SubLFile`	`file_vector.me`
`static SubLFile`	`constant_completion_interface.me`
`static SubLFile`	`kb_indexing_datastructures.me`
`static SubLFile`	`neural_net.me`
`static SubLFile`	`deck.me`
`static SubLFile`	`subl_identifier.me`
`static SubLFile`	`transitivity.me`
`static SubLFile`	`tms.me`
`static SubLFile`	`java_name_translation.me`
`static SubLFile`	`memoization_state.me`
`static SubLFile`	`cache_utilities.me`
`static SubLFile`	`cycl_variables.me`
`static SubLFile`	`unicode_strings.me`
`static SubLFile`	`graphl_graph_utilities.me`
`static SubLFile`	`transcript_utilities.me`
`static SubLFile`	`mt_relevance_macros.me`
`static SubLFile`	`operation_communication.me`
`static SubLFile`	`kb_paths.me`
`static SubLFile`	`term.me`
`static SubLFile`	`deductions_high.me`
`static SubLFile`	`constant_handles.me`
`static SubLFile`	`cfasl_compression.me`
`static SubLFile`	`dictionary_contents.me`
`static SubLFile`	`wff_module_datastructures.me`
`static SubLFile`	`queues.me`
`static SubLFile`	`kb_access_metering.me`
`static SubLFile`	`cfasl.me`
`static SubLFile`	`predicate_relevance_cache.me`
`static SubLFile`	`misc_kb_utilities.me`
`static SubLFile`	`narts_high.me`
`static SubLFile`	`genl_mts.me`
`static SubLFile`	`assertions_interface.me`
`static SubLFile`	`clause_strucs.me`
`static SubLFile`	`czer_trampolines.me`
`static SubLFile`	`finite_state_transducer.me`
`static SubLFile`	`c_backend.me`
`static SubLFile`	`concept_filter.me`
`static SubLFile`	`id_index.me`
`static SubLFile`	`morphology.me`
`static SubLFile`	`czer_graph.me`
`static SubLFile`	`formula_pattern_match.me`
`static SubLFile`	`tva_tactic.me`
`static SubLFile`	`assertion_manager.me`
`static SubLFile`	`binary_tree.me`
`static SubLFile`	`modules.me`
`static SubLFile`	`kb_mapping_macros.me`
`static SubLFile`	`postcanonicalizer.me`
`static SubLFile`	`pattern_match.me`
`static SubLFile`	`ghl_search_vars.me`
`static SubLFile`	`meta_macros.me`
`static SubLFile`	`precanonicalizer.me`
`static SubLFile`	`lucene_session.me`
`static SubLFile`	`deduction_handles.me`
`static SubLFile`	`gt_utilities.me`
`static SubLFile`	`nart_handles.me`
`static SubLFile`	`hl_supports.me`
`static SubLFile`	`mt_relevance_cache.me`
`static SubLFile`	`kb_indexing_macros.me`
`static SubLFile`	`disjoint_with.me`
`static SubLFile`	`ke.me`
`static SubLFile`	`utilities_macros.me`
`static SubLFile`	`stream_buffer.me`
`static SubLFile`	`clause_utilities.me`
`static SubLFile`	`sdc.me`
`static SubLFile`	`nart_hl_formula_manager.me`
`static SubLFile`	`search.me`
`static SubLFile`	`simplifier.me`
`static SubLFile`	`cfasl_utilities.me`
`static SubLFile`	`kb_hl_supports.me`
`static SubLFile`	`deductions_low.me`
`static SubLFile`	`tva_cache.me`
`static SubLFile`	`kb_macros.me`
`static SubLFile`	`os_process_utilities.me`
`static SubLFile`	`clauses.me`
`static SubLFile`	`file_utilities.me`
`static SubLFile`	`sdbc.me`
`static SubLFile`	`hl_storage_module_declarations.me`
`static SubLFile`	`cache.me`
`static SubLFile`	`constant_reader.me`
`static SubLFile`	`graphic_library_format.me`
`static SubLFile`	`system_parameters.me`
`static SubLFile`	`xref_database.me`
`static SubLFile`	`at_admitted.me`
`static SubLFile`	`at_routines.me`
`static SubLFile`	`at_macros.me`
`static SubLFile`	`preserves_genls_in_arg.me`
`static SubLFile`	`special_variable_state.me`
`static SubLFile`	`fraction_utilities.me`
`static SubLFile`	`tva_strategy.me`
`static SubLFile`	`cyc_revision_extraction.me`
`static SubLFile`	`forts.me`
`static SubLFile`	`czer_main.me`
`static SubLFile`	`encapsulation.me`
`static SubLFile`	`at_cache.me`
`static SubLFile`	`tva_utilities.me`
`static SubLFile`	`graphl_search_vars.me`
`static SubLFile`	`wff_utilities.me`
`static SubLFile`	`arg_type.me`
`static SubLFile`	`kb_control_vars.me`
`static SubLFile`	`equals.me`
`static SubLFile`	`interval_span.me`
`static SubLFile`	`cycl_utilities.me`
`static SubLFile`	`evaluation_defns.me`
`static SubLFile`	`negation_predicate.me`
`static SubLFile`	`at_defns.me`
`static SubLFile`	`deductions_interface.me`
`static SubLFile`	`simple_lru_cache_strategy.me`
`static SubLFile`	`el_grammar.me`
`static SubLFile`	`isa.me`
`static SubLFile`	`red_infrastructure_macros.me`
`static SubLFile`	`kb_compare.me`
`static SubLFile`	`eval_in_api.me`
`static SubLFile`	`hash_table_utilities.me`
`static SubLFile`	`formula_templates.me`
`static SubLFile`	`at_var_types.me`
`static SubLFile`	`stacks.me`
`static SubLFile`	`red_infrastructure.me`
`static SubLFile`	`unicode_streams.me`
`static SubLFile`	`at_vars.me`
`static SubLFile`	`kb_utilities.me`
`static SubLFile`	`constant_completion_low.me`
`static SubLFile`	`c_name_translation.me`
`static SubLFile`	`constant_completion_high.me`
`static SubLFile`	`function_terms.me`
`static SubLFile`	`collection_defns.me`
`static SubLFile`	`wff_macros.me`
`static SubLFile`	`relation_evaluation.me`
`static SubLFile`	`nart_index_manager.me`
`static SubLFile`	`subl_macro_promotions.me`
`static SubLFile`	`cyc_bookkeeping.me`
`static SubLFile`	`gt_vars.me`
`static SubLFile`	`cardinality_estimates.me`
`static SubLFile`	`ghl_link_iterators.me`
`static SubLFile`	`kb_gp_mapping.me`
`static SubLFile`	`builder_utilities.me`
`static SubLFile`	`obsolete.me`
`static SubLFile`	`glob.me`
`static SubLFile`	`transcript_server.me`
`static SubLFile`	`file_hash_table.me`
`static SubLFile`	`file_backed_cache.me`
`static SubLFile`	`set_contents.me`
`static SubLFile`	`hl_modifiers.me`
`static SubLFile`	`rewrite_of_propagation.me`
`static SubLFile`	`vector_utilities.me`
`static SubLFile`	`value_tables.me`
`static SubLFile`	`cfasl_kernel.me`
`static SubLFile`	`shelfs.me`
`static SubLFile`	`canon_tl.me`
`static SubLFile`	`system_benchmarks.me`
`static SubLFile`	`dictionary.me`
`static SubLFile`	`czer_vars.me`
`static SubLFile`	`rule_macros.me`
`static SubLFile`	`hierarchical_visitor.me`
`static SubLFile`	`unification_utilities.me`
`static SubLFile`	`transform_list_utilities.me`
`static SubLFile`	`process_utilities.me`
`static SubLFile`	`deduction_manager.me`
`static SubLFile`	`red_api.me`
`static SubLFile`	`misc_utilities.me`
`static SubLFile`	`ghl_search_methods.me`
`static SubLFile`	`constants_low.me`
`static SubLFile`	`cfasl_kb_methods.me`
`static SubLFile`	`cycl_grammar.me`
`static SubLFile`	`list_utilities.me`
`static SubLFile`	`unrepresented_term_index_manager.me`
`static SubLFile`	`cycl.me`
`static SubLFile`	`constants_high.me`
`static SubLFile`	`numeric_date_utilities.me`
`static SubLFile`	`assertions_low.me`
`static SubLFile`	`remote_image.me`
`static SubLFile`	`backward.me`
`static SubLFile`	`set.me`
`static SubLFile`	`bag.me`
`static SubLFile`	`system_info.me`
`static SubLFile`	`secure_translation.me`
`static SubLFile`	`system_version.me`
`static SubLFile`	`at_utilities.me`
`static SubLFile`	`system_translation.me`
`static SubLFile`	`tries.me`
`static SubLFile`	`fi.me`
`static SubLFile`	`file_vector_utilities.me`
`static SubLFile`	`kb_hl_support_manager.me`
`static SubLFile`	`task_processor.me`
`static SubLFile`	`file_backed_cache_setup.me`
`static SubLFile`	`constants_interface.me`
`static SubLFile`	`accumulation.me`
`static SubLFile`	`new_cycl_query_specification.me`
`static SubLFile`	`cycml_generator.me`
`static SubLFile`	`gt_methods.me`
`static SubLFile`	`subl_macros.me`
`static SubLFile`	`kb_mapping.me`
`static SubLFile`	`user_actions.me`
`static SubLFile`	`bindings.me`
`static SubLFile`	`timing.me`
`static SubLFile`	`fort_types_interface.me`
`static SubLFile`	`defns.me`
`static SubLFile`	`mt_vars.me`
`static SubLFile`	`folification.me`
`static SubLFile`	`backward_results.me`
`static SubLFile`	`guardian.me`
`static SubLFile`	`operation_queues.me`
`static SubLFile`	`kb_accessors.me`
`static SubLFile`	`czer_meta.me`
`static SubLFile`	`arity.me`
`static SubLFile`	`constant_index_manager.me`
`static SubLFile`	`heap.me`
`static SubLFile`	`cycl_query_specification.me`
`static SubLFile`	`assertion_handles.me`
`static SubLFile`	`enumeration_types.me`
`static SubLFile`	`integer_sequence_generator.me`
`static SubLFile`	`keyhash_utilities.me`
`static SubLFile`	`xml_utilities.me`
`static SubLFile`	`hlmt_czer.me`
`static SubLFile`	`wff.me`
`static SubLFile`	`kb_indexing.me`
`static SubLFile`	`assertions_high.me`
`static SubLFile`	`set_utilities.me`
`static SubLFile`	`graph_utilities.me`
`static SubLFile`	`string_utilities.me`
`static SubLFile`	`czer_utilities.me`
`static SubLFile`	`iteration.me`
`static SubLFile`	`unification.me`
`static SubLFile`	`map_utilities.me`
`static SubLFile`	`equality_store.me`
`static SubLFile`	`dumper.me`
`static SubLFile`	`variables.me`
`static SubLFile`	`gt_search.me`
`static SubLFile`	`test_query_suite.me`
`static SubLFile`	`bookkeeping_store.me`
`static SubLFile`	`cyc_kernel.me`
`static SubLFile`	`control_vars.me`
`static SubLFile`	`hlmt.me`
`static SubLFile`	`kb_indexing_declarations.me`
`static SubLFile`	`ghl_search_utilities.me`
`static SubLFile`	`constant_completion.me`
`static SubLFile`	`auxiliary_indexing.me`
`static SubLFile`	`tva_inference.me`
`static SubLFile`	`assertion_utilities.me`
`static SubLFile`	`java_api_kernel.me`
`static SubLFile`	`mail_message.me`
`static SubLFile`	`number_utilities.me`
`static SubLFile`	`skolems.me`
`static SubLFile`	`dictionary_utilities.me`
`static SubLFile`	`virtual_indexing.me`
`static SubLFile`	`genls.me`
`static SubLFile`	`arguments.me`
`static SubLFile`	`sparse_vector.me`
`static SubLFile`	`el_utilities.me`
`static SubLFile`	`access_macros.me`
`static SubLFile`	`scientific_numbers.me`
`static SubLFile`	`api_kernel.me`
`static SubLFile`	`unicode_subsets.me`
`static SubLFile`	`eval_in_api_registrations.me`
`static SubLFile`	`keyhash.me`
`static SubLFile`	`clausifier.me`
`static SubLFile`	`psc.me`
`static SubLFile`	`agenda.me`
`static SubLFile`	`format_nil.me`
`static SubLFile`	`tcp_server_utilities.me`
`static SubLFile`	`verbosifier.me`
`static SubLFile`	`unrepresented_terms.me`
`static SubLFile`	`ghl_marking_utilities.me`
`static SubLFile`	`uncanonicalizer.me`
`static SubLFile`	`subl_promotions.me`
`static SubLFile`	`hl_storage_modules.me`
`static SubLFile`	`kb_mapping_utilities.me`
`static SubLFile`	`somewhere_cache.me`
`static SubLFile`	`backward_utilities.me`

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

Classes in com.cyc.cycjava.cycl.cyc_testing that implement SubLFile
`class`	`ctest_utils`
`class`	`cyc_testing`
`class`	`cyc_testing_initialization`
`class`	`evaluatable_relation_tests`
`class`	`generic_testing`
`class`	`inference_unit_tests`
`class`	`removal_module_cost_tests`
`class`	`removal_module_tests`
`class`	`transformation_module_tests`

Fields in com.cyc.cycjava.cycl.cyc_testing declared as SubLFile
`static SubLFile`	`cyc_testing_initialization.me`
`static SubLFile`	`inference_unit_tests.me`
`static SubLFile`	`transformation_module_tests.me`
`static SubLFile`	`evaluatable_relation_tests.me`
`static SubLFile`	`ctest_utils.me`
`static SubLFile`	`generic_testing.me`
`static SubLFile`	`removal_module_cost_tests.me`
`static SubLFile`	`cyc_testing.me`
`static SubLFile`	`removal_module_tests.me`

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

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

Fields in com.cyc.cycjava.cycl.cyc_testing.kb_content_test declared as SubLFile
`static SubLFile`	`kct_utils.me`

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

Classes in com.cyc.cycjava.cycl.inference that implement SubLFile
`class`	`arete`
`class`	`ask_utilities`
`class`	`collection_intersection`
`class`	`inference_completeness_utilities`
`class`	`inference_pad_data`
`class`	`inference_trampolines`
`class`	`janus`
`class`	`kbq_query_run`
`class`	`leviathan`

Fields in com.cyc.cycjava.cycl.inference declared as SubLFile
`static SubLFile`	`inference_trampolines.me`
`static SubLFile`	`leviathan.me`
`static SubLFile`	`arete.me`
`static SubLFile`	`ask_utilities.me`
`static SubLFile`	`kbq_query_run.me`
`static SubLFile`	`inference_completeness_utilities.me`
`static SubLFile`	`inference_pad_data.me`
`static SubLFile`	`collection_intersection.me`
`static SubLFile`	`janus.me`

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

Classes in com.cyc.cycjava.cycl.inference.harness that implement SubLFile
`class`	`abnormal`
`class`	`after_adding`
`class`	`argumentation`
`class`	`balancing_tactician`
`class`	`forward`
`class`	`hl_prototypes`
`class`	`inference_abduction_utilities`
`class`	`inference_analysis`
`class`	`inference_balanced_tactician_datastructures`
`class`	`inference_balanced_tactician_execution`
`class`	`inference_balanced_tactician_motivation`
`class`	`inference_balanced_tactician_strategic_uninterestingness`
`class`	`inference_czer`
`class`	`inference_datastructures_enumerated_types`
`class`	`inference_datastructures_forward_propagate`
`class`	`inference_datastructures_inference`
`class`	`inference_datastructures_problem`
`class`	`inference_datastructures_problem_link`
`class`	`inference_datastructures_problem_query`
`class`	`inference_datastructures_problem_store`
`class`	`inference_datastructures_proof`
`class`	`inference_datastructures_strategy`
`class`	`inference_datastructures_tactic`
`class`	`inference_heuristic_balanced_tactician`
`class`	`inference_kernel`
`class`	`inference_lookahead_productivity`
`class`	`inference_macros`
`class`	`inference_metrics`
`class`	`inference_min_transformation_depth`
`class`	`inference_modules`
`class`	`inference_parameters`
`class`	`inference_strategic_heuristics`
`class`	`inference_strategist`
`class`	`inference_tactician`
`class`	`inference_tactician_strategic_uninterestingness`
`class`	`inference_tactician_utilities`
`class`	`inference_trivial`
`class`	`inference_worker`
`class`	`inference_worker_answer`
`class`	`inference_worker_join`
`class`	`inference_worker_join_ordered`
`class`	`inference_worker_removal`
`class`	`inference_worker_residual_transformation`
`class`	`inference_worker_restriction`
`class`	`inference_worker_rewrite`
`class`	`inference_worker_split`
`class`	`inference_worker_transformation`
`class`	`inference_worker_union`
`class`	`new_root_tactician_datastructures`
`class`	`removal_module_utilities`
`class`	`removal_tactician`
`class`	`removal_tactician_datastructures`
`class`	`removal_tactician_execution`
`class`	`removal_tactician_motivation`
`class`	`removal_tactician_uninterestingness`
`class`	`rule_after_adding`
`class`	`transformation_tactician_datastructures`

Fields in com.cyc.cycjava.cycl.inference.harness declared as SubLFile
`static SubLFile`	`inference_worker_rewrite.me`
`static SubLFile`	`inference_worker_answer.me`
`static SubLFile`	`removal_tactician_motivation.me`
`static SubLFile`	`inference_trivial.me`
`static SubLFile`	`abnormal.me`
`static SubLFile`	`inference_metrics.me`
`static SubLFile`	`inference_modules.me`
`static SubLFile`	`inference_macros.me`
`static SubLFile`	`inference_balanced_tactician_motivation.me`
`static SubLFile`	`inference_datastructures_problem.me`
`static SubLFile`	`inference_worker_removal.me`
`static SubLFile`	`removal_module_utilities.me`
`static SubLFile`	`inference_worker_restriction.me`
`static SubLFile`	`inference_worker.me`
`static SubLFile`	`removal_tactician.me`
`static SubLFile`	`inference_datastructures_proof.me`
`static SubLFile`	`inference_datastructures_problem_link.me`
`static SubLFile`	`inference_balanced_tactician_datastructures.me`
`static SubLFile`	`inference_heuristic_balanced_tactician.me`
`static SubLFile`	`removal_tactician_execution.me`
`static SubLFile`	`inference_datastructures_forward_propagate.me`
`static SubLFile`	`inference_min_transformation_depth.me`
`static SubLFile`	`inference_balanced_tactician_strategic_uninterestingness.me`
`static SubLFile`	`inference_worker_transformation.me`
`static SubLFile`	`inference_czer.me`
`static SubLFile`	`inference_parameters.me`
`static SubLFile`	`inference_worker_join.me`
`static SubLFile`	`hl_prototypes.me`
`static SubLFile`	`inference_datastructures_problem_store.me`
`static SubLFile`	`new_root_tactician_datastructures.me`
`static SubLFile`	`inference_abduction_utilities.me`
`static SubLFile`	`inference_balanced_tactician_execution.me`
`static SubLFile`	`inference_kernel.me`
`static SubLFile`	`inference_datastructures_problem_query.me`
`static SubLFile`	`argumentation.me`
`static SubLFile`	`transformation_tactician_datastructures.me`
`static SubLFile`	`inference_tactician.me`
`static SubLFile`	`inference_tactician_utilities.me`
`static SubLFile`	`inference_worker_join_ordered.me`
`static SubLFile`	`inference_analysis.me`
`static SubLFile`	`inference_lookahead_productivity.me`
`static SubLFile`	`removal_tactician_datastructures.me`
`static SubLFile`	`inference_datastructures_inference.me`
`static SubLFile`	`inference_datastructures_enumerated_types.me`
`static SubLFile`	`inference_strategic_heuristics.me`
`static SubLFile`	`removal_tactician_uninterestingness.me`
`static SubLFile`	`inference_datastructures_tactic.me`
`static SubLFile`	`inference_worker_union.me`
`static SubLFile`	`forward.me`
`static SubLFile`	`inference_datastructures_strategy.me`
`static SubLFile`	`inference_tactician_strategic_uninterestingness.me`
`static SubLFile`	`rule_after_adding.me`
`static SubLFile`	`inference_strategist.me`
`static SubLFile`	`inference_worker_residual_transformation.me`
`static SubLFile`	`after_adding.me`
`static SubLFile`	`inference_worker_split.me`
`static SubLFile`	`balancing_tactician.me`

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

Classes in com.cyc.cycjava.cycl.inference.modules that implement SubLFile
`class`	`after_adding_modules`
`class`	`forward_modules`
`class`	`preference_modules`
`class`	`rewrite_modules`
`class`	`simplification_modules`
`class`	`transformation_modules`

Fields in com.cyc.cycjava.cycl.inference.modules declared as SubLFile
`static SubLFile`	`preference_modules.me`
`static SubLFile`	`rewrite_modules.me`
`static SubLFile`	`after_adding_modules.me`
`static SubLFile`	`forward_modules.me`
`static SubLFile`	`transformation_modules.me`
`static SubLFile`	`simplification_modules.me`

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

Classes in com.cyc.cycjava.cycl.inference.modules.removal that implement SubLFile
`class`	`meta_removal_modules`
`class`	`removal_modules_abduction`
`class`	`removal_modules_asserted_formula`
`class`	`removal_modules_backchain_required`
`class`	`removal_modules_conjunctive_pruning`
`class`	`removal_modules_different`
`class`	`removal_modules_evaluation`
`class`	`removal_modules_function_corresponding_predicate`
`class`	`removal_modules_genlpreds`
`class`	`removal_modules_genlpreds_lookup`
`class`	`removal_modules_genls`
`class`	`removal_modules_indexical_referent`
`class`	`removal_modules_isa`
`class`	`removal_modules_lookup`
`class`	`removal_modules_natfunction`
`class`	`removal_modules_reflexive_on`
`class`	`removal_modules_reflexivity`
`class`	`removal_modules_relation_all`
`class`	`removal_modules_relation_all_exists`
`class`	`removal_modules_relation_all_instance`
`class`	`removal_modules_relation_instance_exists`
`class`	`removal_modules_symmetry`
`class`	`removal_modules_termofunit`
`class`	`removal_modules_transitivity`
`class`	`removal_modules_tva_lookup`

Fields in com.cyc.cycjava.cycl.inference.modules.removal declared as SubLFile
`static SubLFile`	`removal_modules_function_corresponding_predicate.me`
`static SubLFile`	`meta_removal_modules.me`
`static SubLFile`	`removal_modules_termofunit.me`
`static SubLFile`	`removal_modules_different.me`
`static SubLFile`	`removal_modules_relation_all_instance.me`
`static SubLFile`	`removal_modules_evaluation.me`
`static SubLFile`	`removal_modules_indexical_referent.me`
`static SubLFile`	`removal_modules_symmetry.me`
`static SubLFile`	`removal_modules_genlpreds_lookup.me`
`static SubLFile`	`removal_modules_relation_all.me`
`static SubLFile`	`removal_modules_relation_all_exists.me`
`static SubLFile`	`removal_modules_genlpreds.me`
`static SubLFile`	`removal_modules_transitivity.me`
`static SubLFile`	`removal_modules_genls.me`
`static SubLFile`	`removal_modules_reflexivity.me`
`static SubLFile`	`removal_modules_reflexive_on.me`
`static SubLFile`	`removal_modules_tva_lookup.me`
`static SubLFile`	`removal_modules_backchain_required.me`
`static SubLFile`	`removal_modules_lookup.me`
`static SubLFile`	`removal_modules_isa.me`
`static SubLFile`	`removal_modules_conjunctive_pruning.me`
`static SubLFile`	`removal_modules_asserted_formula.me`
`static SubLFile`	`removal_modules_relation_instance_exists.me`
`static SubLFile`	`removal_modules_abduction.me`
`static SubLFile`	`removal_modules_natfunction.me`

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

Classes in com.cyc.cycjava.cycl.sbhl that implement SubLFile
`class`	`sbhl_cache`
`class`	`sbhl_caching_policies`
`class`	`sbhl_graphs`
`class`	`sbhl_iteration`
`class`	`sbhl_link_iterators`
`class`	`sbhl_link_methods`
`class`	`sbhl_link_utilities`
`class`	`sbhl_link_vars`
`class`	`sbhl_links`
`class`	`sbhl_macros`
`class`	`sbhl_marking_methods`
`class`	`sbhl_marking_utilities`
`class`	`sbhl_marking_vars`
`class`	`sbhl_module_declarations`
`class`	`sbhl_module_utilities`
`class`	`sbhl_module_vars`
`class`	`sbhl_paranoia`
`class`	`sbhl_search_datastructures`
`class`	`sbhl_search_implied_relations`
`class`	`sbhl_search_methods`
`class`	`sbhl_search_utilities`
`class`	`sbhl_search_vars`
`class`	`sbhl_search_what_mts`

Fields in com.cyc.cycjava.cycl.sbhl declared as SubLFile
`static SubLFile`	`sbhl_marking_methods.me`
`static SubLFile`	`sbhl_search_vars.me`
`static SubLFile`	`sbhl_link_methods.me`
`static SubLFile`	`sbhl_cache.me`
`static SubLFile`	`sbhl_marking_vars.me`
`static SubLFile`	`sbhl_macros.me`
`static SubLFile`	`sbhl_link_utilities.me`
`static SubLFile`	`sbhl_paranoia.me`
`static SubLFile`	`sbhl_module_vars.me`
`static SubLFile`	`sbhl_search_datastructures.me`
`static SubLFile`	`sbhl_search_methods.me`
`static SubLFile`	`sbhl_module_utilities.me`
`static SubLFile`	`sbhl_search_utilities.me`
`static SubLFile`	`sbhl_search_implied_relations.me`
`static SubLFile`	`sbhl_links.me`
`static SubLFile`	`sbhl_graphs.me`
`static SubLFile`	`sbhl_link_iterators.me`
`static SubLFile`	`sbhl_marking_utilities.me`
`static SubLFile`	`sbhl_link_vars.me`
`static SubLFile`	`sbhl_caching_policies.me`
`static SubLFile`	`sbhl_iteration.me`
`static SubLFile`	`sbhl_module_declarations.me`
`static SubLFile`	`sbhl_search_what_mts.me`

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

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

Fields in com.cyc.cycjava.cycl.sksi.sksi_infrastructure declared as SubLFile
`static SubLFile`	`sksi_macros.me`

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

Classes in com.cyc.tool.subl.jrtl.nativeCode.subLisp that implement SubLFile
`class`	`Alien`
`class`	`Characters`
`class`	`ConsesLow` ConsesLow is designed to...
`class`	`Dynamic`
`class`	`Environment`
`class`	`Equality`
`class`	`Errors`
`class`	`Eval`
`class`	`Filesys`
`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`	`ReadWriteLocks`
`class`	`Regex`
`class`	`Semaphores`
`class`	`Sequences`
`class`	`Sort`
`class`	`Storage`
`class`	`StreamsLow`
`class`	`Strings`
`class`	`Structures`
`class`	`SubLSpecialOperatorDeclarations`
`class`	`Sxhash`
`class`	`Symbols`
`class`	`SystemInfo`
`class`	`Tcp`
`class`	`Threads`
`class`	`Time`
`class`	`Types`
`static class`	`UnitTest.SubLFile_Test`
`class`	`UserIO`
`class`	`Values`
`class`	`Vectors`

Fields in com.cyc.tool.subl.jrtl.nativeCode.subLisp declared as SubLFile
`static SubLFile`	`SystemInfo.me`
`static SubLFile`	`Mapping.me`
`static SubLFile`	`Structures.me`
`static SubLFile`	`Characters.me`
`static SubLFile`	`Functions.me`
`static SubLFile`	`Sort.me`
`static SubLFile`	`Errors.me`
`static SubLFile`	`Locks.me`
`static SubLFile`	`Dynamic.me`
`static SubLFile`	`ConsesLow.me`
`static SubLFile`	`Filesys.me`
`static SubLFile`	`StreamsLow.me`
`static SubLFile`	`Packages.me`
`static SubLFile`	`PrintLow.me`
`static SubLFile`	`Vectors.me`
`static SubLFile`	`ReadWriteLocks.me`
`static SubLFile`	`Environment.me`
`static SubLFile`	`Keyhashes.me`
`static SubLFile`	`Values.me`
`static SubLFile`	`Sxhash.me`
`static SubLFile`	`Hashtables.me`
`static SubLFile`	`Eval.me`
`static SubLFile`	`Alien.me`
`static SubLFile`	`Time.me`
`static SubLFile`	`Guids.me`
`static SubLFile`	`UserIO.me`
`static SubLFile`	`Storage.me`
`static SubLFile`	`Mapper.me`
`static SubLFile`	`Semaphores.me`
`static SubLFile`	`Tcp.me`
`static SubLFile`	`Strings.me`
`static SubLFile`	`Sequences.me`
`static SubLFile`	`Symbols.me`
`static SubLFile`	`Types.me`

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

Classes in com.cyc.tool.subl.jrtl.translatedCode.sublisp that implement SubLFile
`class`	`bytes`
`class`	`cdestructuring_bind`
`class`	`character_names`
`class`	`compatibility`
`class`	`complex_special_forms`
`class`	`condition_macros`
`class`	`conses_high`
`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`
`class`	`stream_macros`
`class`	`streams_high`
`class`	`subl_benchmarks`
`class`	`thread_macros`
`class`	`time_high`
`class`	`visitation`

Fields in com.cyc.tool.subl.jrtl.translatedCode.sublisp declared as SubLFile
`static SubLFile`	`environment.me`
`static SubLFile`	`stream_macros.me`
`static SubLFile`	`compatibility.me`
`static SubLFile`	`reader.me`
`static SubLFile`	`streams_high.me`
`static SubLFile`	`visitation.me`
`static SubLFile`	`cdestructuring_bind.me`
`static SubLFile`	`bytes.me`
`static SubLFile`	`format.me`
`static SubLFile`	`print_high.me`
`static SubLFile`	`random.me`
`static SubLFile`	`conses_high.me`
`static SubLFile`	`math_utilities.me`
`static SubLFile`	`character_names.me`
`static SubLFile`	`print_macros.me`
`static SubLFile`	`time_high.me`
`static SubLFile`	`thread_macros.me`
`static SubLFile`	`foreign.me`
`static SubLFile`	`subl_benchmarks.me`
`static SubLFile`	`hashtables_high.me`
`static SubLFile`	`complex_special_forms.me`
`static SubLFile`	`condition_macros.me`
`static SubLFile`	`print_functions.me`

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

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

Methods in com.cyc.tool.subl.util with parameters of type SubLFile
`static void`	`SubLFiles.declareFunction(SubLFile file, java.lang.String methodName, java.lang.String functionName, int requiredArgCount, int optionalArgCount, boolean allowsRest)` implicitly dependent on the current package, @todo extend to support non-sublisp functions.
`static void`	`SubLFiles.declareMacro(SubLFile file, java.lang.String methodName, java.lang.String functionName)`
`static SubLSymbol`	`SubLFiles.defconstant(SubLFile file, java.lang.String variableName, SubLObject initialValue)`
`static SubLSymbol`	`SubLFiles.defconstant(SubLFile file, java.lang.String variableName, SubLObject initialValue, SubLPackage thePackage)`
`static SubLSymbol`	`SubLFiles.defglobal(SubLFile file, java.lang.String variableName, SubLObject initialValue)`
`static SubLSymbol`	`SubLFiles.defglobal(SubLFile file, java.lang.String variableName, SubLObject initialValue, SubLPackage thePackage)`
`static SubLSymbol`	`SubLFiles.deflexical(SubLFile file, java.lang.String variableName, SubLObject initialValue)`
`static SubLSymbol`	`SubLFiles.deflexical(SubLFile file, java.lang.String variableName, SubLObject initialValue, SubLPackage thePackage)`
`static SubLSymbol`	`SubLFiles.defparameter(SubLFile file, java.lang.String variableName, SubLObject initialValue)`
`static SubLSymbol`	`SubLFiles.defparameter(SubLFile file, java.lang.String variableName, SubLObject initialValue, SubLPackage thePackage)`
`static SubLSymbol`	`SubLFiles.defvar(SubLFile file, java.lang.String variableName, SubLObject initialValue)`
`static SubLSymbol`	`SubLFiles.defvar(SubLFile file, java.lang.String variableName, SubLObject initialValue, SubLPackage thePackage)`
`static void`	`SubLFiles.initialize(SubLFile file)` Calls declareFunctions(), initializeVariables(), and runTopLevelForms() in order.

Uses of SubLFile in eu.larkc.core

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

Fields in eu.larkc.core declared as SubLFile
`static SubLFile`	`LarkcInit.me`

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Interfacecom.cyc.tool.subl.util.SubLFile

Uses of Interface
com.cyc.tool.subl.util.SubLFile