From 0519a3955c18562a46d09e9280c0435a7b871414 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Fri, 29 Jan 2021 08:00:40 +0100 Subject: [PATCH] fix reorder warning --- src/storm/storage/prism/Program.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/storm/storage/prism/Program.h b/src/storm/storage/prism/Program.h index 496ac7bf8..7e4b7e766 100644 --- a/src/storm/storage/prism/Program.h +++ b/src/storm/storage/prism/Program.h @@ -345,19 +345,19 @@ namespace storm { * @return Retrieves the mapping of player names to their indices. */ std::map const& getPlayerNameToIndexMapping() const; - + /*! * Retrieves a vector whose i'th entry corresponds to the player controlling module i. * Modules that are not controlled by any player will get assigned INVALID_PLAYER_INDEX */ std::vector buildModuleIndexToPlayerIndexMap() const; - + /*! * Retrieves a vector whose i'th entry corresponds to the player controlling action with index i. * Actions that are not controlled by any player (in particular the silent action) will get assigned INVALID_PLAYER_INDEX. */ std::map buildActionIndexToPlayerIndexMap() const; - + /*! * Retrieves the mapping of action names to their indices. *