-
Hans-Peter Deifel authored
We will need this because we initially mark states that have v^x == v_0 and need to unmark those again later.
712b1572
We will need this because we initially mark states that have v^x == v_0 and need to unmark those again later.