/** Removes unpromising branches from the active list */
protected void pruneBranches()
{
int startSize = activeList.size();
pruneTimer.start();
activeList = pruner.prune(activeList);
beamPruned.value += startSize - activeList.size();
pruneTimer.stop();
}
/** Removes unpromising branches from the active list */
protected void pruneBranches()
{
pruneTimer.start();
activeList = pruner.prune(activeList);
pruneTimer.stop();
}