Home
last modified time | relevance | path

Searched refs:current_acceptance_conditions_ (Results 1 – 8 of 8) sorted by relevance

/dports/math/spot/spot-2.10.2/spot/ta/
H A Dtaproduct.cc187 current_acceptance_conditions_ = {}; in next_non_stuttering_()
195 current_acceptance_conditions_ in next_non_stuttering_()
232 return current_acceptance_conditions_; in acc()
H A Dtgtaproduct.cc211 current_acceptance_conditions_ in find_next_succ_()
252 return current_acceptance_conditions_; in acc()
H A Dtgtaproduct.hh93 acc_cond::mark_t current_acceptance_conditions_; member in spot::tgta_succ_iterator_product
H A Dtaproduct.hh116 acc_cond::mark_t current_acceptance_conditions_; member in spot::ta_succ_iterator_product
/dports/math/py-spot/spot-2.10.2/spot/ta/
H A Dtaproduct.cc187 current_acceptance_conditions_ = {}; in next_non_stuttering_()
195 current_acceptance_conditions_ in next_non_stuttering_()
232 return current_acceptance_conditions_; in acc()
H A Dtgtaproduct.cc211 current_acceptance_conditions_ in find_next_succ_()
252 return current_acceptance_conditions_; in acc()
H A Dtgtaproduct.hh93 acc_cond::mark_t current_acceptance_conditions_; member in spot::tgta_succ_iterator_product
H A Dtaproduct.hh116 acc_cond::mark_t current_acceptance_conditions_; member in spot::ta_succ_iterator_product