The naming for simple char based alphabet has been changed to better reflect what the struct represents. We moved from Simple to CharAlphabet, which captures the essence of the object much better.
Similarly, we now say ReducedOmegaWord instead of just Reduced, to make it more clear what is actually represented.
The tests in the documentation for omega words now correctly uses the upw macro, whose documentation has also been expaned to inlcude an example.
The naming for simple char based alphabet has been changed to better reflect what the struct represents. We moved from
SimpletoCharAlphabet, which captures the essence of the object much better.Similarly, we now say
ReducedOmegaWordinstead of justReduced, to make it more clear what is actually represented.The tests in the documentation for omega words now correctly uses the
upwmacro, whose documentation has also been expaned to inlcude an example.