mcrl2/data/set.h

Include file:

#include "mcrl2/data/set.h"

The standard sort set_.

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

Functions

function_symbol mcrl2::data::sort_set::and_function(const sort_expression &s)

Constructor for function symbol @and_.

Parameters:

  • s A sort expression

Returns: Function symbol and_function

application mcrl2::data::sort_set::and_function(const sort_expression &s, const data_expression &arg0, const data_expression &arg1)

Application of function symbol @and_.

Parameters:

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

Returns: Application of @and_ to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::and_function_name()

Generate identifier @and_.

Returns: Identifier @and_

const data_expression &mcrl2::data::sort_set::arg(const data_expression &e)

Function for projecting out argument arg from an application.

Parameters:

  • e A data expression

Pre: arg is defined for e

Returns: The argument of e that corresponds to arg

function_symbol mcrl2::data::sort_set::complement(const sort_expression &s)

Constructor for function symbol !

Parameters:

  • s A sort expression

Returns: Function symbol complement

application mcrl2::data::sort_set::complement(const sort_expression &s, const data_expression &arg0)

Application of function symbol !

Parameters:

  • s A sort expression
  • arg0 A data expression

Returns: Application of ! to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::complement_name()

Generate identifier !

Returns: Identifier !

function_symbol mcrl2::data::sort_set::constructor(const sort_expression &s)

Constructor for function symbol @set.

Parameters:

  • s A sort expression

Returns: Function symbol constructor

application mcrl2::data::sort_set::constructor(const sort_expression &s, const data_expression &arg0, const data_expression &arg1)

Application of function symbol @set.

Parameters:

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

Returns: Application of @set to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::constructor_name()

Generate identifier @set.

Returns: Identifier @set

