Skip to content
Snippets Groups Projects
Commit d3465297 authored by Kilian Verhetsel's avatar Kilian Verhetsel
Browse files

Changed LNS state representation to use a bitset instead of a vector 

This allows parts of the graph that do not belong to the fragment to not
be iterated over when optimizing said fragment.
parent 58c07aed
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 35 additions and 13 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment