Searched refs:age (Results 1 - 9 of 9) sorted by relevance
| /barrelfish-master/include/lwip2/lwip/priv/ |
| H A D | nd6_priv.h | 97 u32_t age; member in struct:nd6_destination_cache_entry
|
| /barrelfish-master/lib/lwip2/src/core/ipv6/ |
| H A D | nd6.c | 710 * - Update destination cache entries age
780 destination_cache[i].age++;
1142 * according to ad-hoc "age" heuristic.
1308 u32_t age; local
1318 age = 0;
1321 if (destination_cache[i].age > age) {
1717 /* Reset this destination's age. */
1718 destination_cache[nd6_cached_destination_index].age = 0;
|
| /barrelfish-master/lib/lwip2/src/core/ |
| H A D | dns.c | 1367 u8_t age = dns_seqno - entry->seqno; local
1368 if (age > lseq) {
1369 lseq = age;
|
| /barrelfish-master/usr/eclipseclp/documents/megalog/ |
| H A D | database-sec.tex | 192 integer(age,1,-) ].
196 integer(age,1,-) ].
267 ?- boy <=> [atom(name,T1,I1), integer(age,T2,I2)].
292 X = [atom(name, 24, +), integer(age, 4, +)]
|
| /barrelfish-master/usr/eclipseclp/documents/userman/ |
| H A D | umslanguage.tex | 175 :- local struct(person(name,address,age)).
197 Emp = employee{name:john,age:30,salary:2000,address:here},
199 arg(age of employee, Emp, Age),
215 e.g., \notation{age of employee} expands into \notation{[1,3]}.
|
| H A D | umssyntax.tex | 574 \item Structures with named fields: \notation{emp\{age:33,salary:33000\}}.
|
| /barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
| H A D | kl-one.pl | 44 feature(age).
45 isa(person, and(or(man, woman), every(age) is number)).
|
| /barrelfish-master/usr/eclipseclp/documents/tutorial/ |
| H A D | eprolog.tex | 784 :- export struct(employee(name,age,salary)).
|
| /barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
| H A D | kernel.tex | 1324 A stamp looks like a [] (a ref to a TNIL\index{TNIL} of the proper age).
|
Completed in 119 milliseconds