Searched refs:get_state_winner (Results 1 – 12 of 12) sorted by relevance
/dports/math/spot/spot-2.10.2/spot/twaalgos/ |
H A D | game.hh | 196 bool get_state_winner(const_twa_graph_ptr arena, unsigned state);
|
H A D | game.cc | 1082 bool get_state_winner(const_twa_graph_ptr arena, unsigned state) in get_state_winner() function
|
H A D | synthesis.cc | 1021 if (!get_state_winner(arena, arena->get_init_state_number())) in solved_game_to_separated_mealy()
|
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
H A D | game.hh | 196 bool get_state_winner(const_twa_graph_ptr arena, unsigned state);
|
H A D | game.cc | 1082 bool get_state_winner(const_twa_graph_ptr arena, unsigned state) in get_state_winner() function
|
H A D | synthesis.cc | 1021 if (!get_state_winner(arena, arena->get_init_state_number())) in solved_game_to_separated_mealy()
|
/dports/math/spot/spot-2.10.2/python/spot/ |
H A D | impl.py | 2815 get_state_winner = _impl.get_state_winner variable
|
H A D | impl_wrap.cxx | 108439 result = (bool)spot::get_state_winner(arg1,arg2); in _wrap_get_state_winner()
|
/dports/math/py-spot/spot-2.10.2/python/spot/ |
H A D | impl.py | 2815 get_state_winner = _impl.get_state_winner variable
|
H A D | impl_wrap.cxx | 108439 result = (bool)spot::get_state_winner(arg1,arg2); in _wrap_get_state_winner()
|
/dports/math/spot/spot-2.10.2/ |
H A D | ChangeLog | 588 get_state_players, set_state_player, get_state_winner,
|
/dports/math/py-spot/spot-2.10.2/ |
H A D | ChangeLog | 588 get_state_players, set_state_player, get_state_winner,
|