This implements VecSet, i.e., a set that uses a vector under the hood and supports efficient way to mark an element as erased and then either abort it or permanently delete (i.e., exactly what our simplifiers do). Currently I've only made it work for LinearSet and PseudoLinearSet (making SemilinearSet use it is on my todo list).
This implements
VecSet
, i.e., a set that uses a vector under the hood and supports efficient way to mark an element as erased and then either abort it or permanently delete (i.e., exactly what our simplifiers do). Currently I've only made it work forLinearSet
andPseudoLinearSet
(makingSemilinearSet
use it is on my todo list).