TreeSearcher.icc.h

/**************************************************************************
 * basf2 (Belle II Analysis Software Framework)                           *
 * Author: The Belle II Collaboration                                     *
 *                                                                        *
 * See git log for contributors and copyright holders.                    *
 * This file is licensed under LGPL-3.0, see LICENSE.md.                  *
 **************************************************************************/
#pragma once
 
#include <tracking/ckf/general/findlets/TreeSearcher.dcl.h>
 
#include <framework/logging/Logger.h>
 
#include <tracking/trackFindingCDC/utilities/Range.h>
#include <tracking/trackFindingCDC/utilities/Algorithms.h>
#include <tracking/trackFindingCDC/utilities/StringManipulation.h>
 
#include <framework/core/ModuleParamList.templateDetails.h>
 
namespace Belle2 {
  template <class AState, class AStateRejecter, class AResult>
  TreeSearcher<AState, AStateRejecter, AResult>::TreeSearcher() : Super()
  {
    Super::addProcessingSignalListener(&m_stateRejecter);
  };
 
  template <class AState, class AStateRejecter, class AResult>
  void TreeSearcher<AState, AStateRejecter, AResult>::exposeParameters(ModuleParamList* moduleParamList, const std::string& prefix)
  {
    m_stateRejecter.exposeParameters(moduleParamList, prefix);
 
    moduleParamList->addParameter(TrackFindingCDC::prefixed(prefix, "endEarly"), m_param_endEarly,
                                  "Make it possible to have all subresults in the end result vector.",
                                  m_param_endEarly);
  }
 
  template <class AState, class AStateRejecter, class AResult>
  void TreeSearcher<AState, AStateRejecter, AResult>::apply(const std::vector<AState>& seededStates,
                                                            std::vector<AState>& hitStates,
                                                            const std::vector<TrackFindingCDC::WeightedRelation<AState>>& relations,
                                                            std::vector<AResult>& results)
  {
    B2ASSERT("Expected relation to be sorted",
             std::is_sorted(relations.begin(), relations.end()));
 
    // TODO: May be better to just do this for each seed separately
    const std::vector<AState*>& statePointers = TrackFindingCDC::as_pointers<AState>(hitStates);
    m_automaton.applyTo(statePointers, relations);
 
    std::vector<TrackFindingCDC::WithWeight<const AState*>> path;
    for (const AState& state : seededStates) {
      B2DEBUG(29, "Starting with new seed...");
 
      path.emplace_back(&state, 0);
      traverseTree(path, relations, results);
      path.pop_back();
      B2ASSERT("Something went wrong during the path traversal", path.empty());
 
      B2DEBUG(29, "... finished with seed");
    }
  }
 
  template <class AState, class AStateRejecter, class AResult>
  void TreeSearcher<AState, AStateRejecter, AResult>::traverseTree(std::vector<TrackFindingCDC::WithWeight<const AState*>>& path,
      const std::vector<TrackFindingCDC::WeightedRelation<AState>>& relations,
      std::vector<AResult>& results)
  {
    if (m_param_endEarly) {
      // Make it possible to end earlier (with less hits)
      results.emplace_back(path);
    }
 
    // Implement only graph traversal logic and leave the extrapolation and selection to the
    // rejecter.
    const AState* currentState = path.back();
    auto continuations =
      TrackFindingCDC::asRange(std::equal_range(relations.begin(), relations.end(), currentState));
 
    std::vector<TrackFindingCDC::WithWeight<AState*>> childStates;
    for (const TrackFindingCDC::WeightedRelation<AState>& continuation : continuations) {
      AState* childState = continuation.getTo();
      TrackFindingCDC::Weight weight = continuation.getWeight();
      // the state may still include information from an other round of processing, so lets set it back
 
      if (std::count(path.begin(), path.end(), childState)) {
        // Cycle detected -- is this the best handling?
        // Other options: Raise an exception and bail out of this seed
        B2FATAL("Cycle detected!");
      }
 
      childState->reset();
      childStates.emplace_back(childState, weight);
    }
 
    if (childStates.empty()) {
      B2DEBUG(29, "Terminating this route, as there are no possible child states.");
      if (not m_param_endEarly) {
        results.emplace_back(path);
      }
      return;
    }
 
    // Do everything with child states, linking, extrapolation, teaching, discarding, what have
    // you.
    const std::vector<TrackFindingCDC::WithWeight<const AState*>>& constPath = path;
    m_stateRejecter.apply(constPath, childStates);
 
    if (childStates.empty()) {
      B2DEBUG(29, "Terminating this route, as there are no possible child states.");
      if (not m_param_endEarly) {
        results.emplace_back(path);
      }
      return;
    }
 
    // Traverse the tree from each new state on
    const auto stateLess = [](const auto & lhs, const auto & rhs) {
      return lhs->getAutomatonCell().getCellState() < rhs->getAutomatonCell().getCellState();
    };
    std::sort(childStates.begin(), childStates.end(), stateLess);
 
    B2DEBUG(29, "Having found " << childStates.size() << " child states.");
    for (const TrackFindingCDC::WithWeight<AState*>& childState : childStates) {
      path.emplace_back(childState, childState.getWeight());
      traverseTree(path, relations, results);
      path.pop_back();
    }
  }
}