Package com.cyc.cycjava.cycl.inference.harness

Class Summary

abnormal
after_adding
argumentation
balancing_tactician
balancing_tactician.$balancing_tactician_data_native
balancing_tactician.$balancing_tactician_data_p$UnaryFunction
forward
hl_prototypes
inference_abduction_utilities
inference_analysis
inference_balanced_tactician_datastructures
inference_balanced_tactician_datastructures.$balanced_strategy_data_native
inference_balanced_tactician_datastructures.$balanced_strategy_data_p$UnaryFunction
inference_balanced_tactician_execution
inference_balanced_tactician_execution.$balanced_strategy_default_select_best_strategem$UnaryFunction
inference_balanced_tactician_execution.$balanced_strategy_do_one_step$UnaryFunction
inference_balanced_tactician_execution.$balanced_strategy_doneP$UnaryFunction
inference_balanced_tactician_motivation
inference_balanced_tactician_motivation.$balanced_strategy_possibly_activate_problem$BinaryFunction
inference_balanced_tactician_strategic_uninterestingness
inference_czer
inference_czer.$inference_contextualized_asent_L$BinaryFunction
inference_czer.$non_contiguous_hl_varP$UnaryFunction
inference_czer.$non_fixed_variable_p$UnaryFunction
inference_czer.$possibly_note_hl_var_contiguity_pair$UnaryFunction
inference_czer.$variable_token$UnaryFunction
inference_czer.$variable_token$ZeroArityFunction
inference_datastructures_enumerated_types
inference_datastructures_enumerated_types.$inference_dynamic_property_p$UnaryFunction
inference_datastructures_enumerated_types.$inference_query_metric_p$UnaryFunction
inference_datastructures_enumerated_types.$inference_static_property_p$UnaryFunction
inference_datastructures_enumerated_types.$problem_store_property_p$UnaryFunction
inference_datastructures_enumerated_types.$query_dynamic_property_p$UnaryFunction
inference_datastructures_enumerated_types.$query_static_property_p$UnaryFunction
inference_datastructures_enumerated_types.$strategy_dynamic_property_p$UnaryFunction
inference_datastructures_enumerated_types.$strategy_static_property_p$UnaryFunction
inference_datastructures_forward_propagate
inference_datastructures_forward_propagate.$forward_propagate_native
inference_datastructures_forward_propagate.$forward_propagate_p$UnaryFunction
inference_datastructures_inference
inference_datastructures_inference.$inference_answer_justification_native
inference_datastructures_inference.$inference_answer_justification_p$UnaryFunction
inference_datastructures_inference.$inference_answer_justification_supports$UnaryFunction
inference_datastructures_inference.$inference_answer_native
inference_datastructures_inference.$inference_answer_p$UnaryFunction
inference_datastructures_inference.$inference_native
inference_datastructures_inference.$inference_p$UnaryFunction
inference_datastructures_inference.$sxhash_inference_method$UnaryFunction
inference_datastructures_problem
inference_datastructures_problem_link
inference_datastructures_problem_link.$mapped_problem_equal$BinaryFunction
inference_datastructures_problem_link.$mapped_problem_native
inference_datastructures_problem_link.$mapped_problem_p$UnaryFunction
inference_datastructures_problem_link.$problem_link_native
inference_datastructures_problem_link.$problem_link_p$UnaryFunction
inference_datastructures_problem_link.$sxhash_problem_link_method$UnaryFunction
inference_datastructures_problem_query
inference_datastructures_problem_query.$formula_term_signature_visit$UnaryFunction
inference_datastructures_problem_store
inference_datastructures_problem_store.$problem_store_janitor_native
inference_datastructures_problem_store.$problem_store_janitor_p$UnaryFunction
inference_datastructures_problem_store.$problem_store_native
inference_datastructures_problem_store.$problem_store_p$UnaryFunction
inference_datastructures_problem.$problem_native
inference_datastructures_problem.$problem_p$UnaryFunction
inference_datastructures_problem.$sxhash_problem_method$UnaryFunction
inference_datastructures_proof
inference_datastructures_proof.$proof_native
inference_datastructures_proof.$proof_p$UnaryFunction
inference_datastructures_proof.$proof_provenP$UnaryFunction
inference_datastructures_proof.$sxhash_proof_method$UnaryFunction
inference_datastructures_strategy
inference_datastructures_strategy.$problem_strategic_properties_native
inference_datastructures_strategy.$problem_strategic_properties_p$UnaryFunction
inference_datastructures_strategy.$strategy_native
inference_datastructures_strategy.$strategy_p$UnaryFunction
inference_datastructures_strategy.$sxhash_strategy_method$UnaryFunction
inference_datastructures_strategy.$tactic_strategic_properties_native
inference_datastructures_strategy.$tactic_strategic_properties_p$UnaryFunction
inference_datastructures_tactic
inference_datastructures_tactic.$sxhash_tactic_method$UnaryFunction
inference_datastructures_tactic.$tactic_native
inference_datastructures_tactic.$tactic_p$UnaryFunction
inference_datastructures_tactic.$tactic_possibleP$UnaryFunction
inference_datastructures_tactic.$tactic_progress_doneP$UnaryFunction
inference_datastructures_tactic.$tactic_progress_finalize$UnaryFunction
inference_datastructures_tactic.$tactic_progress_next$UnaryFunction
inference_heuristic_balanced_tactician
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_activate_strategem_wrt_removal$BinaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_activate_strategem_wrt_transformation$BinaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_add_new_root$BinaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_chooses_to_throw_away_new_rootP$BinaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_initialize$UnaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_new_rootsP$UnaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_strategems_active_wrt_removalP$UnaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_no_strategems_active_wrt_transformationP$UnaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_new_root$UnaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_strategem_wrt_removal$UnaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_peek_strategem_wrt_transformation$UnaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_new_root$UnaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_strategem_wrt_removal$UnaryFunction
inference_heuristic_balanced_tactician.$heuristic_balanced_strategy_pop_strategem_wrt_transformation$UnaryFunction
inference_kernel
inference_kernel.$inference_bindings_hl_to_el$UnaryFunction
inference_lookahead_productivity
inference_macros
inference_metrics
inference_metrics.$inference_metric_native
inference_metrics.$inference_metric_p$UnaryFunction
inference_min_transformation_depth
inference_modules
inference_modules.$allowed_modules_spec_p$UnaryFunction
inference_modules.$hl_module_native
inference_modules.$hl_module_p$UnaryFunction
inference_modules.$hl_module_sense$UnaryFunction
inference_modules.$sxhash_hl_module_method$UnaryFunction
inference_parameters
inference_strategic_heuristics
inference_strategic_heuristics.$strategic_heuristic_backchain_required$BinaryFunction
inference_strategic_heuristics.$strategic_heuristic_completeness$BinaryFunction
inference_strategic_heuristics.$strategic_heuristic_magic_wand$BinaryFunction
inference_strategic_heuristics.$strategic_heuristic_occams_razor$BinaryFunction
inference_strategic_heuristics.$strategic_heuristic_relevant_term$BinaryFunction
inference_strategic_heuristics.$strategic_heuristic_rule_a_priori_utility$BinaryFunction
inference_strategic_heuristics.$strategic_heuristic_rule_historical_utility$BinaryFunction
inference_strategic_heuristics.$strategic_heuristic_rule_literal_count$BinaryFunction
inference_strategic_heuristics.$strategic_heuristic_shallow_and_cheap$BinaryFunction
inference_strategist
inference_tactician
inference_tactician_strategic_uninterestingness
inference_tactician_utilities
inference_tactician.$happiness_G$BinaryFunction
inference_tactician.$strategy_sort_predicateP$BinaryFunction
inference_trivial
inference_worker
inference_worker_answer
inference_worker_join
inference_worker_join_ordered
inference_worker_join_ordered.$join_ordered_link_data_native
inference_worker_join_ordered.$join_ordered_link_data_p$UnaryFunction
inference_worker_join.$join_link_data_native
inference_worker_join.$join_link_data_p$UnaryFunction
inference_worker_removal
inference_worker_removal.$inference_remove_unify_default$BinaryFunction
inference_worker_removal.$inference_remove_unify_default$UnaryFunction
inference_worker_removal.$removal_link_data_native
inference_worker_removal.$removal_link_data_p$UnaryFunction
inference_worker_residual_transformation
inference_worker_restriction
inference_worker_restriction.$restriction_link_data_native
inference_worker_restriction.$restriction_link_data_p$UnaryFunction
inference_worker_restriction.$restriction_listening_link_data_native
inference_worker_restriction.$restriction_listening_link_data_p$UnaryFunction
inference_worker_rewrite
inference_worker_rewrite.$rewrite_link_data_native
inference_worker_rewrite.$rewrite_link_data_p$UnaryFunction
inference_worker_split
inference_worker_transformation
inference_worker_transformation.$hl_variable_not_mentioned_in_rule_dnf_but_mentioned_in_merge_dnf$UnaryFunction
inference_worker_transformation.$transformation_link_data_native
inference_worker_transformation.$transformation_link_data_p$UnaryFunction
inference_worker_transformation.$transformation_tactic_p$UnaryFunction
inference_worker_union
new_root_tactician_datastructures
new_root_tactician_datastructures.$new_root_strategy_data_native
new_root_tactician_datastructures.$new_root_strategy_data_p$UnaryFunction
removal_module_utilities
removal_tactician
removal_tactician_datastructures
removal_tactician_datastructures.$removal_strategy_data_native
removal_tactician_datastructures.$removal_strategy_data_p$UnaryFunction
removal_tactician_execution
removal_tactician_motivation
removal_tactician_uninterestingness
rule_after_adding
transformation_tactician_datastructures
transformation_tactician_datastructures.$transformation_strategy_data_native
transformation_tactician_datastructures.$transformation_strategy_data_p$UnaryFunction