| 988 | } |
| 989 | |
| 990 | void |
| 991 | ite(Home home, BoolVar b, IntVar x, IntVar y, IntVar z, |
| 992 | IntPropLevel ipl) { |
| 993 | using namespace Int; |
| 994 | GECODE_POST; |
| 995 | if (vbd(ipl) == IPL_BND) { |
| 996 | GECODE_ES_FAIL((Bool::IteBnd<IntView,IntView,IntView> |
| 997 | ::post(home,b,x,y,z))); |
| 998 | } else { |
| 999 | GECODE_ES_FAIL((Bool::IteDom<IntView,IntView,IntView> |
| 1000 | ::post(home,b,x,y,z))); |
| 1001 | } |
| 1002 | } |
| 1003 | |
| 1004 | void |
| 1005 | ite(Home home, BoolVar b, BoolVar x, BoolVar y, BoolVar z, |