Package com.cyc.cycjava.cycl.inference.modules

Class Summary

after_adding_modules
after_adding_modules.$clear_isa_dependent_caches$BinaryFunction
forward_modules
forward_modules.$forward_asymmetric_required$UnaryFunction
forward_modules.$forward_eval_exclusive_pos$UnaryFunction
forward_modules.$forward_genlinverse_pos_rule_select$UnaryFunction
forward_modules.$forward_genlpreds_pos_rule_select$UnaryFunction
forward_modules.$forward_isa_expand$BinaryFunction
forward_modules.$forward_isa_rule_select$UnaryFunction
forward_modules.$forward_ist_pos_expand$BinaryFunction
forward_modules.$forward_ist_pos_rule_select$UnaryFunction
forward_modules.$forward_negationinverse_required$UnaryFunction
forward_modules.$forward_negationpreds_required$UnaryFunction
forward_modules.$forward_normal_pos_expand$BinaryFunction
forward_modules.$forward_normal_pos_rule_select$UnaryFunction
forward_modules.$forward_symmetric_pos_rule_select$UnaryFunction
forward_modules.$forward_unbound_pred_pos_required$UnaryFunction
preference_modules
preference_modules.$preference_module_native
preference_modules.$preference_module_p$UnaryFunction
preference_modules.$sxhash_preference_module_method$UnaryFunction
rewrite_modules
simplification_modules
simplification_modules.$simplification_duplicate_literals_via_functionality_pos_lits_applicability$UnaryFunction
transformation_modules
transformation_modules.$trans_predicate_genlpreds_pos_cost$UnaryFunction
transformation_modules.$trans_predicate_genlpreds_pos_required$UnaryFunction
transformation_modules.$trans_predicate_genlpreds_pos_rule_select$UnaryFunction
transformation_modules.$trans_predicate_pos_cost$UnaryFunction
transformation_modules.$trans_predicate_pos_expand$BinaryFunction
transformation_modules.$trans_predicate_pos_required$UnaryFunction
transformation_modules.$trans_predicate_pos_rule_filter$BinaryFunction
transformation_modules.$trans_predicate_pos_rule_select$UnaryFunction
transformation_modules.$trans_predicate_symmetry_pos_cost$UnaryFunction
transformation_modules.$trans_predicate_symmetry_pos_expand$BinaryFunction
transformation_modules.$trans_predicate_symmetry_pos_rule_filter$BinaryFunction
transformation_modules.$trans_predicate_symmetry_pos_rule_select$UnaryFunction
transformation_modules.$trans_unbound_predicate_pos_cost$UnaryFunction
transformation_modules.$trans_unbound_predicate_pos_required$UnaryFunction