AutomatonComposition.h

Go to the documentation of this file.

#pragma once
 
#include <set>
 
#include "Composition.h"
 
namespace storm {
namespace jani {
 
class AutomatonComposition : public Composition {
   public:
    AutomatonComposition(std::string const& name, std::set<std::string> const& inputEnabledActions = {});
 
    std::string const& getAutomatonName() const;
 
    virtual boost::any accept(CompositionVisitor& visitor, boost::any const& data) const override;
 
    virtual void write(std::ostream& stream) const override;
 
    std::set<std::string> const& getInputEnabledActions() const;
 
    virtual bool isAutomatonComposition() const override;
 
   private:
    std::string name;
 
    std::set<std::string> inputEnabledActions;
};
 
}  // namespace jani
}  // namespace storm