mcrl2/data/function_update.h

Include file:

#include "mcrl2/data/function_update.h"

The standard sort function_update.

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

Functions

const data_expression &mcrl2::data::arg1(const data_expression &e)

Function for projecting out argument arg1 from an application.

Parameters:

  • e A data expression

Pre: arg1 is defined for e

Returns: The argument of e that corresponds to arg1

const data_expression &mcrl2::data::arg2(const data_expression &e)

Function for projecting out argument arg2 from an application.

Parameters:

  • e A data expression

Pre: arg2 is defined for e

Returns: The argument of e that corresponds to arg2

const data_expression &mcrl2::data::arg3(const data_expression &e)

Function for projecting out argument arg3 from an application.

Parameters:

  • e A data expression

Pre: arg3 is defined for e

Returns: The argument of e that corresponds to arg3

function_symbol mcrl2::data::function_update(const sort_expression &s, const sort_expression &t)

Constructor for function symbol @func_update.

Parameters:

  • s A sort expression
  • t A sort expression

Returns: Function symbol function_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.

Parameters:

  • s A sort expression
  • t A sort expression
  • arg0 A data expression
  • arg1 A data expression
  • arg2 A data expression

Returns: Application of @func_update to a number of arguments

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.

Parameters:

  • s A sort expression
  • t A sort expression

Returns: All system defined equations for sort function_update

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.

Parameters:

  • s A sort expression
  • t A sort expression

Returns: All system defined mappings for function_update

core::identifier_string const &mcrl2::data::function_update_name()

Generate identifier @func_update.

Returns: Identifier @func_update

bool mcrl2::data::is_function_update_application(const atermpp::aterm_appl &e)

Recogniser for application of @func_update.

Parameters:

  • e A data expression

Returns: true iff e is an application of function symbol function_update to a number of arguments

bool mcrl2::data::is_function_update_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @func_update.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching @func_update