| 986 | } |
| 987 | |
| 988 | void |
| 989 | PropagatorGroup::enable(Space& home, bool s) { |
| 990 | if (home.failed()) |
| 991 | return; |
| 992 | if (s) { |
| 993 | Space::Propagators ps(home); |
| 994 | while (ps()) { |
| 995 | Propagator& p = ps.propagator(); |
| 996 | ++ps; |
| 997 | if (in(p.group())) { |
| 998 | p.enable(home); |
| 999 | p.reschedule(home); |
| 1000 | } |
| 1001 | } |
| 1002 | } else { |
| 1003 | for (Space::Propagators ps(home); ps(); ++ps) |
| 1004 | if (in(ps.propagator().group())) |
| 1005 | ps.propagator().enable(home); |
| 1006 | } |
| 1007 | } |
| 1008 | |
| 1009 | |
| 1010 | BrancherGroup& |
nothing calls this directly
no test coverage detected