alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

game: mention Oink

Browse source 
* doc/spot.bib (vandijk.18.tacas): New entry.
* spot/misc/game.hh (solve_parity_game): Mention it.
This commit is contained in:
Alexandre Duret-Lutz 2020-09-24 15:41:20 +02:00
parent 324b0872a4
commit ca043bd62d
2 changed files with 20 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/misc/game.hh
View file

@ -62,7 +62,10 @@ namespace spot
/// game for player 1 using Zielonka's recursive algorithm.
/// \cite zielonka.98.tcs
///
/// Return the player winning in the initial state, and set
/// Also includes some inspiration from Oink.
/// \cite vandijk.18.tacas
///
/// Returns the player winning in the initial state, and sets
/// the state-winner and strategy named properties.
SPOT_API
bool solve_parity_game(const twa_graph_ptr& arena);