joshua/satuio
1
Fork 0
mirror of https://github.com/Jaxan/satuio.git synced 2025-06-04 23:37:45 +02:00
Code Issues Releases Activity

small bugfix

Browse source
This commit is contained in:
Joshua Moerman 2022-01-24 14:17:32 +01:00
parent 54871a2faa
commit f1ee29e3f2
1 changed files with 7 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
satuio/uio-incr.py
View file

@ -161,8 +161,9 @@ def extend(new_uios):
# And follow the graph to extend to other states.
# Note: these may not be the smallest UIO for that state.
# But it is an UIO nevertheless.
for (s, i) in uio_implication_graph[t]:
queue.append((s, [i] + uio))
if t in uio_implication_graph:
for (s, i) in uio_implication_graph[t]:
queue.append((s, [i] + uio))
# We extend our 1-letter UIOs
extend(new_uios)
@ -377,12 +378,12 @@ for length in range(2, bound + 1):
new_uios = {}
for (s, uio) in uios.items():
console.print(s, style='bold black', end=' => ')
console.print(uio, style='bold green')
# Report some final stats
start = start_total
measure_time("Done with total time")
print('With UIO:', len(uios))
print('without: ', len(states) - len(uios))
for (s, uio) in uios.items():
console.print(s, style='bold black', end=' => ')
console.print(uio, style='bold green')