JTP API Documentation

Uses of Class
jtp.demod.CanonicalMapping

Packages that use CanonicalMapping
jtp.demod   
jtp.frame.fc   
jtp.time Implements reasoners and classes that allow JTP to reason about temporal information in a KB. 
jtp.time.demod   
jtp.time.func   
 

Uses of CanonicalMapping in jtp.demod
 

Methods in jtp.demod with parameters of type CanonicalMapping
 Object DemodulationReplacementListener.substitute(CanonicalMapping map)
           
 

Constructors in jtp.demod with parameters of type CanonicalMapping
ForwardChainingDemodulationProxy(CanonicalMapping map, Reasoner delegate)
           
DemodulationReasoner(CanonicalMapping mapping)
           
DemodulatingProxy(CanonicalMapping mapping, Reasoner delegate)
           
DemodulationProofTranslator(CanonicalMapping mapping)
           
 

Uses of CanonicalMapping in jtp.frame.fc
 

Methods in jtp.frame.fc with parameters of type CanonicalMapping
 Object UnrollingRuleAction.substitute(CanonicalMapping mapping)
           
 Object TrueLinkRuleAction.substitute(CanonicalMapping mapping)
           
 Object BlendingRuleAction.substitute(CanonicalMapping mapping)
           
 

Constructors in jtp.frame.fc with parameters of type CanonicalMapping
EquivalenceEnforcer(CanonicalMapping mapping)
           
EquivalenceDemonstrator(CanonicalMapping mapping)
           
 

Uses of CanonicalMapping in jtp.time
 

Constructors in jtp.time with parameters of type CanonicalMapping
TimePointKnowledgeStore(CanonicalMapping mapping, TimeVocabulary vocab)
           
 

Uses of CanonicalMapping in jtp.time.demod
 

Methods in jtp.time.demod that return CanonicalMapping
 CanonicalMapping TimePointMapper.getMapping()
           
 

Constructors in jtp.time.demod with parameters of type CanonicalMapping
TimePointMapper(CanonicalMapping mapping, TimeVocabulary vocab)
           
 

Uses of CanonicalMapping in jtp.time.func
 

Constructors in jtp.time.func with parameters of type CanonicalMapping
TimePointToInteger(CanonicalMapping mapping, TimeVocabulary vocab)
           
PlusTimePoint(CanonicalMapping mapping, TimeVocabulary vocab)
           
MinusTimePoint(CanonicalMapping mapping, TimeVocabulary vocab)
           
TimePointFunctionReasoner(Symbol relation, int arity, CanonicalMapping mapping, TimeVocabulary vocab)
           
FirstTimePoint(CanonicalMapping mapping, TimeVocabulary vocab)
           
 


JTP API Documentation