#pragma once #include #include "cell.h" typedef std::string AgentName; typedef std::pair AgentNameAndPosition; typedef AgentNameAndPosition KeyNameAndPosition; typedef std::map AgentNameAndPositionMap; typedef std::map KeyNameAndPositionMap; namespace prism { enum class ModelType { MDP, SMG }; }