jtp.time.func
Class PlusTimePoint

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

All Implemented Interfaces:

Reasoner, RelationBasedBCReasoner, RelationBasedReasoner, Serializable

public class PlusTimePoint

extends TimePointFunctionReasoner

Functional reasoner that takes a CalendarTimePoint and an integer representing a quantity of milliseconds and returns the timepoint that results in increasing the former by the latter.

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

PlusTimePoint(CanonicalMapping mapping, TimeVocabulary vocab)

Method Summary

protected void	addMetricPointToGraph(CalendarTimePoint ctp, CalendarTimePoint[] beforeAfter)
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

PlusTimePoint

public PlusTimePoint(CanonicalMapping mapping,
                     TimeVocabulary vocab)

Method Detail

calculate

protected Object calculate(Object[] args)
                    throws ReasoningException

Specified by:

calculate in class TimePointFunctionReasoner

ReasoningException

addMetricPointToGraph

protected void addMetricPointToGraph(CalendarTimePoint ctp,
                                     CalendarTimePoint[] beforeAfter)
                              throws ReasoningException

ReasoningException