| 138 | } |
| 139 | |
| 140 | bool |
| 141 | RBS::stopped(void) const { |
| 142 | /* |
| 143 | * What might happen during parallel search is that the |
| 144 | * engine has been stopped but the meta engine has not, so |
| 145 | * the meta engine does not perform a restart. However the |
| 146 | * invocation of next will do so and no restart will be |
| 147 | * missed. |
| 148 | */ |
| 149 | return e->stopped(); |
| 150 | } |
| 151 | |
| 152 | RBS::~RBS(void) { |
| 153 | delete e; |