Post constraint on \a x
| 64 | } |
| 65 | /// Post constraint on \a x |
| 66 | virtual void post(Gecode::Space& home, Gecode::IntVarArray& x) { |
| 67 | using namespace Gecode; |
| 68 | extensional(home, x, |
| 69 | (REG(0) | REG(2)) + |
| 70 | (REG(-1) | REG(1)) + |
| 71 | (REG(7) | REG(0) | REG(1)) + |
| 72 | (REG(0) | REG(1))); |
| 73 | } |
| 74 | }; |
| 75 | |
| 76 | /// %Test with simple regular expression |
nothing calls this directly
no test coverage detected