def is_liveness_property(self, guarantee):
'''
Checks whether the given guarantee is a liveness guarantee
:param guarantee:
'''
automaton = self.ltl2ucw.convert(guarantee)
return not automata_helper.is_safety_automaton(automaton)
def is_safety(expr:Expr, ltl2ba_converter) -> bool:
automaton = ltl2ba_converter.convert(expr)
res = is_safety_automaton(automaton)
return res
