Home
last modified time | relevance | path

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

/dports/math/spot/spot-2.10.2/spot/twaalgos/
H A Dgame.cc142 is_one_player1(one_player1), in subgame_info_t()
149 bool is_one_player1; // one player subgame for player1 <-> p==true member
270 info.is_one_player1 = true; in inspect_scc()
293 info.is_one_player1 = false; in inspect_scc()
/dports/math/py-spot/spot-2.10.2/spot/twaalgos/
H A Dgame.cc142 is_one_player1(one_player1), in subgame_info_t()
149 bool is_one_player1; // one player subgame for player1 <-> p==true member
270 info.is_one_player1 = true; in inspect_scc()
293 info.is_one_player1 = false; in inspect_scc()