Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For Package com.cyc.cycjava.cycl
Package Hierarchies:
All Packages
Class Hierarchy
java.lang.Object
com.cyc.tool.subl.jrtl.nativeCode.type.core.
AbstractSubLObject
(implements com.cyc.tool.subl.jrtl.nativeCode.type.core.
SubLObject
)
com.cyc.tool.subl.jrtl.nativeCode.type.core.
AbstractSubLStruct
(implements com.cyc.tool.subl.jrtl.nativeCode.type.core.
SubLStruct
)
com.cyc.tool.subl.jrtl.nativeCode.type.core.
SubLStructNative
(implements com.cyc.tool.subl.jrtl.nativeCode.type.core.
SubLStruct
)
com.cyc.cycjava.cycl.
accumulation.$accumulator_native
com.cyc.cycjava.cycl.
arg_type.$arg_constraint_native
com.cyc.cycjava.cycl.
assertion_handles.$assertion_native
com.cyc.cycjava.cycl.
assertions_low.$assertion_content_native
com.cyc.cycjava.cycl.
bag.$bag_native
com.cyc.cycjava.cycl.
bijection.$bijection_native
com.cyc.cycjava.cycl.
binary_tree.$avl_tree_native
com.cyc.cycjava.cycl.
binary_tree.$avl_tree_node_native
com.cyc.cycjava.cycl.
binary_tree.$btree_native
com.cyc.cycjava.cycl.
cache_utilities.$cache_metrics_native
com.cyc.cycjava.cycl.
cache_utilities.$metered_cache_native
com.cyc.cycjava.cycl.
cache_utilities.$recording_cache_strategy_facade_native
com.cyc.cycjava.cycl.
cache.$cache_entry_native
com.cyc.cycjava.cycl.
cache.$cache_native
com.cyc.cycjava.cycl.
cfasl.$cfasl_count_stream_native
com.cyc.cycjava.cycl.
cfasl.$cfasl_decoding_stream_native
com.cyc.cycjava.cycl.
cfasl.$cfasl_encoding_stream_native
com.cyc.cycjava.cycl.
clause_strucs.$clause_struc_native
com.cyc.cycjava.cycl.
constant_handles.$constant_native
com.cyc.cycjava.cycl.
cycl_query_specification.$cycl_query_specification_native
com.cyc.cycjava.cycl.
cycml_generator.$cycml_kp_info_native
com.cyc.cycjava.cycl.
czer_graph.$arc_native
com.cyc.cycjava.cycl.
czer_graph.$graph_search_node_native
com.cyc.cycjava.cycl.
czer_graph.$v_colour_native
com.cyc.cycjava.cycl.
czer_graph.$vertex_native
com.cyc.cycjava.cycl.
deck.$deck_native
com.cyc.cycjava.cycl.
deduction_handles.$deduction_native
com.cyc.cycjava.cycl.
deductions_low.$deduction_content_native
com.cyc.cycjava.cycl.
dictionary_utilities.$synchronized_dictionary_native
com.cyc.cycjava.cycl.
dictionary.$dictionary_native
com.cyc.cycjava.cycl.
file_backed_cache_setup.$file_backed_cache_registration_native
com.cyc.cycjava.cycl.
file_backed_cache.$file_backed_cache_native
com.cyc.cycjava.cycl.
file_hash_table.$fast_create_fht_native
com.cyc.cycjava.cycl.
file_hash_table.$fast_fht_keystream_sorter_native
com.cyc.cycjava.cycl.
file_hash_table.$fht_serialization_entry_native
com.cyc.cycjava.cycl.
file_hash_table.$file_hash_table_native
com.cyc.cycjava.cycl.
file_hash_table.$htfile_file_block_entry_native
com.cyc.cycjava.cycl.
file_hash_table.$htfile_header_native
com.cyc.cycjava.cycl.
file_hash_table.$htfile_key_entry_native
com.cyc.cycjava.cycl.
file_hash_table.$htfile_object_entry_native
com.cyc.cycjava.cycl.
file_translation.$trans_subl_file_native
com.cyc.cycjava.cycl.
file_vector_utilities.$backed_map_native
com.cyc.cycjava.cycl.
file_vector_utilities.$file_vector_reference_native
com.cyc.cycjava.cycl.
file_vector.$fvector_native
com.cyc.cycjava.cycl.
finite_state_transducer.$finite_state_transducer_native
com.cyc.cycjava.cycl.
formula_templates.$arg_position_details_native
com.cyc.cycjava.cycl.
formula_templates.$formula_template_native
com.cyc.cycjava.cycl.
formula_templates.$template_topic_native
com.cyc.cycjava.cycl.
forts.$fort_id_index_native
com.cyc.cycjava.cycl.
fraction_utilities.$fraction_native
com.cyc.cycjava.cycl.
ghl_search_vars.$ghl_search_native
com.cyc.cycjava.cycl.
glob.$glob_native
com.cyc.cycjava.cycl.
graphic_library_format.$glf_arc_native
com.cyc.cycjava.cycl.
graphic_library_format.$glf_graph_native
com.cyc.cycjava.cycl.
graphic_library_format.$glf_node_native
com.cyc.cycjava.cycl.
graphic_library_format.$glf_rendering_native
com.cyc.cycjava.cycl.
graphl_search_vars.$graphl_search_native
com.cyc.cycjava.cycl.
guardian.$guardian_request_native
com.cyc.cycjava.cycl.
heap.$heap_impl_native
com.cyc.cycjava.cycl.
heap.$heap_test_example_native
com.cyc.cycjava.cycl.
hierarchical_visitor.$hierarchical_visitor_native
com.cyc.cycjava.cycl.
id_index.$id_index_native
com.cyc.cycjava.cycl.
integer_sequence_generator.$integer_sequence_generator_native
com.cyc.cycjava.cycl.
interval_span.$interval_span_native
com.cyc.cycjava.cycl.
iteration.$iterator_native
com.cyc.cycjava.cycl.
kb_compare.$kb_difference_native
com.cyc.cycjava.cycl.
kb_compare.$kb_intersection_native
com.cyc.cycjava.cycl.
kb_hl_supports.$kb_hl_support_content_native
com.cyc.cycjava.cycl.
kb_hl_supports.$kb_hl_support_native
com.cyc.cycjava.cycl.
kb_object_manager.$kb_object_manager_native
com.cyc.cycjava.cycl.
keyhash.$keyhash_native
com.cyc.cycjava.cycl.
lucene_session.$lucene_session_native
com.cyc.cycjava.cycl.
mail_message.$message_native
com.cyc.cycjava.cycl.
mail_message.$message_part_native
com.cyc.cycjava.cycl.
memoization_state.$caching_state_native
com.cyc.cycjava.cycl.
memoization_state.$memoization_state_native
com.cyc.cycjava.cycl.
modules.$module_native
com.cyc.cycjava.cycl.
modules.$system_native
com.cyc.cycjava.cycl.
nart_handles.$nart_native
com.cyc.cycjava.cycl.
neural_net.$neural_net_native
com.cyc.cycjava.cycl.
neural_net.$nn_input_node_native
com.cyc.cycjava.cycl.
new_cycl_query_specification.$new_cycl_query_specification_native
com.cyc.cycjava.cycl.
os_process_utilities.$os_process_impl_native
com.cyc.cycjava.cycl.
pred_relevance_macros.$pred_info_object_native
com.cyc.cycjava.cycl.
process_utilities.$ipc_queue_native
com.cyc.cycjava.cycl.
process_utilities.$ordered_ipc_queue_native
com.cyc.cycjava.cycl.
process_utilities.$process_wrapper_native
com.cyc.cycjava.cycl.
process_utilities.$task_native
com.cyc.cycjava.cycl.
process_utilities.$thinking_task_native
com.cyc.cycjava.cycl.
queues.$lazy_priority_queue_native
com.cyc.cycjava.cycl.
queues.$locked_p_queue_native
com.cyc.cycjava.cycl.
queues.$locked_queue_native
com.cyc.cycjava.cycl.
queues.$priority_queue_native
com.cyc.cycjava.cycl.
queues.$queue_native
com.cyc.cycjava.cycl.
red_api.$red_element_struct_native
com.cyc.cycjava.cycl.
red_api.$red_repository_list_struct_native
com.cyc.cycjava.cycl.
red_api.$red_repository_struct_native
com.cyc.cycjava.cycl.
red_api.$red_struct_native
com.cyc.cycjava.cycl.
red_infrastructure.$red_symbol_native
com.cyc.cycjava.cycl.
remote_image.$remote_image_connection_native
com.cyc.cycjava.cycl.
remote_image.$remote_image_native
com.cyc.cycjava.cycl.
sdbc.$sdbc_error_native
com.cyc.cycjava.cycl.
sdbc.$sql_connection_native
com.cyc.cycjava.cycl.
sdbc.$sql_result_set_native
com.cyc.cycjava.cycl.
sdbc.$sql_statement_native
com.cyc.cycjava.cycl.
sdbc.$sql_ticket_native
com.cyc.cycjava.cycl.
search.$search_node_native
com.cyc.cycjava.cycl.
search.$search_struc_native
com.cyc.cycjava.cycl.
secure_translation.$secure_id_database_native
com.cyc.cycjava.cycl.
set.$set_native
com.cyc.cycjava.cycl.
shelfs.$shelf_info_native
com.cyc.cycjava.cycl.
shelfs.$shelf_native
com.cyc.cycjava.cycl.
simple_lru_cache_strategy.$simple_lru_cache_strategy_native
com.cyc.cycjava.cycl.
sparse_matrix.$sparse_matrix_native
com.cyc.cycjava.cycl.
sparse_vector.$sparse_vector_native
com.cyc.cycjava.cycl.
special_variable_state.$special_variable_state_native
com.cyc.cycjava.cycl.
stacks.$locked_stack_native
com.cyc.cycjava.cycl.
stacks.$stack_native
com.cyc.cycjava.cycl.
standard_tokenization.$dot_analysis_native
com.cyc.cycjava.cycl.
stream_buffer.$stream_buffer_native
com.cyc.cycjava.cycl.
stream_buffer.$string_buffer_native
com.cyc.cycjava.cycl.
string_utilities.$cyclify_status_native
com.cyc.cycjava.cycl.
system_translation.$system_translation_native
com.cyc.cycjava.cycl.
task_processor.$task_info_native
com.cyc.cycjava.cycl.
task_processor.$task_process_pool_native
com.cyc.cycjava.cycl.
task_processor.$task_processor_native
com.cyc.cycjava.cycl.
task_processor.$task_result_set_native
com.cyc.cycjava.cycl.
tcp_server_utilities.$tcp_server_native
com.cyc.cycjava.cycl.
test_query_suite.$test_query_suite_native
com.cyc.cycjava.cycl.
timing.$timing_info_native
com.cyc.cycjava.cycl.
tries.$trie_native
com.cyc.cycjava.cycl.
tva_cache.$tva_cache_native
com.cyc.cycjava.cycl.
tva_inference.$tva_inference_native
com.cyc.cycjava.cycl.
tva_strategy.$tva_strategy_native
com.cyc.cycjava.cycl.
tva_tactic.$tva_tactic_native
com.cyc.cycjava.cycl.
unicode_streams.$utf8_stream_native
com.cyc.cycjava.cycl.
unicode_strings.$unicode_char_native
com.cyc.cycjava.cycl.
unicode_strings.$unicode_string_native
com.cyc.cycjava.cycl.
user_actions.$action_type_native
com.cyc.cycjava.cycl.
user_actions.$user_action_native
com.cyc.cycjava.cycl.
value_tables.$value_table_column_native
com.cyc.cycjava.cycl.
value_tables.$value_table_native
com.cyc.cycjava.cycl.
value_tables.$variable_mapping_table_native
com.cyc.cycjava.cycl.
variables.$variable_native
com.cyc.cycjava.cycl.
web_utilities.$xml_token_iterator_state_native
com.cyc.cycjava.cycl.
wff_module_datastructures.$wff_module_native
com.cyc.cycjava.cycl.
xref_database.$xref_module_native
com.cyc.cycjava.cycl.
xref_database.$xref_system_native
com.cyc.cycjava.cycl.
cycl
(implements com.cyc.tool.subl.util.
SubLFile
)
com.cyc.tool.subl.jrtl.nativeCode.type.operator.
FixedArityFunctor
(implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.
CommonSymbols
)
com.cyc.tool.subl.jrtl.nativeCode.subLisp.
BinaryFunction
(implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.
CommonSymbols
)
com.cyc.cycjava.cycl.
arguments.$justification_equal$BinaryFunction
com.cyc.cycjava.cycl.
arguments.$support_equal$BinaryFunction
com.cyc.cycjava.cycl.
arguments.$support_L$BinaryFunction
com.cyc.cycjava.cycl.
assertions_high.$invalid_assertionP$BinaryFunction
com.cyc.cycjava.cycl.
assertions_high.$valid_assertion$BinaryFunction
com.cyc.cycjava.cycl.
bindings.$subst_bindings$BinaryFunction
com.cyc.cycjava.cycl.
constant_handles.$constant_print_function_trampoline$BinaryFunction
com.cyc.cycjava.cycl.
constant_handles.$invalid_constantP$BinaryFunction
com.cyc.cycjava.cycl.
constant_handles.$valid_constantP$BinaryFunction
com.cyc.cycjava.cycl.
cycl_utilities.$opaque_arg_wrt_quotingP$BinaryFunction
com.cyc.cycjava.cycl.
czer_main.$canonicalize_literal_sentence_terms$BinaryFunction
com.cyc.cycjava.cycl.
czer_main.$commutative_terms_in_orderP$BinaryFunction
com.cyc.cycjava.cycl.
czer_main.$lit_L$BinaryFunction
com.cyc.cycjava.cycl.
czer_main.$literal_terms_to_reify$BinaryFunction
com.cyc.cycjava.cycl.
czer_main.$rename_clause_vars_int$BinaryFunction
com.cyc.cycjava.cycl.
czer_main.$sort_clause_literals$BinaryFunction
com.cyc.cycjava.cycl.
czer_meta.$el_meta_formulaP$BinaryFunction
com.cyc.cycjava.cycl.
czer_meta.$ground_el_meta_formulaP$BinaryFunction
com.cyc.cycjava.cycl.
dumper.$load_assertion_def_from_cache$BinaryFunction
com.cyc.cycjava.cycl.
dumper.$load_deduction_def_from_cache$BinaryFunction
com.cyc.cycjava.cycl.
dumper.$load_nart_hl_formula_from_cache$BinaryFunction
com.cyc.cycjava.cycl.
formula_pattern_match.$pattern_matches_formula_nat_method$BinaryFunction
com.cyc.cycjava.cycl.
formula_pattern_match.$pattern_matches_formula$BinaryFunction
com.cyc.cycjava.cycl.
hlmt.$hlmt_equal$BinaryFunction
com.cyc.cycjava.cycl.
isa.$instanceof_after_adding$BinaryFunction
com.cyc.cycjava.cycl.
isa.$instanceof_after_removing$BinaryFunction
com.cyc.cycjava.cycl.
kb_indexing.$num_predicate_extent_index$BinaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$assertion_semantically_matches_simple_final_index_specP$BinaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$decontextualized_ist_predicate_rule_index_asent_match_p$BinaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$other_index_assertion_match_p$BinaryFunction
com.cyc.cycjava.cycl.
kb_utilities.$form_sort_pred$BinaryFunction
com.cyc.cycjava.cycl.
kb_utilities.$fort_L$BinaryFunction
com.cyc.cycjava.cycl.
kb_utilities.$term_L$BinaryFunction
com.cyc.cycjava.cycl.
list_utilities.$sort_via_position_earlier$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_able_to_ate$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_add_e_before_s$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_ble_to_bil_before_ity$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_change_aic_to_ac$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_change_ceive_to_cept$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_change_ie_to_y$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_change_ism_to_ist$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_change_y_to_i$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_geminate_last$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_remove_able_le_before_ly$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_strip_final_e$BinaryFunction
com.cyc.cycjava.cycl.
morphology.$aes_strip_final_vowels_before_ic$BinaryFunction
com.cyc.cycjava.cycl.
pattern_match.$pattern_matches_tree_recursive$BinaryFunction
com.cyc.cycjava.cycl.
precanonicalizer.$el_evaluatable_expressionP$BinaryFunction
com.cyc.cycjava.cycl.
preserves_genls_in_arg.$pgia_after_adding_isa$BinaryFunction
com.cyc.cycjava.cycl.
queues.$pq_collision_enter$BinaryFunction
com.cyc.cycjava.cycl.
queues.$pq_collision_remove$BinaryFunction
com.cyc.cycjava.cycl.
sdc.$any_sdc_wrtP$BinaryFunction
com.cyc.cycjava.cycl.
simple_indexing.$matches_pragma_rule_index_test$BinaryFunction
com.cyc.cycjava.cycl.
simplifier.$simplify_cycl_sentence_int$BinaryFunction
com.cyc.cycjava.cycl.
term.$closed_nautP$BinaryFunction
com.cyc.cycjava.cycl.
unification_utilities.$unify_clause$BinaryFunction
com.cyc.cycjava.cycl.
variables.$variable_L$BinaryFunction
com.cyc.cycjava.cycl.
verbosifier.$expandible_el_relation_expressionP$BinaryFunction
com.cyc.cycjava.cycl.
web_utilities.$xml_token_mentions$BinaryFunction
com.cyc.tool.subl.jrtl.nativeCode.subLisp.
UnaryFunction
(implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.
CommonSymbols
)
com.cyc.cycjava.cycl.
accumulation.$accumulator_p$UnaryFunction
com.cyc.cycjava.cycl.
arg_type.$arg_constraint_p$UnaryFunction
com.cyc.cycjava.cycl.
arg_type.$variable_term_wrt_arg_typeP$UnaryFunction
com.cyc.cycjava.cycl.
arguments.$argument_type_proper_genls$UnaryFunction
com.cyc.cycjava.cycl.
arguments.$asserted_argument_p$UnaryFunction
com.cyc.cycjava.cycl.
arguments.$support_mt$UnaryFunction
com.cyc.cycjava.cycl.
arguments.$support_p$UnaryFunction
com.cyc.cycjava.cycl.
arity.$arity$UnaryFunction
com.cyc.cycjava.cycl.
assertion_handles.$assertion_p$UnaryFunction
com.cyc.cycjava.cycl.
assertion_handles.$find_assertion_by_id$UnaryFunction
com.cyc.cycjava.cycl.
assertion_handles.$sxhash_assertion_method$UnaryFunction
com.cyc.cycjava.cycl.
assertions_high.$assertion_formula$UnaryFunction
com.cyc.cycjava.cycl.
assertions_high.$assertion_mt$UnaryFunction
com.cyc.cycjava.cycl.
assertions_high.$gaf_formula$UnaryFunction
com.cyc.cycjava.cycl.
assertions_high.$invalid_assertionP$UnaryFunction
com.cyc.cycjava.cycl.
assertions_high.$valid_assertion$UnaryFunction
com.cyc.cycjava.cycl.
assertions_low.$assertion_content_p$UnaryFunction
com.cyc.cycjava.cycl.
at_admitted.$generic_arg_p$UnaryFunction
com.cyc.cycjava.cycl.
at_var_types.$contextualized_isa_x_y_litP$UnaryFunction
com.cyc.cycjava.cycl.
bag.$bag_p$UnaryFunction
com.cyc.cycjava.cycl.
bijection.$bijection_p$UnaryFunction
com.cyc.cycjava.cycl.
binary_tree.$avl_tree_node_p$UnaryFunction
com.cyc.cycjava.cycl.
binary_tree.$avl_tree_p$UnaryFunction
com.cyc.cycjava.cycl.
binary_tree.$btree_p$UnaryFunction
com.cyc.cycjava.cycl.
binary_tree.$cfasl_input_avl_tree_node$UnaryFunction
com.cyc.cycjava.cycl.
bindings.$binding_p$UnaryFunction
com.cyc.cycjava.cycl.
bindings.$inference_binding_p$UnaryFunction
com.cyc.cycjava.cycl.
bindings.$variable_binding_value$UnaryFunction
com.cyc.cycjava.cycl.
bindings.$variable_binding_variable$UnaryFunction
com.cyc.cycjava.cycl.
cache_utilities.$cache_metrics_p$UnaryFunction
com.cyc.cycjava.cycl.
cache_utilities.$metered_cache_p$UnaryFunction
com.cyc.cycjava.cycl.
cache_utilities.$recording_cache_strategy_facade_p$UnaryFunction
com.cyc.cycjava.cycl.
cache.$cache_entry_p$UnaryFunction
com.cyc.cycjava.cycl.
cache.$cache_p$UnaryFunction
com.cyc.cycjava.cycl.
canon_tl.$tl_termP$UnaryFunction
com.cyc.cycjava.cycl.
cardinality_estimates.$generality_estimate$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_assertion$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_clause_struc$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_constant$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_deduction$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_hl_end$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_hl_start$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_kb_hl_support$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_nart$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_sbhl_directed_link$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_sbhl_undirected_link$UnaryFunction
com.cyc.cycjava.cycl.
cfasl_kb_methods.$cfasl_input_variable$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_count_stream_p$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_decoding_stream_p$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_encoding_stream_p$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_character$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_common_symbol$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_dotted_list$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_general_vector$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_guid$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_keyword$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_list$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_n_24bit_int$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_n_8bit_int$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_n_float$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_nil$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_other_symbol$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_p_16bit_int$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_p_24bit_int$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_p_32bit_int$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_p_bignum$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_p_float$UnaryFunction
com.cyc.cycjava.cycl.
cfasl.$cfasl_input_string$UnaryFunction
com.cyc.cycjava.cycl.
clause_strucs.$clause_struc_p$UnaryFunction
com.cyc.cycjava.cycl.
clausifier.$conjunctions_in$UnaryFunction
com.cyc.cycjava.cycl.
clausifier.$do_implications$UnaryFunction
com.cyc.cycjava.cycl.
clausifier.$do_negations_destructive$UnaryFunction
com.cyc.cycjava.cycl.
clausifier.$recursively_standardize_variables$UnaryFunction
com.cyc.cycjava.cycl.
clausifier.$universals_out$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_1_byte_integer$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_2_byte_integer$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_4_byte_integer$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_8_byte_integer$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_ascii_string_p$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_bit_datatype$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_guid_string_p$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_individual_necessary$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_ip4_address$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_ip4_network_address$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_list_is_minimum_length$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_list_of_lists$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_list_of_type_necessary$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_list_of_type_sufficient$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_numeric_string_necessary$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_string_is_length$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_string_is_maximum_length$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_string_is_minimum_length$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_subl_hl_support_module_p$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_subl_query_property_p$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_subl_tv_p$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_typicality_reference_set_propertyP$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_zip_code_five_digit$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cyc_zip_code_nine_digit$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cycl_canonicalizer_directiveP$UnaryFunction
com.cyc.cycjava.cycl.
collection_defns.$cycl_sentence_assertibleP$UnaryFunction
com.cyc.cycjava.cycl.
constant_completion_high.$invalid_constant_name_char_p$UnaryFunction
com.cyc.cycjava.cycl.
constant_handles.$constant_p$UnaryFunction
com.cyc.cycjava.cycl.
constant_handles.$invalid_constantP$UnaryFunction
com.cyc.cycjava.cycl.
constant_handles.$sxhash_constant_method$UnaryFunction
com.cyc.cycjava.cycl.
constant_handles.$valid_constantP$UnaryFunction
com.cyc.cycjava.cycl.
cycl_grammar.$cycl_generalized_tensed_literal_p$UnaryFunction
com.cyc.cycjava.cycl.
cycl_grammar.$cycl_quoted_term_p$UnaryFunction
com.cyc.cycjava.cycl.
cycl_grammar.$cycl_variable_p$UnaryFunction
com.cyc.cycjava.cycl.
cycl_grammar.$el_variable_p$UnaryFunction
com.cyc.cycjava.cycl.
cycl_grammar.$escape_quote_syntax_p$UnaryFunction
com.cyc.cycjava.cycl.
cycl_grammar.$hl_variable_p$UnaryFunction
com.cyc.cycjava.cycl.
cycl_grammar.$quasi_quote_syntax_p$UnaryFunction
com.cyc.cycjava.cycl.
cycl_query_specification.$cycl_query_specification_p$UnaryFunction
com.cyc.cycjava.cycl.
cycl_utilities.$atomic_sentence_predicate$UnaryFunction
com.cyc.cycjava.cycl.
cycl_utilities.$hl_term_to_el_term$UnaryFunction
com.cyc.cycjava.cycl.
cycl_utilities.$hl_term_with_el_counterpart_p$UnaryFunction
com.cyc.cycjava.cycl.
cycl_utilities.$renamed_default_el_var_p$UnaryFunction
com.cyc.cycjava.cycl.
cycl_variables.$cyc_varP$UnaryFunction
com.cyc.cycjava.cycl.
cycl_variables.$default_el_varP$UnaryFunction
com.cyc.cycjava.cycl.
cycl_variables.$el_varP$UnaryFunction
com.cyc.cycjava.cycl.
cycl_variables.$hl_varP$UnaryFunction
com.cyc.cycjava.cycl.
cycl_variables.$invalid_variable_name_char$UnaryFunction
com.cyc.cycjava.cycl.
cycml_generator.$cycml_kp_info_p$UnaryFunction
com.cyc.cycjava.cycl.
czer_graph.$arc_p$UnaryFunction
com.cyc.cycjava.cycl.
czer_graph.$graph_search_node_p$UnaryFunction
com.cyc.cycjava.cycl.
czer_graph.$v_colour_p$UnaryFunction
com.cyc.cycjava.cycl.
czer_graph.$vertex_p$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$canonicalize_clause_commutative_terms_destructive$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$canonicalize_clause_quoted_terms$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$canonicalize_clause_sentence_terms$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$canonicalize_clause_tou_terms$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$canonicalize_literal_commutative_terms_destructive$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$canonicalize_literal_sentence_terms$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$initialize_suffix_table_for_var$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$literal_quantified_fn_terms$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$literal_terms_to_reify$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$rename_clause_vars_int$UnaryFunction
com.cyc.cycjava.cycl.
czer_main.$sort_clause_literals$UnaryFunction
com.cyc.cycjava.cycl.
czer_meta.$el_meta_formulaP$UnaryFunction
com.cyc.cycjava.cycl.
czer_meta.$ground_el_meta_formulaP$UnaryFunction
com.cyc.cycjava.cycl.
czer_utilities.$canon_varP$UnaryFunction
com.cyc.cycjava.cycl.
czer_utilities.$generalized_ist_clause_p$UnaryFunction
com.cyc.cycjava.cycl.
czer_utilities.$quoted_term_with_hl_varP$UnaryFunction
com.cyc.cycjava.cycl.
deck.$deck_p$UnaryFunction
com.cyc.cycjava.cycl.
deduction_handles.$deduction_p$UnaryFunction
com.cyc.cycjava.cycl.
deduction_handles.$sxhash_deduction_method$UnaryFunction
com.cyc.cycjava.cycl.
deductions_low.$deduction_content_p$UnaryFunction
com.cyc.cycjava.cycl.
defns.$admitting_defn_assertions$UnaryFunction
com.cyc.cycjava.cycl.
defns.$col_defn_admitsP$UnaryFunction
com.cyc.cycjava.cycl.
dictionary_utilities.$synchronized_dictionary_p$UnaryFunction
com.cyc.cycjava.cycl.
dictionary.$cfasl_input_dictionary$UnaryFunction
com.cyc.cycjava.cycl.
dictionary.$dictionary_p$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$cyc_const_general_existential_operator_p$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$el_conjunction_p$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$el_disjunction_p$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$el_formula_p$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$el_implicit_meta_literal_sentence_p$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$el_meets_pragmatic_requirement_p$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$el_negation_p$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$expand_subl_fn_p$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$formula_with_sequence_termP$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$forward_non_trigger_literal_litP$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$gafP$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$kappa_predicate_p$UnaryFunction
com.cyc.cycjava.cycl.
el_utilities.$scoping_relation_expressionP$UnaryFunction
com.cyc.cycjava.cycl.
evaluation_defns.$cyc_different$UnaryFunction
com.cyc.cycjava.cycl.
file_backed_cache_setup.$file_backed_cache_registration_p$UnaryFunction
com.cyc.cycjava.cycl.
file_backed_cache.$file_backed_cache_p$UnaryFunction
com.cyc.cycjava.cycl.
file_hash_table.$fast_create_fht_p$UnaryFunction
com.cyc.cycjava.cycl.
file_hash_table.$fast_fht_keystream_sorter_p$UnaryFunction
com.cyc.cycjava.cycl.
file_hash_table.$fht_serialization_entry_p$UnaryFunction
com.cyc.cycjava.cycl.
file_hash_table.$file_hash_table_p$UnaryFunction
com.cyc.cycjava.cycl.
file_hash_table.$htfile_file_block_entry_p$UnaryFunction
com.cyc.cycjava.cycl.
file_hash_table.$htfile_header_p$UnaryFunction
com.cyc.cycjava.cycl.
file_hash_table.$htfile_key_entry_p$UnaryFunction
com.cyc.cycjava.cycl.
file_hash_table.$htfile_object_entry_p$UnaryFunction
com.cyc.cycjava.cycl.
file_translation.$trans_subl_file_p$UnaryFunction
com.cyc.cycjava.cycl.
file_vector_utilities.$backed_map_p$UnaryFunction
com.cyc.cycjava.cycl.
file_vector_utilities.$file_vector_reference_p$UnaryFunction
com.cyc.cycjava.cycl.
file_vector.$fvector_p$UnaryFunction
com.cyc.cycjava.cycl.
finite_state_transducer.$finite_state_transducer_p$UnaryFunction
com.cyc.cycjava.cycl.
formula_templates.$arg_position_details_p$UnaryFunction
com.cyc.cycjava.cycl.
formula_templates.$formula_template_p$UnaryFunction
com.cyc.cycjava.cycl.
formula_templates.$template_topic_p$UnaryFunction
com.cyc.cycjava.cycl.
fort_types_interface.$collection_p$UnaryFunction
com.cyc.cycjava.cycl.
fort_types_interface.$predicate_p$UnaryFunction
com.cyc.cycjava.cycl.
fort_types_interface.$scoping_relation_p$UnaryFunction
com.cyc.cycjava.cycl.
fort_types_interface.$sibling_disjoint_collection_p$UnaryFunction
com.cyc.cycjava.cycl.
forts.$fort_id_index_p$UnaryFunction
com.cyc.cycjava.cycl.
forts.$fort_internal_id$UnaryFunction
com.cyc.cycjava.cycl.
forts.$fort_p$UnaryFunction
com.cyc.cycjava.cycl.
forts.$invalid_fortP$UnaryFunction
com.cyc.cycjava.cycl.
fraction_utilities.$fraction_p$UnaryFunction
com.cyc.cycjava.cycl.
ghl_search_methods.$ghl_closure_search_iterator_done$UnaryFunction
com.cyc.cycjava.cycl.
ghl_search_methods.$ghl_closure_search_iterator_finalize$UnaryFunction
com.cyc.cycjava.cycl.
ghl_search_methods.$ghl_closure_search_iterator_next$UnaryFunction
com.cyc.cycjava.cycl.
ghl_search_vars.$ghl_search_p$UnaryFunction
com.cyc.cycjava.cycl.
glob.$glob_p$UnaryFunction
com.cyc.cycjava.cycl.
graph_utilities.$extract_link_nodes_int$UnaryFunction
com.cyc.cycjava.cycl.
graph_utilities.$length_first$UnaryFunction
com.cyc.cycjava.cycl.
graphic_library_format.$glf_arc_p$UnaryFunction
com.cyc.cycjava.cycl.
graphic_library_format.$glf_graph_p$UnaryFunction
com.cyc.cycjava.cycl.
graphic_library_format.$glf_node_p$UnaryFunction
com.cyc.cycjava.cycl.
graphic_library_format.$glf_rendering_p$UnaryFunction
com.cyc.cycjava.cycl.
graphl_search_vars.$graphl_search_p$UnaryFunction
com.cyc.cycjava.cycl.
guardian.$guardian_request_p$UnaryFunction
com.cyc.cycjava.cycl.
heap.$heap_impl_p$UnaryFunction
com.cyc.cycjava.cycl.
heap.$heap_test_example_p$UnaryFunction
com.cyc.cycjava.cycl.
hierarchical_visitor.$hierarchical_visitor_p$UnaryFunction
com.cyc.cycjava.cycl.
hl_interface_infrastructure.$hl_store_iterator_destroy$UnaryFunction
com.cyc.cycjava.cycl.
hl_interface_infrastructure.$hl_store_iterator_doneP$UnaryFunction
com.cyc.cycjava.cycl.
hl_supports.$hl_justify_eval$UnaryFunction
com.cyc.cycjava.cycl.
hl_supports.$non_hl_predicate_p$UnaryFunction
com.cyc.cycjava.cycl.
hlmt.$closed_hlmt_p$UnaryFunction
com.cyc.cycjava.cycl.
hlmt.$hlmtP$UnaryFunction
com.cyc.cycjava.cycl.
hlmt.$monad_cycl_mtP$UnaryFunction
com.cyc.cycjava.cycl.
hlmt.$monad_mt_p$UnaryFunction
com.cyc.cycjava.cycl.
hlmt.$mt_union_mts_recursive_int$UnaryFunction
com.cyc.cycjava.cycl.
hlmt.$single_dimension_mt_dimension$UnaryFunction
com.cyc.cycjava.cycl.
hlmt.$temporal_dimension_mt_p$UnaryFunction
com.cyc.cycjava.cycl.
id_index.$id_index_p$UnaryFunction
com.cyc.cycjava.cycl.
integer_sequence_generator.$integer_sequence_generator_p$UnaryFunction
com.cyc.cycjava.cycl.
interval_span.$interval_span_p$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$default_iterator_done_p$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$iterate_list_done$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$iterate_list_next$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$iterate_non_null_singleton_next$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$iterate_number_done$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$iterate_vector_next$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$iterator_iterator_done$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$iterator_iterator_next$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$iterator_p$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$reusable_iterator_cartesian_iterator_done$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$reusable_iterator_cartesian_iterator_next$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$reusable_iterator_done$UnaryFunction
com.cyc.cycjava.cycl.
iteration.$reusable_iterator_next$UnaryFunction
com.cyc.cycjava.cycl.
kb_accessors.$fast_non_skolem_indeterminate_termP$UnaryFunction
com.cyc.cycjava.cycl.
kb_compare.$kb_difference_p$UnaryFunction
com.cyc.cycjava.cycl.
kb_compare.$kb_intersection_p$UnaryFunction
com.cyc.cycjava.cycl.
kb_hl_supports.$kb_hl_support_content_p$UnaryFunction
com.cyc.cycjava.cycl.
kb_hl_supports.$kb_hl_support_index_unindexed_termP$UnaryFunction
com.cyc.cycjava.cycl.
kb_hl_supports.$kb_hl_support_p$UnaryFunction
com.cyc.cycjava.cycl.
kb_hl_supports.$sxhash_kb_hl_support_method$UnaryFunction
com.cyc.cycjava.cycl.
kb_indexing_datastructures.$fully_indexed_term_p$UnaryFunction
com.cyc.cycjava.cycl.
kb_indexing_datastructures.$indexed_term_p$UnaryFunction
com.cyc.cycjava.cycl.
kb_indexing_datastructures.$invalid_indexed_termP$UnaryFunction
com.cyc.cycjava.cycl.
kb_indexing.$num_index$UnaryFunction
com.cyc.cycjava.cycl.
kb_indexing.$num_predicate_extent_index$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$decontextualized_ist_predicate_rule_final_index_spec_iterator_doneP$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$decontextualized_ist_predicate_rule_final_index_spec_iterator_next$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$gaf_arg_final_index_spec_iterator_doneP$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$gaf_arg_final_index_spec_iterator_next$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$nart_arg_final_index_spec_iterator_doneP$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$nart_arg_final_index_spec_iterator_next$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$pred_arg2_rule_final_index_spec_iterator_doneP$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$pred_arg2_rule_final_index_spec_iterator_next$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$predicate_extent_final_index_spec_iterator_doneP$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$predicate_extent_final_index_spec_iterator_next$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$predicate_rule_final_index_spec_iterator_doneP$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$predicate_rule_final_index_spec_iterator_next$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping.$assertion_with_search_term$UnaryFunction
com.cyc.cycjava.cycl.
kb_mapping.$gather_assertions$UnaryFunction
com.cyc.cycjava.cycl.
kb_object_manager.$kb_object_manager_p$UnaryFunction
com.cyc.cycjava.cycl.
kb_utilities.$hl_external_id_string_p$UnaryFunction
com.cyc.cycjava.cycl.
keyhash.$iterate_keyhash_necessary$UnaryFunction
com.cyc.cycjava.cycl.
keyhash.$keyhash_p$UnaryFunction
com.cyc.cycjava.cycl.
list_utilities.$cadar$UnaryFunction
com.cyc.cycjava.cycl.
list_utilities.$dotted_list_p$UnaryFunction
com.cyc.cycjava.cycl.
list_utilities.$flip_cons$UnaryFunction
com.cyc.cycjava.cycl.
list_utilities.$negated_test_func$UnaryFunction
com.cyc.cycjava.cycl.
list_utilities.$quotify$UnaryFunction
com.cyc.cycjava.cycl.
lucene_session.$lucene_session_p$UnaryFunction
com.cyc.cycjava.cycl.
mail_message.$message_p$UnaryFunction
com.cyc.cycjava.cycl.
mail_message.$message_part_p$UnaryFunction
com.cyc.cycjava.cycl.
memoization_state.$caching_state_p$UnaryFunction
com.cyc.cycjava.cycl.
memoization_state.$memoization_state_p$UnaryFunction
com.cyc.cycjava.cycl.
misc_kb_utilities.$get_term_id$UnaryFunction
com.cyc.cycjava.cycl.
modules.$module_p$UnaryFunction
com.cyc.cycjava.cycl.
modules.$system_p$UnaryFunction
com.cyc.cycjava.cycl.
mt_vars.$core_microtheory_p$UnaryFunction
com.cyc.cycjava.cycl.
mt_vars.$special_core_loop_mt_p$UnaryFunction
com.cyc.cycjava.cycl.
nart_handles.$nart_p$UnaryFunction
com.cyc.cycjava.cycl.
nart_handles.$sxhash_nart_method$UnaryFunction
com.cyc.cycjava.cycl.
narts_high.$find_nart$UnaryFunction
com.cyc.cycjava.cycl.
narts_high.$nart_hl_formula$UnaryFunction
com.cyc.cycjava.cycl.
neural_net.$neural_net_p$UnaryFunction
com.cyc.cycjava.cycl.
neural_net.$nn_input_node_p$UnaryFunction
com.cyc.cycjava.cycl.
new_cycl_query_specification.$new_cycl_query_specification_p$UnaryFunction
com.cyc.cycjava.cycl.
os_process_utilities.$os_process_impl_p$UnaryFunction
com.cyc.cycjava.cycl.
precanonicalizer.$el_evaluatable_expressionP$UnaryFunction
com.cyc.cycjava.cycl.
pred_relevance_macros.$pred_info_object_p$UnaryFunction
com.cyc.cycjava.cycl.
process_utilities.$ipc_queue_p$UnaryFunction
com.cyc.cycjava.cycl.
process_utilities.$ordered_ipc_queue_p$UnaryFunction
com.cyc.cycjava.cycl.
process_utilities.$process_wrapper_p$UnaryFunction
com.cyc.cycjava.cycl.
process_utilities.$task_p$UnaryFunction
com.cyc.cycjava.cycl.
process_utilities.$thinking_task_p$UnaryFunction
com.cyc.cycjava.cycl.
queues.$lazy_priority_queue_p$UnaryFunction
com.cyc.cycjava.cycl.
queues.$locked_p_queue_p$UnaryFunction
com.cyc.cycjava.cycl.
queues.$locked_queue_p$UnaryFunction
com.cyc.cycjava.cycl.
queues.$pq_collision_empty$UnaryFunction
com.cyc.cycjava.cycl.
queues.$priority_queue_p$UnaryFunction
com.cyc.cycjava.cycl.
queues.$queue_p$UnaryFunction
com.cyc.cycjava.cycl.
red_api.$red_element_struct_p$UnaryFunction
com.cyc.cycjava.cycl.
red_api.$red_repository_list_struct_p$UnaryFunction
com.cyc.cycjava.cycl.
red_api.$red_repository_struct_p$UnaryFunction
com.cyc.cycjava.cycl.
red_api.$red_struct_p$UnaryFunction
com.cyc.cycjava.cycl.
red_infrastructure.$red_symbol_p$UnaryFunction
com.cyc.cycjava.cycl.
relation_evaluation.$cyc_evaluate_arg$UnaryFunction
com.cyc.cycjava.cycl.
remote_image.$remote_image_connection_p$UnaryFunction
com.cyc.cycjava.cycl.
remote_image.$remote_image_p$UnaryFunction
com.cyc.cycjava.cycl.
rewrite_of_propagation.$fort_with_some_source_rewrite_of_assertions$UnaryFunction
com.cyc.cycjava.cycl.
sdbc.$sdbc_error_p$UnaryFunction
com.cyc.cycjava.cycl.
sdbc.$sql_connection_p$UnaryFunction
com.cyc.cycjava.cycl.
sdbc.$sql_result_set_p$UnaryFunction
com.cyc.cycjava.cycl.
sdbc.$sql_statement_p$UnaryFunction
com.cyc.cycjava.cycl.
sdbc.$sql_ticket_p$UnaryFunction
com.cyc.cycjava.cycl.
sdc.$sbhl_determine_sd_and_store_candidates$UnaryFunction
com.cyc.cycjava.cycl.
sdc.$sbhl_gather_sd_candidates$UnaryFunction
com.cyc.cycjava.cycl.
sdc.$sbhl_mark_sd_genls_isas$UnaryFunction
com.cyc.cycjava.cycl.
search.$search_node_p$UnaryFunction
com.cyc.cycjava.cycl.
search.$search_struc_p$UnaryFunction
com.cyc.cycjava.cycl.
secure_translation.$secure_id_database_p$UnaryFunction
com.cyc.cycjava.cycl.
set_contents.$set_contents_size$UnaryFunction
com.cyc.cycjava.cycl.
set.$cfasl_input_set$UnaryFunction
com.cyc.cycjava.cycl.
set.$set_p$UnaryFunction
com.cyc.cycjava.cycl.
shelfs.$shelf_info_p$UnaryFunction
com.cyc.cycjava.cycl.
shelfs.$shelf_p$UnaryFunction
com.cyc.cycjava.cycl.
simple_lru_cache_strategy.$simple_lru_cache_strategy_p$UnaryFunction
com.cyc.cycjava.cycl.
simplifier.$nested_collectionsubsetfn_expressionP$UnaryFunction
com.cyc.cycjava.cycl.
simplifier.$simplify_cycl_sentence_int$UnaryFunction
com.cyc.cycjava.cycl.
sparse_matrix.$sparse_matrix_p$UnaryFunction
com.cyc.cycjava.cycl.
sparse_vector.$sparse_vector_p$UnaryFunction
com.cyc.cycjava.cycl.
special_variable_state.$special_variable_state_p$UnaryFunction
com.cyc.cycjava.cycl.
stacks.$locked_stack_p$UnaryFunction
com.cyc.cycjava.cycl.
stacks.$stack_p$UnaryFunction
com.cyc.cycjava.cycl.
standard_tokenization.$dot_analysis_p$UnaryFunction
com.cyc.cycjava.cycl.
stream_buffer.$stream_buffer_p$UnaryFunction
com.cyc.cycjava.cycl.
stream_buffer.$string_buffer_p$UnaryFunction
com.cyc.cycjava.cycl.
string_utilities.$char_in_char_set$UnaryFunction
com.cyc.cycjava.cycl.
string_utilities.$cyclify_status_p$UnaryFunction
com.cyc.cycjava.cycl.
string_utilities.$not_digit_char_p$UnaryFunction
com.cyc.cycjava.cycl.
string_utilities.$string_wXo_control_charsP$UnaryFunction
com.cyc.cycjava.cycl.
string_utilities.$whitespacep$UnaryFunction
com.cyc.cycjava.cycl.
subl_promotions.$non_negative_integer_p$UnaryFunction
com.cyc.cycjava.cycl.
system_translation.$system_translation_p$UnaryFunction
com.cyc.cycjava.cycl.
task_processor.$task_info_p$UnaryFunction
com.cyc.cycjava.cycl.
task_processor.$task_process_pool_p$UnaryFunction
com.cyc.cycjava.cycl.
task_processor.$task_processor_p$UnaryFunction
com.cyc.cycjava.cycl.
task_processor.$task_result_set_p$UnaryFunction
com.cyc.cycjava.cycl.
tcp_server_utilities.$tcp_server_p$UnaryFunction
com.cyc.cycjava.cycl.
term.$closed_nautP$UnaryFunction
com.cyc.cycjava.cycl.
term.$fast_reified_skolemP$UnaryFunction
com.cyc.cycjava.cycl.
term.$fast_skolem_natP$UnaryFunction
com.cyc.cycjava.cycl.
term.$kb_assertionP$UnaryFunction
com.cyc.cycjava.cycl.
term.$reified_skolem_constant_termP$UnaryFunction
com.cyc.cycjava.cycl.
term.$skolem_constantP$UnaryFunction
com.cyc.cycjava.cycl.
term.$unreified_skolem_termP$UnaryFunction
com.cyc.cycjava.cycl.
term.$var_specP$UnaryFunction
com.cyc.cycjava.cycl.
test_query_suite.$test_query_suite_p$UnaryFunction
com.cyc.cycjava.cycl.
timing.$timing_info_p$UnaryFunction
com.cyc.cycjava.cycl.
tries.$trie_p$UnaryFunction
com.cyc.cycjava.cycl.
tva_cache.$tva_cache_p$UnaryFunction
com.cyc.cycjava.cycl.
tva_inference.$tva_inference_p$UnaryFunction
com.cyc.cycjava.cycl.
tva_strategy.$tva_strategy_p$UnaryFunction
com.cyc.cycjava.cycl.
tva_tactic.$tva_tactic_p$UnaryFunction
com.cyc.cycjava.cycl.
tva_utilities.$some_conservative_via_arg_assertionP$UnaryFunction
com.cyc.cycjava.cycl.
tva_utilities.$some_transitive_via_arg_assertionP$UnaryFunction
com.cyc.cycjava.cycl.
tva_utilities.$tva_assertion_p$UnaryFunction
com.cyc.cycjava.cycl.
uncanonicalizer.$fast_fi_not_el_termP$UnaryFunction
com.cyc.cycjava.cycl.
uncanonicalizer.$potentially_interestingly_uncanonicalizable_tense_termP$UnaryFunction
com.cyc.cycjava.cycl.
unicode_streams.$utf8_stream_p$UnaryFunction
com.cyc.cycjava.cycl.
unicode_strings.$unicode_char_p$UnaryFunction
com.cyc.cycjava.cycl.
unicode_strings.$unicode_string_p$UnaryFunction
com.cyc.cycjava.cycl.
unification.$base_variable_p$UnaryFunction
com.cyc.cycjava.cycl.
unification.$variable_non_base_version$UnaryFunction
com.cyc.cycjava.cycl.
user_actions.$action_type_p$UnaryFunction
com.cyc.cycjava.cycl.
user_actions.$user_action_p$UnaryFunction
com.cyc.cycjava.cycl.
value_tables.$value_table_column_p$UnaryFunction
com.cyc.cycjava.cycl.
value_tables.$value_table_p$UnaryFunction
com.cyc.cycjava.cycl.
value_tables.$variable_mapping_table_p$UnaryFunction
com.cyc.cycjava.cycl.
variables.$fully_bound_p$UnaryFunction
com.cyc.cycjava.cycl.
variables.$not_fully_bound_p$UnaryFunction
com.cyc.cycjava.cycl.
variables.$sxhash_variable_method$UnaryFunction
com.cyc.cycjava.cycl.
variables.$variable_p$UnaryFunction
com.cyc.cycjava.cycl.
verbosifier.$expandible_el_relation_expressionP$UnaryFunction
com.cyc.cycjava.cycl.
web_utilities.$html_url_expand_char$UnaryFunction
com.cyc.cycjava.cycl.
web_utilities.$url_p$UnaryFunction
com.cyc.cycjava.cycl.
web_utilities.$xml_token_iterator_state_p$UnaryFunction
com.cyc.cycjava.cycl.
wff_module_datastructures.$wff_module_p$UnaryFunction
com.cyc.cycjava.cycl.
wff_utilities.$non_wf_fort_p$UnaryFunction
com.cyc.cycjava.cycl.
wff_utilities.$non_wf_variable_p$UnaryFunction
com.cyc.cycjava.cycl.
xref_database.$xref_module_p$UnaryFunction
com.cyc.cycjava.cycl.
xref_database.$xref_system_p$UnaryFunction
com.cyc.tool.subl.jrtl.nativeCode.subLisp.
ZeroArityFunction
(implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.
CommonSymbols
)
com.cyc.cycjava.cycl.
agenda.$agenda_daily_gc_ready_p$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$agenda_save_asked_queriesP$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$agenda_should_quitP$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$agenda_work_to_do$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$load_operationsP$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$normal_transmit_operationsP$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$restart_agenda_flagP$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$run_auxiliary_opP$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$run_local_opP$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$run_remote_opP$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$save_experienceP$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$save_operationsP$ZeroArityFunction
com.cyc.cycjava.cycl.
agenda.$worry_transmit_operationsP$ZeroArityFunction
com.cyc.cycjava.cycl.
arg_type.$clear_cached_relation_arg_okP$ZeroArityFunction
com.cyc.cycjava.cycl.
at_routines.$clear_arg_collections$ZeroArityFunction
com.cyc.cycjava.cycl.
at_var_types.$clear_at_argn_int_cached$ZeroArityFunction
com.cyc.cycjava.cycl.
collection_defns.$clear_extensional_setP$ZeroArityFunction
com.cyc.cycjava.cycl.
concept_filter.$clear_concept_filter_all_isa$ZeroArityFunction
com.cyc.cycjava.cycl.
concept_filter.$clear_nodes_suppressed_from_filter$ZeroArityFunction
com.cyc.cycjava.cycl.
czer_meta.$clear_meta_relation_somewhereP$ZeroArityFunction
com.cyc.cycjava.cycl.
czer_meta.$clear_possibly_meta_relation_somewhereP_cached$ZeroArityFunction
com.cyc.cycjava.cycl.
kb_accessors.$clear_guess_the_cyclist_from_user_name$ZeroArityFunction
com.cyc.cycjava.cycl.
kb_indexing.$clear_key_gaf_arg_index_cached$ZeroArityFunction
com.cyc.cycjava.cycl.
kb_mapping_macros.$clear_simple_term_assertion_list_filtered$ZeroArityFunction
com.cyc.cycjava.cycl.
kb_utilities.$clear_cached_union_all_specs_count$ZeroArityFunction
com.cyc.cycjava.cycl.
kb_utilities.$clear_forbidden_kb_covering_collections_set$ZeroArityFunction
com.cyc.cycjava.cycl.
relation_evaluation.$clear_cached_evaluation_function$ZeroArityFunction
com.cyc.cycjava.cycl.
tva_utilities.$clear_cached_some_cva_for_predicate$ZeroArityFunction
com.cyc.cycjava.cycl.
tva_utilities.$clear_cached_some_tva_for_predicate$ZeroArityFunction
com.cyc.cycjava.cycl.
tva_utilities.$clear_cached_tva_spec_preds_and_inverses$ZeroArityFunction
com.cyc.cycjava.cycl.
wff.$clear_mal_actual_arity_cachedP$ZeroArityFunction
com.cyc.tool.subl.util.
SubLTrampolineFile
(implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.
CommonSymbols
, com.cyc.tool.subl.util.
SubLFile
)
com.cyc.tool.subl.util.
SubLTranslatedFile
(implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.
CommonSymbols
, com.cyc.tool.subl.util.
SubLFile
)
com.cyc.cycjava.cycl.
access_macros
com.cyc.cycjava.cycl.
accumulation
com.cyc.cycjava.cycl.
agenda
com.cyc.cycjava.cycl.
api_control_vars
com.cyc.cycjava.cycl.
api_kernel
com.cyc.cycjava.cycl.
arg_type
com.cyc.cycjava.cycl.
arguments
com.cyc.cycjava.cycl.
arity
com.cyc.cycjava.cycl.
assertion_handles
com.cyc.cycjava.cycl.
assertion_manager
com.cyc.cycjava.cycl.
assertion_utilities
com.cyc.cycjava.cycl.
assertions_high
com.cyc.cycjava.cycl.
assertions_interface
com.cyc.cycjava.cycl.
assertions_low
com.cyc.cycjava.cycl.
at_admitted
com.cyc.cycjava.cycl.
at_cache
com.cyc.cycjava.cycl.
at_defns
com.cyc.cycjava.cycl.
at_macros
com.cyc.cycjava.cycl.
at_routines
com.cyc.cycjava.cycl.
at_utilities
com.cyc.cycjava.cycl.
at_var_types
com.cyc.cycjava.cycl.
at_vars
com.cyc.cycjava.cycl.
auxiliary_indexing
com.cyc.cycjava.cycl.
backward
com.cyc.cycjava.cycl.
backward_results
com.cyc.cycjava.cycl.
backward_utilities
com.cyc.cycjava.cycl.
bag
com.cyc.cycjava.cycl.
bijection
com.cyc.cycjava.cycl.
binary_tree
com.cyc.cycjava.cycl.
bindings
com.cyc.cycjava.cycl.
bookkeeping_store
com.cyc.cycjava.cycl.
builder_utilities
com.cyc.cycjava.cycl.
c_backend
com.cyc.cycjava.cycl.
c_name_translation
com.cyc.cycjava.cycl.
cache
com.cyc.cycjava.cycl.
cache_utilities
com.cyc.cycjava.cycl.
canon_tl
com.cyc.cycjava.cycl.
cardinality_estimates
com.cyc.cycjava.cycl.
cfasl
com.cyc.cycjava.cycl.
cfasl_compression
com.cyc.cycjava.cycl.
cfasl_kb_methods
com.cyc.cycjava.cycl.
cfasl_kernel
com.cyc.cycjava.cycl.
cfasl_utilities
com.cyc.cycjava.cycl.
clause_strucs
com.cyc.cycjava.cycl.
clause_utilities
com.cyc.cycjava.cycl.
clauses
com.cyc.cycjava.cycl.
clausifier
com.cyc.cycjava.cycl.
collection_defns
com.cyc.cycjava.cycl.
concept_filter
com.cyc.cycjava.cycl.
constant_completion
com.cyc.cycjava.cycl.
constant_completion_high
com.cyc.cycjava.cycl.
constant_completion_interface
com.cyc.cycjava.cycl.
constant_completion_low
com.cyc.cycjava.cycl.
constant_handles
com.cyc.cycjava.cycl.
constant_index_manager
com.cyc.cycjava.cycl.
constant_reader
com.cyc.cycjava.cycl.
constants_high
com.cyc.cycjava.cycl.
constants_interface
com.cyc.cycjava.cycl.
constants_low
com.cyc.cycjava.cycl.
control_vars
com.cyc.cycjava.cycl.
cyc_bookkeeping
com.cyc.cycjava.cycl.
cyc_kernel
com.cyc.cycjava.cycl.
cyc_revision_extraction
com.cyc.cycjava.cycl.
cycl_grammar
com.cyc.cycjava.cycl.
cycl_query_specification
com.cyc.cycjava.cycl.
cycl_utilities
com.cyc.cycjava.cycl.
cycl_variables
com.cyc.cycjava.cycl.
cycml_generator
com.cyc.cycjava.cycl.
czer_graph
com.cyc.cycjava.cycl.
czer_main
com.cyc.cycjava.cycl.
czer_meta
com.cyc.cycjava.cycl.
czer_trampolines
com.cyc.cycjava.cycl.
czer_utilities
com.cyc.cycjava.cycl.
czer_vars
com.cyc.cycjava.cycl.
deck
com.cyc.cycjava.cycl.
deduction_handles
com.cyc.cycjava.cycl.
deduction_manager
com.cyc.cycjava.cycl.
deductions_high
com.cyc.cycjava.cycl.
deductions_interface
com.cyc.cycjava.cycl.
deductions_low
com.cyc.cycjava.cycl.
defns
com.cyc.cycjava.cycl.
dictionary
com.cyc.cycjava.cycl.
dictionary_contents
com.cyc.cycjava.cycl.
dictionary_utilities
com.cyc.cycjava.cycl.
disjoint_with
com.cyc.cycjava.cycl.
dumper
com.cyc.cycjava.cycl.
el_grammar
com.cyc.cycjava.cycl.
el_utilities
com.cyc.cycjava.cycl.
encapsulation
com.cyc.cycjava.cycl.
enumeration_types
com.cyc.cycjava.cycl.
equality_store
com.cyc.cycjava.cycl.
equals
com.cyc.cycjava.cycl.
eval_in_api
com.cyc.cycjava.cycl.
eval_in_api_registrations
com.cyc.cycjava.cycl.
evaluation_defns
com.cyc.cycjava.cycl.
fi
com.cyc.cycjava.cycl.
file_backed_cache
com.cyc.cycjava.cycl.
file_backed_cache_setup
com.cyc.cycjava.cycl.
file_hash_table
com.cyc.cycjava.cycl.
file_translation
com.cyc.cycjava.cycl.
file_utilities
com.cyc.cycjava.cycl.
file_vector
com.cyc.cycjava.cycl.
file_vector_utilities
com.cyc.cycjava.cycl.
finite_state_transducer
com.cyc.cycjava.cycl.
folification
com.cyc.cycjava.cycl.
format_nil
com.cyc.cycjava.cycl.
formula_pattern_match
com.cyc.cycjava.cycl.
formula_templates
com.cyc.cycjava.cycl.
fort_types_interface
com.cyc.cycjava.cycl.
forts
com.cyc.cycjava.cycl.
fraction_utilities
com.cyc.cycjava.cycl.
function_terms
com.cyc.cycjava.cycl.
genl_mts
com.cyc.cycjava.cycl.
genl_predicates
com.cyc.cycjava.cycl.
genls
com.cyc.cycjava.cycl.
ghl_link_iterators
com.cyc.cycjava.cycl.
ghl_marking_utilities
com.cyc.cycjava.cycl.
ghl_search_methods
com.cyc.cycjava.cycl.
ghl_search_utilities
com.cyc.cycjava.cycl.
ghl_search_vars
com.cyc.cycjava.cycl.
glob
com.cyc.cycjava.cycl.
graph_utilities
com.cyc.cycjava.cycl.
graphic_library_format
com.cyc.cycjava.cycl.
graphl_graph_utilities
com.cyc.cycjava.cycl.
graphl_search_vars
com.cyc.cycjava.cycl.
gt_methods
com.cyc.cycjava.cycl.
gt_search
com.cyc.cycjava.cycl.
gt_utilities
com.cyc.cycjava.cycl.
gt_vars
com.cyc.cycjava.cycl.
guardian
com.cyc.cycjava.cycl.
hash_table_utilities
com.cyc.cycjava.cycl.
heap
com.cyc.cycjava.cycl.
hierarchical_visitor
com.cyc.cycjava.cycl.
hl_interface_infrastructure
com.cyc.cycjava.cycl.
hl_modifiers
com.cyc.cycjava.cycl.
hl_storage_module_declarations
com.cyc.cycjava.cycl.
hl_storage_modules
com.cyc.cycjava.cycl.
hl_supports
com.cyc.cycjava.cycl.
hlmt
com.cyc.cycjava.cycl.
hlmt_czer
com.cyc.cycjava.cycl.
id_index
com.cyc.cycjava.cycl.
integer_sequence_generator
com.cyc.cycjava.cycl.
interval_span
com.cyc.cycjava.cycl.
isa
com.cyc.cycjava.cycl.
iteration
com.cyc.cycjava.cycl.
java_api_kernel
com.cyc.cycjava.cycl.
java_name_translation
com.cyc.cycjava.cycl.
kb_access_metering
com.cyc.cycjava.cycl.
kb_accessors
com.cyc.cycjava.cycl.
kb_compare
com.cyc.cycjava.cycl.
kb_control_vars
com.cyc.cycjava.cycl.
kb_gp_mapping
com.cyc.cycjava.cycl.
kb_hl_support_manager
com.cyc.cycjava.cycl.
kb_hl_supports
com.cyc.cycjava.cycl.
kb_indexing
com.cyc.cycjava.cycl.
kb_indexing_datastructures
com.cyc.cycjava.cycl.
kb_indexing_declarations
com.cyc.cycjava.cycl.
kb_indexing_macros
com.cyc.cycjava.cycl.
kb_macros
com.cyc.cycjava.cycl.
kb_mapping
com.cyc.cycjava.cycl.
kb_mapping_macros
com.cyc.cycjava.cycl.
kb_mapping_utilities
com.cyc.cycjava.cycl.
kb_object_manager
com.cyc.cycjava.cycl.
kb_paths
com.cyc.cycjava.cycl.
kb_utilities
com.cyc.cycjava.cycl.
ke
com.cyc.cycjava.cycl.
keyhash
com.cyc.cycjava.cycl.
keyhash_utilities
com.cyc.cycjava.cycl.
list_utilities
com.cyc.cycjava.cycl.
lucene_session
com.cyc.cycjava.cycl.
mail_message
com.cyc.cycjava.cycl.
map_utilities
com.cyc.cycjava.cycl.
memoization_state
com.cyc.cycjava.cycl.
meta_macros
com.cyc.cycjava.cycl.
misc_kb_utilities
com.cyc.cycjava.cycl.
misc_utilities
com.cyc.cycjava.cycl.
modules
com.cyc.cycjava.cycl.
morphology
com.cyc.cycjava.cycl.
mt_relevance_cache
com.cyc.cycjava.cycl.
mt_relevance_macros
com.cyc.cycjava.cycl.
mt_vars
com.cyc.cycjava.cycl.
nart_handles
com.cyc.cycjava.cycl.
nart_hl_formula_manager
com.cyc.cycjava.cycl.
nart_index_manager
com.cyc.cycjava.cycl.
narts_high
com.cyc.cycjava.cycl.
negation_predicate
com.cyc.cycjava.cycl.
neural_net
com.cyc.cycjava.cycl.
new_cycl_query_specification
com.cyc.cycjava.cycl.
number_utilities
com.cyc.cycjava.cycl.
numeric_date_utilities
com.cyc.cycjava.cycl.
obsolete
com.cyc.cycjava.cycl.
operation_communication
com.cyc.cycjava.cycl.
operation_queues
com.cyc.cycjava.cycl.
os_process_utilities
com.cyc.cycjava.cycl.
pattern_match
com.cyc.cycjava.cycl.
postcanonicalizer
com.cyc.cycjava.cycl.
precanonicalizer
com.cyc.cycjava.cycl.
pred_relevance_macros
com.cyc.cycjava.cycl.
predicate_relevance_cache
com.cyc.cycjava.cycl.
preserves_genls_in_arg
com.cyc.cycjava.cycl.
process_utilities
com.cyc.cycjava.cycl.
psc
com.cyc.cycjava.cycl.
queues
com.cyc.cycjava.cycl.
red_api
com.cyc.cycjava.cycl.
red_infrastructure
com.cyc.cycjava.cycl.
red_infrastructure_macros
com.cyc.cycjava.cycl.
relation_evaluation
com.cyc.cycjava.cycl.
remote_image
com.cyc.cycjava.cycl.
rewrite_of_propagation
com.cyc.cycjava.cycl.
rule_macros
com.cyc.cycjava.cycl.
scientific_numbers
com.cyc.cycjava.cycl.
sdbc
com.cyc.cycjava.cycl.
sdc
com.cyc.cycjava.cycl.
search
com.cyc.cycjava.cycl.
secure_translation
com.cyc.cycjava.cycl.
set
com.cyc.cycjava.cycl.
set_contents
com.cyc.cycjava.cycl.
set_utilities
com.cyc.cycjava.cycl.
shelfs
com.cyc.cycjava.cycl.
simple_indexing
com.cyc.cycjava.cycl.
simple_lru_cache_strategy
com.cyc.cycjava.cycl.
simplifier
com.cyc.cycjava.cycl.
skolems
com.cyc.cycjava.cycl.
somewhere_cache
com.cyc.cycjava.cycl.
sparse_matrix
com.cyc.cycjava.cycl.
sparse_vector
com.cyc.cycjava.cycl.
special_variable_state
com.cyc.cycjava.cycl.
stacks
com.cyc.cycjava.cycl.
standard_tokenization
com.cyc.cycjava.cycl.
stream_buffer
com.cyc.cycjava.cycl.
string_utilities
com.cyc.cycjava.cycl.
subl_identifier
com.cyc.cycjava.cycl.
subl_macro_promotions
com.cyc.cycjava.cycl.
subl_macros
com.cyc.cycjava.cycl.
subl_promotions
com.cyc.cycjava.cycl.
system_benchmarks
com.cyc.cycjava.cycl.
system_info
com.cyc.cycjava.cycl.
system_parameters
com.cyc.cycjava.cycl.
system_translation
com.cyc.cycjava.cycl.
system_version
com.cyc.cycjava.cycl.
task_processor
com.cyc.cycjava.cycl.
tcp_server_utilities
com.cyc.cycjava.cycl.
term
com.cyc.cycjava.cycl.
test_query_suite
com.cyc.cycjava.cycl.
timing
com.cyc.cycjava.cycl.
tms
com.cyc.cycjava.cycl.
transcript_server
com.cyc.cycjava.cycl.
transcript_utilities
com.cyc.cycjava.cycl.
transform_list_utilities
com.cyc.cycjava.cycl.
transitivity
com.cyc.cycjava.cycl.
tries
com.cyc.cycjava.cycl.
tva_cache
com.cyc.cycjava.cycl.
tva_inference
com.cyc.cycjava.cycl.
tva_strategy
com.cyc.cycjava.cycl.
tva_tactic
com.cyc.cycjava.cycl.
tva_utilities
com.cyc.cycjava.cycl.
uncanonicalizer
com.cyc.cycjava.cycl.
unicode_streams
com.cyc.cycjava.cycl.
unicode_strings
com.cyc.cycjava.cycl.
unicode_subsets
com.cyc.cycjava.cycl.
unification
com.cyc.cycjava.cycl.
unification_utilities
com.cyc.cycjava.cycl.
unrepresented_term_index_manager
com.cyc.cycjava.cycl.
unrepresented_terms
com.cyc.cycjava.cycl.
user_actions
com.cyc.cycjava.cycl.
utilities_macros
com.cyc.cycjava.cycl.
value_tables
com.cyc.cycjava.cycl.
variables
com.cyc.cycjava.cycl.
vector_utilities
com.cyc.cycjava.cycl.
verbosifier
com.cyc.cycjava.cycl.
virtual_indexing
com.cyc.cycjava.cycl.
web_utilities
com.cyc.cycjava.cycl.
wff
com.cyc.cycjava.cycl.
wff_macros
com.cyc.cycjava.cycl.
wff_module_datastructures
com.cyc.cycjava.cycl.
wff_utilities
com.cyc.cycjava.cycl.
wff_vars
com.cyc.cycjava.cycl.
xml_utilities
com.cyc.cycjava.cycl.
xref_database
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes