if_diff/src/idfMatchSmt.cxx
static void match_symbols(const idfModel &model1, const idfModel &model2)
{
  idfSmt *smt = model1.getSmt();
  for (; smt != NULL; smt = smt->getNext()) {
    idfSmt *match = smt->getMatch();
    if (match != NULL) {
      if (smt->isId() && match->isId()) {
      	idf_try_symbol_match(smt->getId(), match->getId(), model1, model2);
      }
    }
  }
}
//============================================================================
// match_symbols(const idfModel &, const idfModel &)
//----------------------------------------------------------------------------
// Go through the matched SMT of model1 and process corresponding symbols.
//============================================================================
match_symbols(const idfModel &, const idfModel &)
Go through the matched SMT of model1 and process corresponding symbols.
match_symbols ( const idfModel & const idfModel & ) Go through the matched SMT of model1 and process corresponding symbols .
static void match_symbols(const idfModel &model1, const idfModel &model2)
{
  idfSmt *smt = model1.getSmt();
  for (; smt != NULL; smt = smt->getNext()) {
    idfSmt *match = smt->getMatch();
    if (match != NULL) {
      if (smt->isId() && match->isId()) {
      	idf_try_symbol_match(smt->getId(), match->getId(), model1, model2);
      }
    }
  }
}
static void match_symbols ( const idfModel & model1 , const idfModel & model2 ) { idfSmt * smt = model1 . getSmt ( ) ; for ( ; smt != NULL ; smt = smt -> getNext ( ) ) { idfSmt * match = smt -> getMatch ( ) ; if ( match != NULL ) { if ( smt -> isId ( ) && match -> isId ( ) ) { idf_try_symbol_match ( smt -> getId ( ) , match -> getId ( ) , model1 , model2 ) ; } } } }
match_symbols(const idfModel &, const idfModel &)
Go through the matched SMT of model1 and process corresponding symbols.
match_symbols ( const idfModel & const idfModel & ) Go through the matched SMT of model1 and process corresponding symbols .