function_update.h File Reference

The standard sort function_update. 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.

Typedefs
typedef std::map< function_symbol, std::pair< std::function< void(data_expression &, const data_expression &)>, std::string > >	mcrl2::data::implementation_map

Functions
function_symbol_vector	mcrl2::data::function_update_generate_constructors_code ()
	Give all system defined constructors for function_update.
function_symbol_vector	mcrl2::data::function_update_mCRL2_usable_constructors ()
	Give all defined constructors which can be used in mCRL2 specs for function_update.
implementation_map	mcrl2::data::function_update_cpp_implementable_constructors ()
	Give all system defined constructors which have an implementation in C++ and not in rewrite rules for function_update.
const core::identifier_string &	mcrl2::data::function_update_name ()
	Generate identifier @func_update.
function_symbol	mcrl2::data::function_update (const sort_expression &s, const sort_expression &t)
	Constructor for function symbol @func_update.
bool	mcrl2::data::is_function_update_function_symbol (const atermpp::aterm &e)
	Recogniser for function @func_update.
application	mcrl2::data::function_update (const sort_expression &s, const sort_expression &t, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @func_update.
void	mcrl2::data::make_function_update (data_expression &result, const sort_expression &s, const sort_expression &t, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @func_update.
bool	mcrl2::data::is_function_update_application (const atermpp::aterm &e)
	Recogniser for application of @func_update.
const core::identifier_string &	mcrl2::data::function_update_stable_name ()
	Generate identifier @func_update_stable.
function_symbol	mcrl2::data::function_update_stable (const sort_expression &s, const sort_expression &t)
	Constructor for function symbol @func_update_stable.
bool	mcrl2::data::is_function_update_stable_function_symbol (const atermpp::aterm &e)
	Recogniser for function @func_update_stable.
application	mcrl2::data::function_update_stable (const sort_expression &s, const sort_expression &t, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @func_update_stable.
void	mcrl2::data::make_function_update_stable (data_expression &result, const sort_expression &s, const sort_expression &t, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @func_update_stable.
bool	mcrl2::data::is_function_update_stable_application (const atermpp::aterm &e)
	Recogniser for application of @func_update_stable.
const core::identifier_string &	mcrl2::data::is_not_a_function_update_name ()
	Generate identifier @is_not_an_update.
function_symbol	mcrl2::data::is_not_a_function_update (const sort_expression &s, const sort_expression &t)
	Constructor for function symbol @is_not_an_update.
bool	mcrl2::data::is_is_not_a_function_update_function_symbol (const atermpp::aterm &e)
	Recogniser for function @is_not_an_update.
application	mcrl2::data::is_not_a_function_update (const sort_expression &s, const sort_expression &t, const data_expression &arg0)
	Application of function symbol @is_not_an_update.
void	mcrl2::data::make_is_not_a_function_update (data_expression &result, const sort_expression &s, const sort_expression &t, const data_expression &arg0)
	Make an application of function symbol @is_not_an_update.
bool	mcrl2::data::is_is_not_a_function_update_application (const atermpp::aterm &e)
	Recogniser for application of @is_not_an_update.
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::is_not_a_function_update_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
const core::identifier_string &	mcrl2::data::if_always_else_name ()
	Generate identifier @if_always_else.
function_symbol	mcrl2::data::if_always_else (const sort_expression &s, const sort_expression &t)
	Constructor for function symbol @if_always_else.
bool	mcrl2::data::is_if_always_else_function_symbol (const atermpp::aterm &e)
	Recogniser for function @if_always_else.
application	mcrl2::data::if_always_else (const sort_expression &s, const sort_expression &t, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @if_always_else.
void	mcrl2::data::make_if_always_else (data_expression &result, const sort_expression &s, const sort_expression &t, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @if_always_else.
bool	mcrl2::data::is_if_always_else_application (const atermpp::aterm &e)
	Recogniser for application of @if_always_else.
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.
void	mcrl2::data::if_always_else_application (data_expression &result, const data_expression &a1)
	Application of a function that is user defined instead of by rewrite rules. It does not have sort parameters.
function_symbol_vector	mcrl2::data::function_update_generate_functions_code (const sort_expression &s, const sort_expression &t)
	Give all system defined mappings for function_update.
function_symbol_vector	mcrl2::data::function_update_generate_constructors_and_functions_code (const sort_expression &s, const sort_expression &t)
	Give all system defined mappings and constructors for function_update.
function_symbol_vector	mcrl2::data::function_update_mCRL2_usable_mappings (const sort_expression &s, const sort_expression &t)
	Give all system defined mappings that can be used in mCRL2 specs for function_update.
implementation_map	mcrl2::data::function_update_cpp_implementable_mappings (const sort_expression &s, const sort_expression &t)
	Give all system defined mappings that are to be implemented in C++ code for function_update.
const data_expression &	mcrl2::data::arg1 (const data_expression &e)
	Function for projecting out argument. arg1 from an application.
const data_expression &	mcrl2::data::arg2 (const data_expression &e)
	Function for projecting out argument. arg2 from an application.
const data_expression &	mcrl2::data::arg3 (const data_expression &e)
	Function for projecting out argument. arg3 from an application.
data_equation_vector	mcrl2::data::function_update_generate_equations_code (const sort_expression &s, const sort_expression &t)
	Give all system defined equations for function_update.

Detailed Description

The standard sort function_update.

This file was generated from the data sort specification mcrl2/data/build/function_update.spec.

Definition in file function_update.h.