Home
last modified time | relevance | path

Searched refs:subgame_info_t (Results 1 – 2 of 2) sorted by relevance

/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dgame.cc129 struct subgame_info_t struct
133 subgame_info_t() noexcept in subgame_info_t() function
137 subgame_info_t(bool empty, bool one_parity, bool one_player0, in subgame_info_t() argument
167 subgame_info_t subgame_info; in solve()
264 inline subgame_info_t
267 subgame_info_t info; in inspect_scc()
307 inline subgame_info_t
585 subgame_info_t subgame_info = in zielonka()
704 inline void one_par_subgame_solver(const subgame_info_t &info, in one_par_subgame_solver()
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dgame.cc129 struct subgame_info_t struct
133 subgame_info_t() noexcept in subgame_info_t() argument
137 subgame_info_t(bool empty, bool one_parity, bool one_player0, in subgame_info_t() function
167 subgame_info_t subgame_info; in solve()
264 inline subgame_info_t
267 subgame_info_t info; in inspect_scc()
307 inline subgame_info_t
585 subgame_info_t subgame_info = in zielonka()
704 inline void one_par_subgame_solver(const subgame_info_t &info, in one_par_subgame_solver()