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

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.modules.preference_modules.$preference_module_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.modules.after_adding_modules.$clear_isa_dependent_caches$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_isa_expand$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_ist_pos_expand$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_normal_pos_expand$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_pos_expand$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_pos_rule_filter$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_symmetry_pos_expand$BinaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_symmetry_pos_rule_filter$BinaryFunction
    • com.cyc.tool.subl.jrtl.nativeCode.subLisp.UnaryFunction (implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols)
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_asymmetric_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_eval_exclusive_pos$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_genlinverse_pos_rule_select$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_genlpreds_pos_rule_select$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_isa_rule_select$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_ist_pos_rule_select$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_negationinverse_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_negationpreds_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_normal_pos_rule_select$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_symmetric_pos_rule_select$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.forward_modules.$forward_unbound_pred_pos_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.preference_modules.$preference_module_p$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.preference_modules.$sxhash_preference_module_method$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.simplification_modules.$simplification_duplicate_literals_via_functionality_pos_lits_applicability$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_genlpreds_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_genlpreds_pos_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_genlpreds_pos_rule_select$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_pos_required$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_pos_rule_select$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_symmetry_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_predicate_symmetry_pos_rule_select$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_unbound_predicate_pos_cost$UnaryFunction
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules.$trans_unbound_predicate_pos_required$UnaryFunction
  • 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.modules.after_adding_modules
      • com.cyc.cycjava.cycl.inference.modules.forward_modules
      • com.cyc.cycjava.cycl.inference.modules.preference_modules
      • com.cyc.cycjava.cycl.inference.modules.rewrite_modules
      • com.cyc.cycjava.cycl.inference.modules.simplification_modules
      • com.cyc.cycjava.cycl.inference.modules.transformation_modules