• Alexandre Duret-Lutz's avatar
    game: make a propagate_players() function public · 9e8a8429
    Alexandre Duret-Lutz authored
    * bin/ltlsynt.cc (complete_env): Replace this function by...
    * spot/misc/game.hh, spot/misc/game.cc (propagate_players): ... this
    new one, hiding the "state-player" business from ltlsynt.  Also do not
    create a sink states unless necessary.
    * tests/core/ltlsynt.test: Adjust expected number of states.
    9e8a8429