Searched refs:dom1 (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | bip_domain.c | 910 register pword *dom1, *dom2; local 979 Var_Domain(vx.ptr, dom1); 981 if (dom_range(dom1, &minx, &maxx)) { 992 minx = dom_remove_smaller(dom1, c); 1025 Var_Domain(vx.ptr, dom1); 1026 if (dom_range(dom1, &minx, &maxx)) { 1055 s = dom_remove_smaller(dom1, newminx); 1060 minx = _dom_value(dom1); 1082 minx = dom_remove_smaller(dom1, newminx); 1104 register pword *dom1, *dom local [all...] |
Completed in 30 milliseconds