| 447 | } |
| 448 | |
| 449 | IntValBranch ann2ivalsel(AST::Node* ann, std::string& r0, std::string& r1, |
| 450 | Rnd rnd) { |
| 451 | if (AST::Atom* s = dynamic_cast<AST::Atom*>(ann)) { |
| 452 | if (s->id == "indomain_min") { |
| 453 | r0 = "="; r1 = "!="; |
| 454 | return INT_VAL_MIN(); |
| 455 | } |
| 456 | if (s->id == "indomain_max") { |
| 457 | r0 = "="; r1 = "!="; |
| 458 | return INT_VAL_MAX(); |
| 459 | } |
| 460 | if (s->id == "indomain_median") { |
| 461 | r0 = "="; r1 = "!="; |
| 462 | return INT_VAL_MED(); |
| 463 | } |
| 464 | if (s->id == "indomain_split") { |
| 465 | r0 = "<="; r1 = ">"; |
| 466 | return INT_VAL_SPLIT_MIN(); |
| 467 | } |
| 468 | if (s->id == "indomain_reverse_split") { |
| 469 | r0 = ">"; r1 = "<="; |
| 470 | return INT_VAL_SPLIT_MAX(); |
| 471 | } |
| 472 | if (s->id == "indomain_random") { |
| 473 | r0 = "="; r1 = "!="; |
| 474 | return INT_VAL_RND(rnd); |
| 475 | } |
| 476 | if (s->id == "indomain") { |
| 477 | r0 = "="; r1 = "="; |
| 478 | return INT_VALUES_MIN(); |
| 479 | } |
| 480 | if (s->id == "indomain_middle") { |
| 481 | std::cerr << "Warning, replacing unsupported annotation " |
| 482 | << "indomain_middle with indomain_median" << std::endl; |
| 483 | r0 = "="; r1 = "!="; |
| 484 | return INT_VAL_MED(); |
| 485 | } |
| 486 | if (s->id == "indomain_interval") { |
| 487 | std::cerr << "Warning, replacing unsupported annotation " |
| 488 | << "indomain_interval with indomain_split" << std::endl; |
| 489 | r0 = "<="; r1 = ">"; |
| 490 | return INT_VAL_SPLIT_MIN(); |
| 491 | } |
| 492 | } |
| 493 | std::cerr << "Warning, ignored search annotation: "; |
| 494 | ann->print(std::cerr); |
| 495 | std::cerr << std::endl; |
| 496 | r0 = "="; r1 = "!="; |
| 497 | return INT_VAL_MIN(); |
| 498 | } |
| 499 | |
| 500 | IntAssign ann2asnivalsel(AST::Node* ann, Rnd rnd) { |
| 501 | if (AST::Atom* s = dynamic_cast<AST::Atom*>(ann)) { |
no test coverage detected