Lines Matching defs:domain
268 PrologWord *domain;
271 domain = _Ptrbody(p);
273 res = dom_remove_element(domain, v, (word) TINT, &inst);
292 FunifyIntLocal(p,dmax(domain));
300 static INLINE BOOLEAN present(pword *domain, word v)
305 res = dom_check_in(v, tint, domain);
1696 /* Hence the item must be removed from the domain of all variables */
1804 /* is known and can propagated to the domain variable which */
1815 /* is known and can propagated to the domain variable whic */
1818 /* Maybe the domain variable has been reduced to an integer by the */
1912 /* propagated to the domain variable describing the */
2398 /* Hence the item must be removed from the domain of all variables */
2452 /* is known and can propagated to the domain variable which */
2463 /* is known and can propagated to the domain variable whic */
2466 /* Maybe the domain variable has been reduced to an integer by the */
2560 /* propagated to the domain variable describing the */