Allow states to be marked as "indistinguishable" by the analyst. This could speed up computation, and would simplify the analysis of results.
Allow states to be marked as "indistinguishable" by the analyst. This could speed up computation, and would simplify the analysis of results.