Hierarchy For Package jtp.demod

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class jtp.demod.CanonicalMapping
  • class jtp.demod.DemodulatingProxy (implements jtp.Reasoner)
  • class jtp.demod.DemodulationProofTranslator (implements jtp.Translator)
  • class jtp.demod.DemodulationReasoner (implements jtp.Reasoner, jtp.disp.SequentialDispatcher.LocationPreference)
  • class jtp.demod.DemodUtils
  • class jtp.demod.ForwardChainingDemodulationProxy (implements jtp.Reasoner)
  • class jtp.proof.Proof (implements java.io.Serializable)
    • class jtp.ReasoningStep (implements java.lang.Cloneable, jtp.fol.Unifyable)
      • class jtp.demod.DemodulationReasoningStep

Interface Hierarchy

• interface jtp.demod.DemodulationReplacementListener