Searched defs:is_livelock_accepting_state (Results 1 – 10 of 10) sorted by relevance
205 state_ta_explicit::is_livelock_accepting_state() const in is_livelock_accepting_state() function in spot::state_ta_explicit212 bool is_livelock_accepting_state) in set_livelock_accepting_state()456 ta_explicit::is_livelock_accepting_state(const spot::state* s) const in is_livelock_accepting_state() function in spot::ta_explicit
146 bool is_livelock_accepting_state = false, in state_ta_explicit()
337 ta_product::is_livelock_accepting_state(const spot::state* s) const in is_livelock_accepting_state() function in spot::ta_product
111 bool is_livelock_accepting_state = in build_result() local151 bool is_livelock_accepting_state = in build_result() local
3469 is_livelock_accepting_state = _swig_new_instance_method(_impl.ta_is_livelock_accepting_state) variable in ta