workarounds.h File Reference

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::workaround

Functions
template<typename T >
T &&	mcrl2::workaround::return_std_move (T &t)
	This is a workaround for the return by value diagnostic (clang -Wreturn-std-move). Description: The user probably expected a move, but they're not getting a move, perhaps because the type of "x" is different from the return type of the function.