jtp.demod

Interfaces  DemodulationReplacementListener

Classes  CanonicalMapping DemodulatingProxy DemodulationProofTranslator DemodulationReasoner DemodulationReasoningStep DemodUtils ForwardChainingDemodulationProxy