Class ConvertTime
java.lang.Object
org.projog.core.predicate.AbstractSingleResultPredicate
org.projog.core.predicate.builtin.time.ConvertTime
- All Implemented Interfaces:
KnowledgeBaseConsumer,PredicateFactory
convert_time(X,Y) - converts a timestamp to a textual representation.-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate AtomcreateAtom(Date d) private DatecreateDate(Term timestamp) protected booleanMethods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate
evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBaseMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface org.projog.core.predicate.PredicateFactory
isAlwaysCutOnBacktrack
-
Constructor Details
-
ConvertTime
public ConvertTime()
-
-
Method Details
-
evaluate
- Overrides:
evaluatein classAbstractSingleResultPredicate
-
createDate
-
createAtom
-