ltldo --smallest / ltldo --largest
I would like to have a new option for ltldo
to use it as a portfolio.
For instance:
ltldo --smallest ltl3ba ltl2ba 'ltl2tgba -B' -f formula
would translate the formula using the three tools, and return only the smallest automaton.
Ideally, --smallest
would take an optional parameter to specify what we want to minimize. Maybe we could say --smallest=%s,%e
and then use strverscmp()
on the strings to compare them. This would allow customizing the order easily.
Then it also make sense to implement --greatest
and complain of more that one of these option is used.
Finally, this should also combine with --stats
. So adding --stats=%T
to the above command should give be the name of the translator whose output was selected.