void apply()

in include/ReducedProductAbstractDomain.h [166:182]


  void apply(
      std::function<void(
          typename std::tuple_element<Index, std::tuple<Domains...>>::type*)>
          operation,
      bool do_reduction = false) {
    if (is_bottom()) {
      return;
    }
    operation(&std::get<Index>(this->m_product));
    if (this->get<Index>().is_bottom()) {
      this->set_to_bottom();
      return;
    }
    if (do_reduction) {
      reduce();
    }
  }