Я получаю ошибку сегментации при итерации по набору. Трассировка стека указывает на
std::_Rb_tree_const_iterator<Type>::operator++
std::_Rb_tree_increment()
но я не получаю ничего более информативного. Итератор находится над набором, возвращаемым функцией
for (FactSet::factset_iterator fact_it = (*binSet_it).getDependencyGraph().getExtentionalFactSet().begin();
fact_it != (*binSet_it).getDependencyGraph().getExtentionalFactSet().end();
++fact_it) {...}
Я не вижу проблемы.
Заранее спасибо.