| 34 | namespace Gecode { |
| 35 | |
| 36 | forceinline void |
| 37 | extensional(Home home, const IntVarArgs& x, const TupleSet& t, |
| 38 | IntPropLevel ipl) { |
| 39 | extensional(home, x, t, true, ipl); |
| 40 | } |
| 41 | |
| 42 | forceinline void |
| 43 | extensional(Home home, const IntVarArgs& x, const TupleSet& t, Reify r, |