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

Method expectedSolutions

test/ldsb.cpp:380–396  ·  view source on GitHub ↗

Compute list of expected solutions

Source from the content-addressed store, hash-verified

378 }
379 /// Compute list of expected solutions
380 static std::vector<IntArgs> expectedSolutions(void) {
381 static std::vector<IntArgs> expected;
382 expected.clear();
383 expected.push_back(IntArgs({0,1,2,3}));
384 expected.push_back(IntArgs({0,1,3,2}));
385 expected.push_back(IntArgs({0,2,1,3}));
386 expected.push_back(IntArgs({0,2,3,1}));
387 expected.push_back(IntArgs({0,3,1,2}));
388 expected.push_back(IntArgs({0,3,2,1}));
389 expected.push_back(IntArgs({1,2,0,3}));
390 expected.push_back(IntArgs({1,2,3,0}));
391 expected.push_back(IntArgs({1,3,0,2}));
392 expected.push_back(IntArgs({1,3,2,0}));
393 expected.push_back(IntArgs({2,3,0,1}));
394 expected.push_back(IntArgs({2,3,1,0}));
395 return expected;
396 }
397 };
398
399 /// %Test for variable symmetry

Callers

nothing calls this directly

Calls 2

IntArgsClass · 0.50
clearMethod · 0.45

Tested by

no test coverage detected