| 619 | |
| 620 | #ifdef GECODE_HAS_SET_VARS |
| 621 | SetVarBranch ann2svarsel(AST::Node* ann, Rnd rnd, double decay) { |
| 622 | if (AST::Atom* s = dynamic_cast<AST::Atom*>(ann)) { |
| 623 | if (s->id == "input_order") |
| 624 | return SET_VAR_NONE(); |
| 625 | if (s->id == "first_fail") |
| 626 | return SET_VAR_SIZE_MIN(); |
| 627 | if (s->id == "anti_first_fail") |
| 628 | return SET_VAR_SIZE_MAX(); |
| 629 | if (s->id == "smallest") |
| 630 | return SET_VAR_MIN_MIN(); |
| 631 | if (s->id == "largest") |
| 632 | return SET_VAR_MAX_MAX(); |
| 633 | if (s->id == "afc_min") |
| 634 | return SET_VAR_AFC_MIN(decay); |
| 635 | if (s->id == "afc_max") |
| 636 | return SET_VAR_AFC_MAX(decay); |
| 637 | if (s->id == "afc_size_min") |
| 638 | return SET_VAR_AFC_SIZE_MIN(decay); |
| 639 | if (s->id == "afc_size_max") |
| 640 | return SET_VAR_AFC_SIZE_MAX(decay); |
| 641 | if (s->id == "action_min") |
| 642 | return SET_VAR_ACTION_MIN(decay); |
| 643 | if (s->id == "action_max") |
| 644 | return SET_VAR_ACTION_MAX(decay); |
| 645 | if (s->id == "action_size_min") |
| 646 | return SET_VAR_ACTION_SIZE_MIN(decay); |
| 647 | if (s->id == "action_size_max") |
| 648 | return SET_VAR_ACTION_SIZE_MAX(decay); |
| 649 | if (s->id == "random") { |
| 650 | return SET_VAR_RND(rnd); |
| 651 | } |
| 652 | } |
| 653 | std::cerr << "Warning, ignored search annotation: "; |
| 654 | ann->print(std::cerr); |
| 655 | std::cerr << std::endl; |
| 656 | return SET_VAR_NONE(); |
| 657 | } |
| 658 | |
| 659 | SetValBranch ann2svalsel(AST::Node* ann, std::string r0, std::string r1, |
| 660 | Rnd rnd) { |
no test coverage detected