mcrl2/data/standard.h

Include file:

#include "mcrl2/data/standard.h"

Standard functions that are available for all sorts.

Functions

function_symbol mcrl2::data::equal_to(const sort_expression &s)

Constructor for function symbol ==.

Parameters:

  • s A sort expression

Returns: function symbol equal_to

application mcrl2::data::equal_to(const data_expression &arg0, const data_expression &arg1)

Application of function symbol ==.

Parameters:

  • arg0 A data expression
  • arg1 A data expression

Returns: Application of == to a number of arguments

function_symbol mcrl2::data::greater(const sort_expression &s)

Constructor for function symbol >

Parameters:

  • s A sort expression

Returns: function symbol greater

application mcrl2::data::greater(const data_expression &arg0, const data_expression &arg1)

Application of function symbol >

Parameters:

  • arg0 A data expression
  • arg1 A data expression

Returns: Application of > to a number of arguments

function_symbol mcrl2::data::greater_equal(const sort_expression &s)

Constructor for function symbol >=.

Parameters:

  • s A sort expression

Returns: function symbol greater_equal

application mcrl2::data::greater_equal(const data_expression &arg0, const data_expression &arg1)

Application of function symbol >=.

Parameters:

  • arg0 A data expression
  • arg1 A data expression

Returns: Application of >= to a number of arguments

function_symbol mcrl2::data::if_(const sort_expression &s)

Constructor for function symbol if.

Parameters:

  • s A sort expression

Returns: function symbol if_

application mcrl2::data::if_(const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)

Application of function symbol if.

Parameters:

  • arg0 A data expression
  • arg1 A data expression
  • arg2 A data expression

Returns: Application of if to a number of arguments

bool mcrl2::data::is_equal_to_application(const DataExpression &e)

Recogniser for application of ==.

Parameters:

  • e A data expression

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

bool mcrl2::data::is_equal_to_function_symbol(const DataExpression &e)

Recogniser for function ==.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching ==

bool mcrl2::data::is_greater_application(const DataExpression &e)

Recogniser for application of >

Parameters:

  • e A data expression

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

bool mcrl2::data::is_greater_equal_application(const DataExpression &e)

Recogniser for application of >=.

Parameters:

  • e A data expression

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

bool mcrl2::data::is_greater_equal_function_symbol(const DataExpression &e)

Recogniser for function >=.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching >=

bool mcrl2::data::is_greater_function_symbol(const DataExpression &e)

Recogniser for function >

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching >

bool mcrl2::data::is_if_application(const DataExpression &e)

Recogniser for application of if.

Parameters:

  • e A data expression

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

bool mcrl2::data::is_if_function_symbol(const DataExpression &e)

Recogniser for function if.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching if_

bool mcrl2::data::is_less_application(const DataExpression &e)

Recogniser for application of <.

Parameters:

  • e A data expression

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

bool mcrl2::data::is_less_equal_application(const DataExpression &e)

Recogniser for application of <=.

Parameters:

  • e A data expression

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

bool mcrl2::data::is_less_equal_function_symbol(const DataExpression &e)

Recogniser for function <=.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching <=

bool mcrl2::data::is_less_function_symbol(const DataExpression &e)

Recogniser for function <.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching <

bool mcrl2::data::is_not_equal_to_application(const DataExpression &e)

Recogniser for application of !=.

Parameters:

  • e A data expression

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

bool mcrl2::data::is_not_equal_to_function_symbol(const DataExpression &e)

Recogniser for function !=.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching !=

function_symbol mcrl2::data::less(const sort_expression &s)

Constructor for function symbol <.

Parameters:

  • s A sort expression

Returns: function symbol less

application mcrl2::data::less(const data_expression &arg0, const data_expression &arg1)

Application of function symbol <.

Parameters:

  • arg0 A data expression
  • arg1 A data expression

Returns: Application of < to a number of arguments

function_symbol mcrl2::data::less_equal(const sort_expression &s)

Constructor for function symbol <=.

Parameters:

  • s A sort expression

Returns: function symbol less_equal

application mcrl2::data::less_equal(const data_expression &arg0, const data_expression &arg1)

Application of function symbol <=.

Parameters:

  • arg0 A data expression
  • arg1 A data expression

Returns: Application of <= to a number of arguments

function_symbol mcrl2::data::not_equal_to(const sort_expression &s)

Constructor for function symbol !=.

Parameters:

  • s A sort expression

Returns: function symbol not_equal_to

application mcrl2::data::not_equal_to(const data_expression &arg0, const data_expression &arg1)

Application of function symbol !=.

Parameters:

  • arg0 A data expression
  • arg1 A data expression

Returns: Application of != to a number of arguments

data_equation_vector mcrl2::data::standard_generate_equations_code(const sort_expression &s)

Give all standard system defined equations for sort s.

Parameters:

  • s A sort expression

Returns: All standard system defined equations for sort s

function_symbol_vector mcrl2::data::standard_generate_functions_code(const sort_expression &s)

Give all standard system defined functions for sort s.

Parameters:

  • s A sort expression

Returns: All standard system defined functions for sort s