public final class GetTime extends AbstractSingleResultPredicate
get_time(X) - gets the current system time.
Attempts to unify X with an integer term representing the value returned from
java.lang.System.currentTimeMillis().
| Constructor and Description |
|---|
GetTime() |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
evaluate(Term t) |
evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBaseclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisAlwaysCutOnBacktrackprotected boolean evaluate(Term t)
evaluate in class AbstractSingleResultPredicateCopyright © 2024. All rights reserved.