def ore_2_automaton_gff(omega_regex: str) -> str:
check_correct_ore(omega_regex)
w_regex = to_regex(omega_regex)
w_regex = sub("([\W])(?:[Tt]rue|\.)([\W])", "\\1True\\2", w_regex)
result = execute_translation("ORE", w_regex, "-se -sa")
result = sub('<Alphabet type="Classical">', '<Alphabet type="Propositional">', result)
result = regex_to_proposition(result)
return result
def ore_2_automaton_gff(omega_regex: str) -> str:
check_correct_ore(omega_regex)
w_regex = to_regex(omega_regex)
w_regex = sub("([\W])(?:[Tt]rue|\.)([\W])", "\\1True\\2", w_regex)
result = execute_translation("ORE", w_regex, "-se -sa")
result = sub("<Alphabet type=\"Classical\">",
"<Alphabet type=\"Propositional\">",
result)
result = regex_to_proposition(result)
return result
def pltl_2_automaton_gff(ltl: str) -> str:
return execute_translation("QPTL", ltl, "-m pltl2ba -t nbw")
def pltl_2_automaton_gff(ltl: str) -> str:
return execute_translation("QPTL", ltl, "-m pltl2ba -t nbw")
