compute_attractors_tarjan: standard representation of states is dictionary not str
Authored by: hannesklarner 2016-02-15
Parent: [r172]
Child: [r174]