Package jtp.demod

Interface Summary

DemodulationReplacementListener

DemodulationReplacementListener.java Created: Tue May 7 02:54:14 2002

Class Summary

CanonicalMapping	CanonicalMapping.java Created: Wed May 1 22:24:57 2002
DemodulatingProxy	DemodulatingProxy.java Created: Thu Aug 8 23:10:09 2002
DemodulationProofTranslator	DemodulationProofTranslator.java Created: Thu May 2 00:04:30 2002
DemodulationReasoner	DemodulationReasoner.java Created: Thu Aug 8 22:26:24 2002
DemodulationReasoningStep	A proof step where substitutions have been made that transform the input sentence into a new sentence.
DemodUtils	DemodUtils.java Created: Wed May 1 21:46:38 2002
ForwardChainingDemodulationProxy	ForwardChainingDemodulationProxy.java Created: Mon Aug 26 21:49:30 2002