| 953 | } |
| 954 | |
| 955 | unsigned int |
| 956 | PropagatorGroup::size(Space& home) const { |
| 957 | if (home.failed()) |
| 958 | return 0; |
| 959 | unsigned int n=0; |
| 960 | for (Space::Propagators ps(home); ps(); ++ps) |
| 961 | if (in(ps.propagator().group())) |
| 962 | n++; |
| 963 | return n; |
| 964 | } |
| 965 | |
| 966 | void |
| 967 | PropagatorGroup::kill(Space& home) { |
nothing calls this directly
no test coverage detected