model_server/dfa/src/dfa_graph.cxx
// indSet_ doesn't change when merging
indSet_ doesn't change when merging
indSet_ doesn ' t change when merging
ForEachT(first, indSet_) {
      if (first.get_kind() != DD_FUNC_DECL)
	continue;
      int index = indSet_.get_index(first);
      DataSet *bucket = *dataSet_[index];
      if (bucket)
	temp += bucket->mergeRelations(this, abstract);
    }
ForEachT ( first , indSet_ ) { if ( first . get_kind ( ) != DD_FUNC_DECL ) continue ; int index = indSet_ . get_index ( first ) ; DataSet * bucket = * dataSet_ [ index ] ; if ( bucket ) temp += bucket -> mergeRelations ( this , abstract ) ; }
indSet_ doesn't change when merging
indSet_ doesn ' t change when merging