| 977 | } |
| 978 | |
| 979 | void |
| 980 | PropagatorGroup::disable(Space& home) { |
| 981 | if (home.failed()) |
| 982 | return; |
| 983 | for (Space::Propagators ps(home); ps(); ++ps) |
| 984 | if (in(ps.propagator().group())) |
| 985 | ps.propagator().disable(home); |
| 986 | } |
| 987 | |
| 988 | void |
| 989 | PropagatorGroup::enable(Space& home, bool s) { |
nothing calls this directly
no test coverage detected