jtp.time.func
Class TimePointToInteger

java.lang.Object
  |
  +--jtp.disp.AbstractRelationBasedReasoner
        |
        +--jtp.disp.AbstractRelationBasedBCReasoner
              |
              +--jtp.func.EvaluableFunctionReasoner
                    |
                    +--jtp.time.func.TimePointFunctionReasoner
                          |
                          +--jtp.time.func.TimePointToInteger

All Implemented Interfaces:

Reasoner, RelationBasedBCReasoner, RelationBasedReasoner, Serializable

public class TimePointToInteger

extends TimePointFunctionReasoner

Functional reasoner that converts a CalendarTimePoint to an integer value. Accepts literals of the form (time-point-to-int-fn TP ?int), where TP is an instance of CalendarTimePoint or a functional term that denotes a CalendarTimePoint (as determined by TimePointMapper). ?int is bound to the integer quantity of UTC milliseconds from the epoch.

See Also:

Serialized Form

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

TimePointToInteger(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

TimePointToInteger

public TimePointToInteger(CanonicalMapping mapping,
                          TimeVocabulary vocab)

Method Detail

calculate

protected Object calculate(Object[] args)

Specified by:

calculate in class TimePointFunctionReasoner