jtp.time.func
Class TimePointFunctionReasoner

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

All Implemented Interfaces:

Reasoner, RelationBasedBCReasoner, RelationBasedReasoner, Serializable

Direct Known Subclasses:

FirstTimePoint, MinusTimePoint, PlusTimePoint, TimePointToInteger

public abstract class TimePointFunctionReasoner

extends EvaluableFunctionReasoner

Abstract class of reasoners that deal with evaluable functions whose arguments are TimePoints.

See Also:

Serialized Form

Field Summary

protected TimeVocabulary

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

TimePointFunctionReasoner(Symbol relation, int arity, CanonicalMapping mapping, TimeVocabulary vocab)

Method Summary

protected abstract Object	calculate(Object[] args)
boolean	evaluate(Object[] args, Object result, List varStack, boolean isNegated)

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

Field Detail

tvocab

protected TimeVocabulary tvocab

Constructor Detail

TimePointFunctionReasoner

public TimePointFunctionReasoner(Symbol relation,
                                 int arity,
                                 CanonicalMapping mapping,
                                 TimeVocabulary vocab)

Method Detail

calculate

protected abstract Object calculate(Object[] args)
                             throws ReasoningException

ReasoningException

evaluate

public boolean evaluate(Object[] args,
                        Object result,
                        List varStack,
                        boolean isNegated)
                 throws ReasoningException

Specified by:

evaluate in class EvaluableFunctionReasoner

ReasoningException