Searched refs:con_sys_was_sorted (Results 1 – 1 of 1) sorted by relevance
2287 const bool con_sys_was_sorted = con_sys.is_sorted(); in drop_some_non_integer_points() local2355 con_sys.set_sorted(!changed && con_sys_was_sorted); in drop_some_non_integer_points()