|
JTP API Documentation | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |