storm::jani::Action Class Reference

#include <Action.h>

Public Member Functions
	Action (std::string const &name)
	Creates an action.
std::string const &	getName () const
	Returns the name of the location.

Detailed Description

Definition at line 6 of file Action.h.

Constructor & Destructor Documentation

Action()

storm::jani::Action::Action

(

std::string const &

name

)

Creates an action.

Parameters

name	name of the action

Definition at line 5 of file Action.cpp.

Member Function Documentation

getName()

std::string const & storm::jani::Action::getName

(

)

const

Returns the name of the location.

Definition at line 9 of file Action.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/storage/jani/Action.h
• src/storm/storage/jani/Action.cpp