Searched refs:max_abs_par_ (Results 1 – 2 of 2) sorted by relevance
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | game.cc | 195 one_par_subgame_solver(subgame_info, max_abs_par_); in solve()
199 max_abs_par_ = *subgame_info.all_parities.begin(); in solve()
200 w_stack_.emplace_back(0, 0, 0, max_abs_par_); in solve()
253 max_abs_par_ = arena_->get_acceptance().used_sets().max_set() - 1; in set_up()
329 max_abs_par_ = std::max(par_pair[0], par_pair[1]); in fix_scc()
399 assert((min_win_par <= max_par) && (max_par <= max_abs_par_)); in attr()
582 assert(this_work.max_par <= max_abs_par_); in zielonka()
699 max_abs_par_ = 0; in clean_up()
758 unsigned max_abs_par_; // Max parity occurring in the current scc member in spot::__anonc177216f0111::parity_game
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
| H A D | game.cc | 195 one_par_subgame_solver(subgame_info, max_abs_par_); in solve()
199 max_abs_par_ = *subgame_info.all_parities.begin(); in solve()
200 w_stack_.emplace_back(0, 0, 0, max_abs_par_); in solve()
253 max_abs_par_ = arena_->get_acceptance().used_sets().max_set() - 1; in set_up()
329 max_abs_par_ = std::max(par_pair[0], par_pair[1]); in fix_scc()
399 assert((min_win_par <= max_par) && (max_par <= max_abs_par_)); in attr()
582 assert(this_work.max_par <= max_abs_par_); in zielonka()
699 max_abs_par_ = 0; in clean_up()
758 unsigned max_abs_par_; // Max parity occurring in the current scc member in spot::__anon4f911b450111::parity_game
|