| 731 | } |
| 732 | |
| 733 | FloatValBranch ann2fvalsel(AST::Node* ann, std::string r0, std::string r1) { |
| 734 | if (AST::Atom* s = dynamic_cast<AST::Atom*>(ann)) { |
| 735 | if (s->id == "indomain_split") { |
| 736 | r0 = "<="; r1 = ">"; |
| 737 | return FLOAT_VAL_SPLIT_MIN(); |
| 738 | } |
| 739 | if (s->id == "indomain_reverse_split") { |
| 740 | r1 = "<="; r0 = ">"; |
| 741 | return FLOAT_VAL_SPLIT_MAX(); |
| 742 | } |
| 743 | } |
| 744 | std::cerr << "Warning, ignored search annotation: "; |
| 745 | ann->print(std::cerr); |
| 746 | std::cerr << std::endl; |
| 747 | r0 = "<="; r1 = ">"; |
| 748 | return FLOAT_VAL_SPLIT_MIN(); |
| 749 | } |
| 750 | |
| 751 | #endif |
| 752 |
no test coverage detected