Closed s4ke closed 8 years ago
Dominik sent these: ()|() (a+)+ (a|())+
These are all wrongly recognized as non deterministic. This is probably due to the EdgeGraph currently using Lists to store the edges. Maybe a switch back to Sets is a good idea.
Fixed in commit #54b1e1589e62e956eea5b215400c89bd938b1ba8
Dominik sent these: ()|() (a+)+ (a|())+
These are all wrongly recognized as non deterministic. This is probably due to the EdgeGraph currently using Lists to store the edges. Maybe a switch back to Sets is a good idea.