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

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.kbq_query_run.$kbq_runstate_native
        • com.cyc.cycjava.cycl.inference.kbq_query_run.$kct_runstate_native
        • com.cyc.cycjava.cycl.inference.kbq_query_run.$kct_set_runstate_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.UnaryFunction (implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols)
      • com.cyc.cycjava.cycl.inference.inference_trampolines.$inference_commutative_predicate_p$UnaryFunction
      • com.cyc.cycjava.cycl.inference.inference_trampolines.$inference_evaluatable_predicateP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.inference_trampolines.$inference_partially_commutative_predicate_p$UnaryFunction
      • com.cyc.cycjava.cycl.inference.inference_trampolines.$inference_predicate_p$UnaryFunction
      • com.cyc.cycjava.cycl.inference.inference_trampolines.$inference_reflexive_predicateP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.inference_trampolines.$inference_some_genl_pred_or_inverseP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.inference_trampolines.$inference_some_spec_pred_or_inverseP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.inference_trampolines.$inference_symmetric_predicateP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.inference_trampolines.$inference_transitive_predicateP$UnaryFunction
      • com.cyc.cycjava.cycl.inference.kbq_query_run.$kbq_runstate_p$UnaryFunction
      • com.cyc.cycjava.cycl.inference.kbq_query_run.$kct_runstate_p$UnaryFunction
      • com.cyc.cycjava.cycl.inference.kbq_query_run.$kct_set_runstate_p$UnaryFunction
    • com.cyc.tool.subl.jrtl.nativeCode.subLisp.ZeroArityFunction (implements com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols)
      • com.cyc.cycjava.cycl.inference.inference_trampolines.$clear_indeterminate_term_p$ZeroArityFunction
      • com.cyc.cycjava.cycl.inference.kbq_query_run.$clear_cached_all_instances_among$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.arete
      • com.cyc.cycjava.cycl.inference.ask_utilities
      • com.cyc.cycjava.cycl.inference.collection_intersection
      • com.cyc.cycjava.cycl.inference.inference_completeness_utilities
      • com.cyc.cycjava.cycl.inference.inference_pad_data
      • com.cyc.cycjava.cycl.inference.inference_trampolines
      • com.cyc.cycjava.cycl.inference.janus
      • com.cyc.cycjava.cycl.inference.kbq_query_run
      • com.cyc.cycjava.cycl.inference.leviathan