calling consistency for output functions
For formulas, the to_XXX_string
family of functions have the form stream to_spin_string(formula, stream)
.
For automata, we have for instance stream hoa_reachable(stream, aut, opts)
.
I think it makes sense that stream is always the first argument in function that return a stream, so let's fix the formula output functions.