jtp.demod
Class DemodulationProofTranslator

java.lang.Object
  |
  +--jtp.demod.DemodulationProofTranslator

All Implemented Interfaces:

Translator

public class DemodulationProofTranslator

extends Object

implements Translator

DemodulationProofTranslator.java Created: Thu May 2 00:04:30 2002

Constructor Summary

DemodulationProofTranslator(CanonicalMapping mapping)

Method Summary

Object	translate(Object o)
ReasoningStep	translate(ReasoningStep rs)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DemodulationProofTranslator

public DemodulationProofTranslator(CanonicalMapping mapping)

Method Detail

translate

public Object translate(Object o)

Specified by:

translate in interface Translator

translate

public ReasoningStep translate(ReasoningStep rs)