Skip to content
Snippets Groups Projects
Commit 0551746e authored by jgatt's avatar jgatt
Browse files

Now DMwindows_list is explicitly assumed to be sorted and disjoint + small...

Now DMwindows_list is explicitly assumed to be sorted and disjoint + small optimization in index_in_dm_window assuming that
parent fde56e7d
Branches
Tags
1 merge request!16Merge request multibehavior
Pipeline #5533 passed