|
@ -61,6 +61,12 @@ Grid::Grid(cells gridCells, cells background, const std::map<coordinates, float> |
|
|
backgroundTiles.emplace(color, cellsOfColor); |
|
|
backgroundTiles.emplace(color, cellsOfColor); |
|
|
} |
|
|
} |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
if(adversaries.empty()) { |
|
|
|
|
|
modelType = prism::ModelType::MDP; |
|
|
|
|
|
} else { |
|
|
|
|
|
modelType = prism::ModelType::SMG; |
|
|
|
|
|
} |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
std::ostream& operator<<(std::ostream& os, const Grid& grid) { |
|
|
std::ostream& operator<<(std::ostream& os, const Grid& grid) { |
|
|