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

Function main

examples/colored-matrix.cpp:534–544  ·  view source on GitHub ↗

\brief Main-function * \relates ColoredMatrix */

Source from the content-addressed store, hash-verified

532 * \relates ColoredMatrix
533 */
534int
535main(int argc, char* argv[]) {
536 ColoredMatrixOptions opt("Colored matrix");
537 opt.parse(argc,argv);
538 if (opt.search() == ColoredMatrix::SEARCH_DFS) {
539 Script::run<ColoredMatrix,DFS,ColoredMatrixOptions>(opt);
540 } else {
541 Script::run<ColoredMatrix,BAB,ColoredMatrixOptions>(opt);
542 }
543 return 0;
544}
545
546
547namespace {

Callers

nothing calls this directly

Calls 2

parseMethod · 0.45
searchMethod · 0.45

Tested by

no test coverage detected