Uses of Interface
jtp.Translator

Packages that use Translator

jtp.demod
jtp.fol.parser
jtp.frame
jtp.modelim	Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.
jtp.rs	Contains important subclasses of ReasoningStep and ReasoningStepIterator as well as utility methods for ReasoningSteps.

Uses of Translator in jtp.demod

Classes in jtp.demod that implement Translator

class

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

Uses of Translator in jtp.fol.parser

Subinterfaces of Translator in jtp.fol.parser

interface

FirstOrderLogicTranslator This interface represents the ability to translate a string representation of a sentence into a CNFSentence.

Classes in jtp.fol.parser that implement Translator

class

ParserBasedTranslator This class is an implementation of FirstOrderLogicTranslator that uses an auxiliary parser to do the transformation.

Uses of Translator in jtp.frame

Classes in jtp.frame that implement Translator

static class	FrameTranslators.SubclassOfTranslator
static class	FrameTranslators.TemplateFacetValueTranslator
static class	FrameTranslators.TemplateSlotValueTranslator
class	HoldsReasoner HoldsReasoner.java Created: Wed Dec 20 00:47:27 2000
static class	HoldsReasoner.Add

Uses of Translator in jtp.modelim

Classes in jtp.modelim that implement Translator

class

AskingQueryProcessor Converts a complex query into a pair of query definition and query answer literal.

Uses of Translator in jtp.rs

Methods in jtp.rs that return Translator

Translator

TranslatingProxyReasoner.getTranslator()

Methods in jtp.rs with parameters of type Translator

void	TranslatingProxyReasoner.setTranslator(Translator translator)

Constructors in jtp.rs with parameters of type Translator

DefaultTranslationReasoner(Translator tr, boolean backwardChaining)