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 27 milliseconds