ModuleComposition.cpp

Go to the documentation of this file.

#include "storm/storage/prism/ModuleComposition.h"
 
namespace storm {
namespace prism {
 
ModuleComposition::ModuleComposition(std::string const& moduleName) : moduleName(moduleName) {
    // Intentionally left empty.
}
 
boost::any ModuleComposition::accept(CompositionVisitor& visitor, boost::any const& data) const {
    return visitor.visit(*this, data);
}
 
std::string const& ModuleComposition::getModuleName() const {
    return moduleName;
}
 
void ModuleComposition::writeToStream(std::ostream& stream) const {
    stream << moduleName;
}
}  // namespace prism
}  // namespace storm