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

* spot/twaalgos/game.cc: Fix incorrect std::forward.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2023-01-05 17:49:00 +01:00
parent 344d82f2b4
commit 36e79ecca6
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
spot/twaalgos/game.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2017-2018, 2020-2022 Laboratoire de Recherche et // Copyright (C) 2017-2018, 2020-2023 Laboratoire de Recherche et
// Développement de l'Epita (LRDE). // Développement de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -1034,7 +1034,7 @@ namespace spot
("set_state_players(): There must be as many owners as states"); ("set_state_players(): There must be as many owners as states");
arena->set_named_prop<region_t>("state-player", arena->set_named_prop<region_t>("state-player",
new region_t(std::forward<region_t>(owners))); new region_t(std::move(owners)));
} }
void set_state_player(twa_graph_ptr arena, unsigned state, bool owner) void set_state_player(twa_graph_ptr arena, unsigned state, bool owner)
@ -1101,7 +1101,7 @@ namespace spot
throw std::runtime_error("set_strategy(): strategies need to have " throw std::runtime_error("set_strategy(): strategies need to have "
"the same size as the automaton."); "the same size as the automaton.");
arena->set_named_prop<strategy_t>("strategy", arena->set_named_prop<strategy_t>("strategy",
new strategy_t(std::forward<strategy_t>(strat))); new strategy_t(std::move(strat)));
} }
void set_synthesis_outputs(const twa_graph_ptr& arena, const bdd& outs) void set_synthesis_outputs(const twa_graph_ptr& arena, const bdd& outs)
@ -1152,7 +1152,7 @@ namespace spot
("set_state_winners(): There must be as many winners as states"); ("set_state_winners(): There must be as many winners as states");
arena->set_named_prop<region_t>("state-winner", arena->set_named_prop<region_t>("state-winner",
new region_t(std::forward<region_t>(winners))); new region_t(std::move(winners)));
} }
void set_state_winner(twa_graph_ptr arena, unsigned state, bool winner) void set_state_winner(twa_graph_ptr arena, unsigned state, bool winner)