function_symbol mcrl2::data::sort_set::difference(const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
application mcrl2::data::sort_set::difference(const sort_expression &s, const data_expression &arg0, const data_expression &arg1)

Application of function symbol -.

Parameters:

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

Returns: Application of - to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::difference_name()

Generate identifier -.

Returns: Identifier -

function_symbol mcrl2::data::sort_set::false_function(const sort_expression &s)

Constructor for function symbol @false_.

Parameters:

  • s A sort expression

Returns: Function symbol false_function

application mcrl2::data::sort_set::false_function(const sort_expression &s, const data_expression &arg0)

Application of function symbol @false_.

Parameters:

  • s A sort expression
  • arg0 A data expression

Returns: Application of @false_ to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::false_function_name()

Generate identifier @false_.

Returns: Identifier @false_

function_symbol mcrl2::data::sort_set::in(const sort_expression&, const sort_expression &s0, const sort_expression &s1)
application mcrl2::data::sort_set::in(const sort_expression &s, const data_expression &arg0, const data_expression &arg1)

Application of function symbol in.

Parameters:

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

Returns: Application of in to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::in_name()

Generate identifier in.

Returns: Identifier in

function_symbol mcrl2::data::sort_set::intersection(const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
application mcrl2::data::sort_set::intersection(const sort_expression &s, const data_expression &arg0, const data_expression &arg1)

Application of function symbol *.

Parameters:

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

Returns: Application of * to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::intersection_name()

Generate identifier *.

Returns: Identifier *

bool mcrl2::data::sort_set::is_and_function_application(const atermpp::aterm_appl &e)

Recogniser for application of @and_.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_and_function_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @and_.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_complement_application(const atermpp::aterm_appl &e)

Recogniser for application of !

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_complement_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function !

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching !

bool mcrl2::data::sort_set::is_constructor_application(const atermpp::aterm_appl &e)

Recogniser for application of @set.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_constructor_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @set.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_difference_application(const atermpp::aterm_appl &e)

Recogniser for application of -.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_difference_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function -.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching -

bool mcrl2::data::sort_set::is_false_function_application(const atermpp::aterm_appl &e)

Recogniser for application of @false_.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_false_function_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @false_.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_in_application(const atermpp::aterm_appl &e)

Recogniser for application of in.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_in_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function in.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching in

bool mcrl2::data::sort_set::is_intersection_application(const atermpp::aterm_appl &e)

Recogniser for application of *.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_intersection_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function *.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching *

bool mcrl2::data::sort_set::is_not_function_application(const atermpp::aterm_appl &e)

Recogniser for application of @not_.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_not_function_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @not_.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_or_function_application(const atermpp::aterm_appl &e)

Recogniser for application of @or_.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_or_function_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @or_.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_set(const sort_expression &e)

Recogniser for sort expression Set(s)

Parameters:

  • e A sort expression

Returns: true iff e is a container sort of which the name matches set_

bool mcrl2::data::sort_set::is_set_comprehension_application(const atermpp::aterm_appl &e)

Recogniser for application of @setcomp.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_set_comprehension_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @setcomp.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_set_fset_application(const atermpp::aterm_appl &e)

Recogniser for application of @setfset.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_set_fset_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @setfset.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_true_function_application(const atermpp::aterm_appl &e)

Recogniser for application of @true_.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_true_function_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @true_.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_union_application(const atermpp::aterm_appl &e)

Recogniser for application of +.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_set::is_union_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function +.

Parameters:

  • e A data expression

Returns: true iff e is the function symbol matching +

const data_expression &mcrl2::data::sort_set::left(const data_expression &e)

Function for projecting out argument left from an application.

Parameters:

  • e A data expression

Pre: left is defined for e

Returns: The argument of e that corresponds to left

function_symbol mcrl2::data::sort_set::not_function(const sort_expression &s)

Constructor for function symbol @not_.

Parameters:

  • s A sort expression

Returns: Function symbol not_function

application mcrl2::data::sort_set::not_function(const sort_expression &s, const data_expression &arg0)

Application of function symbol @not_.

Parameters:

  • s A sort expression
  • arg0 A data expression

Returns: Application of @not_ to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::not_function_name()

Generate identifier @not_.

Returns: Identifier @not_

function_symbol mcrl2::data::sort_set::or_function(const sort_expression &s)

Constructor for function symbol @or_.

Parameters:

  • s A sort expression

Returns: Function symbol or_function

application mcrl2::data::sort_set::or_function(const sort_expression &s, const data_expression &arg0, const data_expression &arg1)

Application of function symbol @or_.

Parameters:

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

Returns: Application of @or_ to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::or_function_name()

Generate identifier @or_.

Returns: Identifier @or_

const data_expression &mcrl2::data::sort_set::right(const data_expression &e)

Function for projecting out argument right from an application.

Parameters:

  • e A data expression

Pre: right is defined for e

Returns: The argument of e that corresponds to right

container_sort mcrl2::data::sort_set::set_(const sort_expression &s)

Constructor for sort expression Set(S)

Parameters:

  • s A sort expression

Returns: Sort expression set_(s)

function_symbol mcrl2::data::sort_set::set_comprehension(const sort_expression &s)

Constructor for function symbol @setcomp.

Parameters:

  • s A sort expression

Returns: Function symbol set_comprehension

application mcrl2::data::sort_set::set_comprehension(const sort_expression &s, const data_expression &arg0)

Application of function symbol @setcomp.

Parameters:

  • s A sort expression
  • arg0 A data expression

Returns: Application of @setcomp to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::set_comprehension_name()

Generate identifier @setcomp.

Returns: Identifier @setcomp

function_symbol mcrl2::data::sort_set::set_fset(const sort_expression &s)

Constructor for function symbol @setfset.

Parameters:

  • s A sort expression

Returns: Function symbol set_fset

application mcrl2::data::sort_set::set_fset(const sort_expression &s, const data_expression &arg0)

Application of function symbol @setfset.

Parameters:

  • s A sort expression
  • arg0 A data expression

Returns: Application of @setfset to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::set_fset_name()

Generate identifier @setfset.

Returns: Identifier @setfset

function_symbol_vector mcrl2::data::sort_set::set_generate_constructors_code(const sort_expression &s)

Give all system defined constructors for set_.

Parameters:

  • s A sort expression

Returns: All system defined constructors for set_

data_equation_vector mcrl2::data::sort_set::set_generate_equations_code(const sort_expression &s)

Give all system defined equations for set_.

Parameters:

  • s A sort expression

Returns: All system defined equations for sort set_

function_symbol_vector mcrl2::data::sort_set::set_generate_functions_code(const sort_expression &s)

Give all system defined mappings for set_.

Parameters:

  • s A sort expression

Returns: All system defined mappings for set_

function_symbol mcrl2::data::sort_set::true_function(const sort_expression &s)

Constructor for function symbol @true_.

Parameters:

  • s A sort expression

Returns: Function symbol true_function

application mcrl2::data::sort_set::true_function(const sort_expression &s, const data_expression &arg0)

Application of function symbol @true_.

Parameters:

  • s A sort expression
  • arg0 A data expression

Returns: Application of @true_ to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::true_function_name()

Generate identifier @true_.

Returns: Identifier @true_

function_symbol mcrl2::data::sort_set::union_(const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
application mcrl2::data::sort_set::union_(const sort_expression &s, const data_expression &arg0, const data_expression &arg1)

Application of function symbol +.

Parameters:

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

Returns: Application of + to a number of arguments

core::identifier_string const &mcrl2::data::sort_set::union_name()

Generate identifier +.

Returns: Identifier +