ModuleRenaming.h

Go to the documentation of this file.

#pragma once
 
#include <map>
#include <memory>
#include <set>
#include <string>
#include <vector>
 
#include "storm/storage/BoostTypes.h"
#include "storm/storage/prism/BooleanVariable.h"
#include "storm/storage/prism/ClockVariable.h"
#include "storm/storage/prism/Command.h"
#include "storm/storage/prism/IntegerVariable.h"
 
namespace storm {
namespace prism {
class ModuleRenaming : public LocatedInformation {
   public:
    ModuleRenaming(std::map<std::string, std::string> const& renaming);

    ModuleRenaming(std::map<std::string, std::string>&& renaming);
 
    // Create default implementations of constructors/assignment.
    ModuleRenaming() = default;
    ModuleRenaming(ModuleRenaming const& other) = default;
    ModuleRenaming& operator=(ModuleRenaming const& other) = default;
    ModuleRenaming(ModuleRenaming&& other) = default;
    ModuleRenaming& operator=(ModuleRenaming&& other) = default;

    std::map<std::string, std::string> const& getRenaming() const;
 
    friend std::ostream& operator<<(std::ostream& stream, ModuleRenaming const& module);
 
   private:
    // contains the provided renaming of identifiers.
    std::map<std::string, std::string> renaming;
};
 
}  // namespace prism
}  // namespace storm