src/ResolvExpr/ResolveAssertions.cc
void addToIndexer( AssertionSet & assertSet, SymTab::Indexer & indexer ) {
		for ( auto&  i : assertSet ) {
			if ( i.second.isUsed ) {
				indexer.addId( i.first );
			}
		}
	}
/// Adds a captured assertion to the symbol table
Adds a captured assertion to the symbol table
Adds a captured assertion to the symbol table
void addToIndexer( AssertionSet & assertSet, SymTab::Indexer & indexer ) {
		for ( auto&  i : assertSet ) {
			if ( i.second.isUsed ) {
				indexer.addId( i.first );
			}
		}
	}
void addToIndexer ( AssertionSet & assertSet , SymTab :: Indexer & indexer ) { for ( auto & i : assertSet ) { if ( i . second . isUsed ) { indexer . addId ( i . first ) ; } } }
Adds a captured assertion to the symbol table
Adds a captured assertion to the symbol table