Uses of Class
jtp.demod.DemodulationReasoningStep

Packages that use DemodulationReasoningStep

jtp.demod
jtp.time	Implements reasoners and classes that allow JTP to reason about temporal information in a KB.

Uses of DemodulationReasoningStep in jtp.demod

Methods in jtp.demod that return DemodulationReasoningStep

DemodulationReasoningStep

DemodulationReasoner.translateGoal(CNFSentence s)

Uses of DemodulationReasoningStep in jtp.time

Methods in jtp.time with parameters of type DemodulationReasoningStep

protected ReasoningStepIterator	TimePointKnowledgeStore.AskingReasoner.processLocationQuery(Literal goal, DemodulationReasoningStep drs)
protected ReasoningStepIterator	TimePointKnowledgeStore.AskingReasoner.processPointRelationQuery(Literal goal, DemodulationReasoningStep drs)