Initialize test space
| 73 | Gecode::IntValBranch val; |
| 74 | /// Initialize test space |
| 75 | IntTestSpace(int n, Gecode::IntSet& d) |
| 76 | : x(*this, n, d), |
| 77 | vara(Gecode::INT_VAR_NONE()), varb(Gecode::INT_VAR_NONE()), |
| 78 | val(Gecode::INT_VAL_MIN()) {} |
| 79 | /// Constructor for cloning \a s |
| 80 | IntTestSpace(IntTestSpace& s) |
| 81 | : Gecode::Space(s), vara(s.vara), varb(s.varb), val(s.val) { |
nothing calls this directly
no test coverage detected