Class GetTime

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.time.GetTime

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

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 Summary

Constructors

Constructor	Description
GetTime()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term t)

Methods inherited from class AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface PredicateFactory

isAlwaysCutOnBacktrack, preprocess

Constructor Details

GetTime

public GetTime()

Method Details

evaluate

protected boolean evaluate(Term t)

Overrides:

evaluate in class AbstractSingleResultPredicate