| 657 | } |
| 658 | |
| 659 | SetValBranch ann2svalsel(AST::Node* ann, std::string r0, std::string r1, |
| 660 | Rnd rnd) { |
| 661 | (void) rnd; |
| 662 | if (AST::Atom* s = dynamic_cast<AST::Atom*>(ann)) { |
| 663 | if (s->id == "indomain_min") { |
| 664 | r0 = "in"; r1 = "not in"; |
| 665 | return SET_VAL_MIN_INC(); |
| 666 | } |
| 667 | if (s->id == "indomain_max") { |
| 668 | r0 = "in"; r1 = "not in"; |
| 669 | return SET_VAL_MAX_INC(); |
| 670 | } |
| 671 | if (s->id == "outdomain_min") { |
| 672 | r1 = "in"; r0 = "not in"; |
| 673 | return SET_VAL_MIN_EXC(); |
| 674 | } |
| 675 | if (s->id == "outdomain_max") { |
| 676 | r1 = "in"; r0 = "not in"; |
| 677 | return SET_VAL_MAX_EXC(); |
| 678 | } |
| 679 | } |
| 680 | std::cerr << "Warning, ignored search annotation: "; |
| 681 | ann->print(std::cerr); |
| 682 | std::cerr << std::endl; |
| 683 | r0 = "in"; r1 = "not in"; |
| 684 | return SET_VAL_MIN_INC(); |
| 685 | } |
| 686 | #endif |
| 687 | |
| 688 | #ifdef GECODE_HAS_FLOAT_VARS |
no test coverage detected