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 1831 of file process_expression.h.
|
inline |
Definition at line 1833 of file process_expression.h.