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

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