|
mCRL2
|
Standard has function for actions. More...
#include <process_expression.h>
Public Member Functions | |
| std::size_t | operator() (const mcrl2::process::action &t) const |
Standard has function for actions.
Definition at line 1846 of file process_expression.h.
|
inline |
Definition at line 1848 of file process_expression.h.