| 112 | template<typename... Args> |
| 113 | template<std::size_t... I> |
| 114 | void |
| 115 | DomArgs<Args...>::apply(Home home, BoolVar b, const IntPropLevels&, |
| 116 | cxx14::index_sequence<I...>) { |
| 117 | dom(home, std::get<I>(_args)..., b); |
| 118 | } |
| 119 | |
| 120 | template<typename... Args> |
| 121 | DomArgs<IntVar, Args...>::DomArgs(IntVar x, Args... args) |