jtp
Interface Translator

All Known Subinterfaces:

FirstOrderLogicTranslator

All Known Implementing Classes:

AskingQueryProcessor, DemodulationProofTranslator, FrameTranslators.SubclassOfTranslator, FrameTranslators.TemplateFacetValueTranslator, FrameTranslators.TemplateSlotValueTranslator, HoldsReasoner, HoldsReasoner.Add, ParserBasedTranslator

public interface Translator

Interface for classes that provide functionality for translating from one representation into another.

Method Summary

Object

translate(Object source)

Method Detail

translate

public Object translate(Object source)