storm::jani::Action Member List

This is the complete list of members for storm::jani::Action, including all inherited members.

Action(std::string const &name)	storm::jani::Action
getName() const	storm::jani::Action