search

pettni / pdf-abstraction

Now developed in the mdp_network repository
1 stars 0 forks source link

formula_to_mdp issue #2

Closed shaesaert closed 6 years ago

shaesaert commented 6 years ago

The line 

states = set(map(int, fsa.g.nodes()))

does not work with until operators. In that case some states would be named 'trap'

shaesaert commented 6 years ago

This issue has been fixed by switching to a dictionary for the fas.g.nodes