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();
}
}