Kernel/src/bip_domain.c

910     register pword	*dom1, *dom2;
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, *dom2;
1146 	Var_Domain(vx.ptr, dom1);
1147 	if (dom_range(dom1, &minx, &maxx)) {
1177     Var_Domain(vx.ptr, dom1);
1178     if (dom_range(dom1, &minx, &maxx)) {