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

Function main

examples/crossword.cpp:328–364  ·  view source on GitHub ↗

\brief Main-function * \relates Crossword */

Source from the content-addressed store, hash-verified

326 * \relates Crossword
327 */
328int
329main(int argc, char* argv[]) {
330 FileSizeOptions opt("Crossword");
331 opt.size(10);
332 opt.ipl(IPL_VAL);
333 opt.model(Crossword::MODEL_ELEMENT);
334 opt.model(Crossword::MODEL_ELEMENT,"element");
335 opt.model(Crossword::MODEL_TUPLESET,"tuple-set");
336 opt.branching(Crossword::BRANCH_LETTERS_AFC);
337 opt.branching(Crossword::BRANCH_WORDS_AFC,
338 "words-afc");
339 opt.branching(Crossword::BRANCH_LETTERS_AFC,
340 "letters-afc");
341 opt.branching(Crossword::BRANCH_LETTERS_AFC_ALL,
342 "letters-afc-all");
343 opt.branching(Crossword::BRANCH_WORDS_ACTION,
344 "words-action");
345 opt.branching(Crossword::BRANCH_LETTERS_ACTION,
346 "letters-action");
347 opt.branching(Crossword::BRANCH_LETTERS_ACTION_ALL,
348 "letters-action-all");
349 opt.branching(Crossword::BRANCH_WORDS_CHB,
350 "words-chb");
351 opt.branching(Crossword::BRANCH_LETTERS_CHB,
352 "letters-chb");
353 opt.branching(Crossword::BRANCH_LETTERS_CHB_ALL,
354 "letters-chb-all");
355 opt.parse(argc,argv);
356 dict.init(opt.file());
357 if (opt.size() >= n_grids) {
358 std::cerr << "Error: size must be between 0 and "
359 << n_grids-1 << std::endl;
360 return 1;
361 }
362 Script::run<Crossword,DFS,SizeOptions>(opt);
363 return 0;
364}
365
366namespace {
367

Callers

nothing calls this directly

Calls 7

modelMethod · 0.80
branchingMethod · 0.80
sizeMethod · 0.45
iplMethod · 0.45
parseMethod · 0.45
initMethod · 0.45
fileMethod · 0.45

Tested by

no test coverage detected