function_update.h File Reference

This files contains the implementation of the function "is_not_a_function_update" which was declared as"defined_by_code" in the file build/code_generation/data_types/function_update.spec.
More...

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::data
	Namespace for all data library functionality.

Functions
function_symbol	mcrl2::data::function_update (const sort_expression &s, const sort_expression &t)
	Constructor for function symbol @func_update.
function_symbol	mcrl2::data::function_update_stable (const sort_expression &s, const sort_expression &t)
	Constructor for function symbol @func_update_stable.
void	mcrl2::data::is_not_a_function_update_manual_implementation (data_expression &result, const data_expression &arg0)
	The data expression of an application of the function symbol @is_not_an_update.
void	mcrl2::data::if_always_else_manual_implementation (data_expression &result, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	The data expression of an application of the function symbol @if_always_else.

Detailed Description

This files contains the implementation of the function "is_not_a_function_update" which was declared as"defined_by_code" in the file build/code_generation/data_types/function_update.spec.

Definition in file function_update.h.