Include file:
#include "mcrl2/process/process_expression.h
mcrl2::process::
::
delta
The value delta.
Default constructor.
Constructor.
Parameters:
term A term
Move semantics.
operator=
mcrl2::process::communication_expression
mcrl2::process::detail::tarjan_scc_algorithm