Skip to content
Commit 5230085a authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Grounder::SortedNames is an IntMap instead of std::multimap now. 

Should not only be faster but also leads to cleaner code in
Grounder::Assignments.
parent 2631cb31
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment