| 843 | } |
| 844 | |
| 845 | bool |
| 846 | Space::master(const MetaInfo& mi) { |
| 847 | switch (mi.type()) { |
| 848 | case MetaInfo::RESTART: |
| 849 | if (mi.last() != nullptr) |
| 850 | constrain(*mi.last()); |
| 851 | mi.nogoods().post(*this); |
| 852 | // Perform a restart even if a solution has been found |
| 853 | return true; |
| 854 | case MetaInfo::PORTFOLIO: |
| 855 | // Kill all branchers |
| 856 | BrancherGroup::all.kill(*this); |
| 857 | return true; |
| 858 | default: GECODE_NEVER; |
| 859 | return true; |
| 860 | } |
| 861 | } |
| 862 | |
| 863 | bool |
| 864 | Space::slave(const MetaInfo&) { |