MCPcopy Create free account
hub / github.com/Gecode/gecode / expectedSolutions

Method expectedSolutions

test/ldsb.cpp:321–360  ·  view source on GitHub ↗

Compute list of expected solutions

Source from the content-addressed store, hash-verified

319 }
320 /// Compute list of expected solutions
321 static std::vector<IntArgs> expectedSolutions(void) {
322 static std::vector<IntArgs> expected;
323 expected.clear();
324 expected.push_back(IntArgs({0,0,0,0}));
325 expected.push_back(IntArgs({0,0,0,1}));
326 expected.push_back(IntArgs({0,0,0,2}));
327 expected.push_back(IntArgs({0,0,0,3}));
328 expected.push_back(IntArgs({0,0,1,1}));
329 expected.push_back(IntArgs({0,0,1,2}));
330 expected.push_back(IntArgs({0,0,1,3}));
331 expected.push_back(IntArgs({0,0,2,2}));
332 expected.push_back(IntArgs({0,0,2,3}));
333 expected.push_back(IntArgs({0,0,3,3}));
334 expected.push_back(IntArgs({0,1,1,1}));
335 expected.push_back(IntArgs({0,1,1,2}));
336 expected.push_back(IntArgs({0,1,1,3}));
337 expected.push_back(IntArgs({0,1,2,2}));
338 expected.push_back(IntArgs({0,1,2,3}));
339 expected.push_back(IntArgs({0,1,3,3}));
340 expected.push_back(IntArgs({0,2,2,2}));
341 expected.push_back(IntArgs({0,2,2,3}));
342 expected.push_back(IntArgs({0,2,3,3}));
343 expected.push_back(IntArgs({0,3,3,3}));
344 expected.push_back(IntArgs({1,1,1,1}));
345 expected.push_back(IntArgs({1,1,1,2}));
346 expected.push_back(IntArgs({1,1,1,3}));
347 expected.push_back(IntArgs({1,1,2,2}));
348 expected.push_back(IntArgs({1,1,2,3}));
349 expected.push_back(IntArgs({1,1,3,3}));
350 expected.push_back(IntArgs({1,2,2,2}));
351 expected.push_back(IntArgs({1,2,2,3}));
352 expected.push_back(IntArgs({1,2,3,3}));
353 expected.push_back(IntArgs({1,3,3,3}));
354 expected.push_back(IntArgs({2,2,2,2}));
355 expected.push_back(IntArgs({2,2,2,3}));
356 expected.push_back(IntArgs({2,2,3,3}));
357 expected.push_back(IntArgs({2,3,3,3}));
358 expected.push_back(IntArgs({3,3,3,3}));
359 return expected;
360 }
361 };
362
363 /// %Test for variable symmetry

Callers

nothing calls this directly

Calls 2

IntArgsClass · 0.50
clearMethod · 0.45

Tested by

no test coverage detected