/* PUBLIC */ BOOL occurs_in(Term t1, Term t2) { if (term_ident(t1, t2)) return TRUE; else { int i; for (i = 0; i < ARITY(t2); i++) if (occurs_in(t1, ARG(t2,i))) return TRUE; return FALSE; } } /* occurs_in */
struct timeval rpl_event::occurs_in() { struct timeval now; gettimeofday(&now, NULL); return occurs_in(now); }