search

adl / hoaf

Hanoi Omega-Automata Format
13 stars 2 forks source link

Move F outside the definition and fixes "run". Fixes #48. Replaces #49. #50

Closed strejcek closed 9 years ago

strejcek commented 9 years ago

Another proposal for #48 . Definition of sets S0,...,S{m-1} are below the definition (as suggested by Joachim in #49 ).

There is also a fix of run: the previous definition still used transition as triplets instead quadruplets (which was clearly a bug) and one cannot derive from a run which transition it uses. This is now made explicit.

adl commented 9 years ago

Thanks!

I've merged your two patches with the indezes->indices fix and the current date, and committed the result.