void add_successor()

in include/WeakPartialOrdering.h [588:603]

• 16 lines of code
• 3 McCabe index (conditional complexity)

  void add_successor(uint32_t from,
                     uint32_t to,
                     uint32_t exit,
                     bool outer_pred) {
    auto fromIdx = index_of(from);
    auto toIdx = index_of(to);
    auto& fromNode = node_of(from);
    auto& toNode = node_of(to);
    if (!fromNode.is_successor(toIdx)) {
      if (outer_pred) {
        m_for_outer_preds.push_back(std::make_pair(toIdx, index_of(exit)));
      }
      fromNode.add_successor(toIdx);
      toNode.add_predecessor(fromIdx);
    }
  }