Searched refs:is_liveness_automaton (Results 1 – 16 of 16) sorted by relevance
125 is_liveness_automaton(const const_twa_graph_ptr& aut);
409 is_liveness_automaton(const const_twa_graph_ptr& aut) in is_liveness_automaton() function
489 return is_liveness_automaton(ltl_to_tgba_fm(f, spot::make_bdd_dict())); in is_liveness()
744 matched &= !liveness || is_liveness_automaton(aut); in process_formula()
2694 is_liveness_automaton = _impl.is_liveness_automaton variable
104254 …result = (bool)spot::is_liveness_automaton((std::shared_ptr< spot::twa_graph const > const &)*arg1… in _wrap_is_liveness_automaton()
1260 - The new function is_liveness() and is_liveness_automaton() can be
9091 implement is_liveness() and is_liveness_automaton()