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. *