|
JTP API Documentation | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object
|
+--jtp.disp.AbstractRelationBasedReasoner
|
+--jtp.disp.AbstractRelationBasedBCReasoner
|
+--jtp.func.EvaluableFunctionReasoner
|
+--jtp.time.func.TimePointFunctionReasoner
|
+--jtp.time.func.MinusTimePoint
Functional reasoner that takes two CalendarTimePoints and returns the number of milliseconds separating the points.
| Field Summary |
| Fields inherited from class jtp.time.func.TimePointFunctionReasoner |
tvocab |
| Fields inherited from class jtp.disp.AbstractRelationBasedBCReasoner |
arity, polarity, relation |
| Fields inherited from interface jtp.disp.RelationBasedReasoner |
ANY_ARITY, BOTH, NEGATIVE, POSITIVE |
| Constructor Summary | |
MinusTimePoint(CanonicalMapping mapping,
TimeVocabulary vocab)
|
|
| Method Summary | |
protected Object |
calculate(Object[] args)
|
| Methods inherited from class jtp.time.func.TimePointFunctionReasoner |
evaluate |
| Methods inherited from class jtp.func.EvaluableFunctionReasoner |
process |
| Methods inherited from class jtp.disp.AbstractRelationBasedBCReasoner |
acceptable, getArity, getPolarity, getRelation, literalAcceptable |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Methods inherited from interface jtp.disp.RelationBasedReasoner |
getArity, getPolarity, getRelation |
| Constructor Detail |
public MinusTimePoint(CanonicalMapping mapping,
TimeVocabulary vocab)
| Method Detail |
protected Object calculate(Object[] args)
calculate in class TimePointFunctionReasoner
|
JTP API Documentation | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||