Searched refs:current_acceptance_conditions_ (Results 1 – 8 of 8) sorted by relevance
187 current_acceptance_conditions_ = {}; in next_non_stuttering_()195 current_acceptance_conditions_ in next_non_stuttering_()232 return current_acceptance_conditions_; in acc()
211 current_acceptance_conditions_ in find_next_succ_()252 return current_acceptance_conditions_; in acc()
93 acc_cond::mark_t current_acceptance_conditions_; member in spot::tgta_succ_iterator_product
116 acc_cond::mark_t current_acceptance_conditions_; member in spot::ta_succ_iterator_product