Searched refs:ordered_symbols (Results 1 – 2 of 2) sorted by relevance
96 ordered_symbols.push_back(symbol); in add_symbol()441 std::remove_copy_if(program.ordered_symbols.begin(), program.ordered_symbols.end(), in public_symbols()
293 std::vector<std::shared_ptr<symbol>> ordered_symbols; member
