src/ResolvExpr/SatisfyAssertions.cpp
void addToSymbolTable( const ast::AssertionSet & have, ast::SymbolTable & symtab ) {
		for ( auto & i : have ) {
			if ( i.second.isUsed ) { symtab.addId( i.first->var ); }
		}
	}
/// 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 addToSymbolTable( const ast::AssertionSet & have, ast::SymbolTable & symtab ) {
		for ( auto & i : have ) {
			if ( i.second.isUsed ) { symtab.addId( i.first->var ); }
		}
	}
void addToSymbolTable ( const ast :: AssertionSet & have , ast :: SymbolTable & symtab ) { for ( auto & i : have ) { if ( i . second . isUsed ) { symtab . addId ( i . first -> var ) ; } } }
Adds a captured assertion to the symbol table
Adds a captured assertion to the symbol table