whitemech/LTLf2DFA

change translation

francescofuggitti opened this issue · 0 comments

francescofuggitti commented

For several reasons, I'd like to change the translation function. In particular, I'd like to delegate the translation to a MONA program to a method called to_mona for each LTLf / PLTLf formula.

Steps:

  • introduce to_mona for each LTLf / PLTLf class
  • add tests