Searched defs:is_safety_automaton (Results 1 – 4 of 4) sorted by relevance
185 bool is_safety_automaton(const const_twa_graph_ptr& aut, scc_info* si) in is_safety_automaton() function
2693 is_safety_automaton = _impl.is_safety_automaton variable