mcrl2/data/fset.h

Include file:

#include "mcrl2/data/fset.h"

The standard sort fset.

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

Functions

const data_expression &mcrl2::data::sort_fset::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

const data_expression &mcrl2::data::sort_fset::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::sort_fset::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::sort_fset::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

const data_expression &mcrl2::data::sort_fset::arg4(const data_expression &e)

Function for projecting out argument arg4 from an application.

Parameters:

  • e A data expression

Pre: arg4 is defined for e

Returns: The argument of e that corresponds to arg4

function_symbol mcrl2::data::sort_fset::cinsert(const sort_expression &s)

Constructor for function symbol @fset_cinsert.

Parameters:

  • s A sort expression

Returns: Function symbol cinsert

application mcrl2::data::sort_fset::cinsert(const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)

Application of function symbol @fset_cinsert.

Parameters:

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

Returns: Application of @fset_cinsert to a number of arguments

core::identifier_string const &mcrl2::data::sort_fset::cinsert_name()

Generate identifier @fset_cinsert.

Returns: Identifier @fset_cinsert

function_symbol mcrl2::data::sort_fset::cons_(const sort_expression &s)

Constructor for function symbol @fset_cons.

Parameters:

  • s A sort expression

Returns: Function symbol cons_

application mcrl2::data::sort_fset::cons_(const sort_expression &s, const data_expression &arg0, const data_expression &arg1)

Application of function symbol @fset_cons.

Parameters:

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

Returns: Application of @fset_cons to a number of arguments

core::identifier_string const &mcrl2::data::sort_fset::cons_name()

Generate identifier @fset_cons.

Returns: Identifier @fset_cons

function_symbol mcrl2::data::sort_fset::count(const sort_expression &s)

Constructor for function symbol #.

Parameters:

  • s A sort expression

Returns: Function symbol count

application mcrl2::data::sort_fset::count(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_fset::count_name()

Generate identifier #.

Returns: Identifier #

function_symbol mcrl2::data::sort_fset::difference(const sort_expression &s)

Constructor for function symbol -.

Parameters:

  • s A sort expression

Returns: Function symbol difference

application mcrl2::data::sort_fset::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_fset::difference_name()

Generate identifier -.

Returns: Identifier -

function_symbol mcrl2::data::sort_fset::empty(const sort_expression &s)

Constructor for function symbol {}.

Parameters:

  • s A sort expression

Returns: Function symbol empty

core::identifier_string const &mcrl2::data::sort_fset::empty_name()

Generate identifier {}.

Returns: Identifier {}

container_sort mcrl2::data::sort_fset::fset(const sort_expression &s)

Constructor for sort expression FSet(S)

Parameters:

  • s A sort expression

Returns: Sort expression fset(s)

function_symbol_vector mcrl2::data::sort_fset::fset_generate_constructors_code(const sort_expression &s)

Give all system defined constructors for fset.

Parameters:

  • s A sort expression

Returns: All system defined constructors for fset

data_equation_vector mcrl2::data::sort_fset::fset_generate_equations_code(const sort_expression &s)

Give all system defined equations for fset.

Parameters:

  • s A sort expression

Returns: All system defined equations for sort fset

function_symbol_vector mcrl2::data::sort_fset::fset_generate_functions_code(const sort_expression &s)

Give all system defined mappings for fset.

Parameters:

  • s A sort expression

Returns: All system defined mappings for fset

function_symbol mcrl2::data::sort_fset::fset_intersection(const sort_expression &s)

Constructor for function symbol @fset_inter.

Parameters:

  • s A sort expression

Returns: Function symbol fset_intersection

application mcrl2::data::sort_fset::fset_intersection(const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)

Application of function symbol @fset_inter.

Parameters:

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

Returns: Application of @fset_inter to a number of arguments

core::identifier_string const &mcrl2::data::sort_fset::fset_intersection_name()

Generate identifier @fset_inter.

Returns: Identifier @fset_inter

function_symbol mcrl2::data::sort_fset::fset_union(const sort_expression &s)

Constructor for function symbol @fset_union.

Parameters:

  • s A sort expression

Returns: Function symbol fset_union

application mcrl2::data::sort_fset::fset_union(const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)

Application of function symbol @fset_union.

Parameters:

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

Returns: Application of @fset_union to a number of arguments

core::identifier_string const &mcrl2::data::sort_fset::fset_union_name()

Generate identifier @fset_union.

Returns: Identifier @fset_union

function_symbol mcrl2::data::sort_fset::in(const sort_expression &s)

Constructor for function symbol in.

Parameters:

  • s A sort expression

Returns: Function symbol in

application mcrl2::data::sort_fset::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_fset::in_name()

Generate identifier in.

Returns: Identifier in

function_symbol mcrl2::data::sort_fset::insert(const sort_expression &s)

Constructor for function symbol @fset_insert.

Parameters:

  • s A sort expression

Returns: Function symbol insert

application mcrl2::data::sort_fset::insert(const sort_expression &s, const data_expression &arg0, const data_expression &arg1)

Application of function symbol @fset_insert.

Parameters:

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

Returns: Application of @fset_insert to a number of arguments

core::identifier_string const &mcrl2::data::sort_fset::insert_name()

Generate identifier @fset_insert.

Returns: Identifier @fset_insert

function_symbol mcrl2::data::sort_fset::intersection(const sort_expression &s)

Constructor for function symbol *.

Parameters:

  • s A sort expression

Returns: Function symbol intersection

application mcrl2::data::sort_fset::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_fset::intersection_name()

Generate identifier *.

Returns: Identifier *

bool mcrl2::data::sort_fset::is_cinsert_application(const atermpp::aterm_appl &e)

Recogniser for application of @fset_cinsert.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_fset::is_cinsert_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @fset_cinsert.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_fset::is_cons_application(const atermpp::aterm_appl &e)

Recogniser for application of @fset_cons.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_fset::is_cons_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @fset_cons.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_fset::is_count_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 count to a number of arguments

bool mcrl2::data::sort_fset::is_count_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_fset::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_fset::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_fset::is_empty_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_fset::is_fset(const sort_expression &e)

Recogniser for sort expression FSet(s)

Parameters:

  • e A sort expression

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

bool mcrl2::data::sort_fset::is_fset_intersection_application(const atermpp::aterm_appl &e)

Recogniser for application of @fset_inter.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_fset::is_fset_intersection_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @fset_inter.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_fset::is_fset_union_application(const atermpp::aterm_appl &e)

Recogniser for application of @fset_union.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_fset::is_fset_union_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @fset_union.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_fset::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_fset::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_fset::is_insert_application(const atermpp::aterm_appl &e)

Recogniser for application of @fset_insert.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_fset::is_insert_function_symbol(const atermpp::aterm_appl &e)

Recogniser for function @fset_insert.

Parameters:

  • e A data expression

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

bool mcrl2::data::sort_fset::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_fset::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_fset::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_fset::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_fset::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

const data_expression &mcrl2::data::sort_fset::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

function_symbol mcrl2::data::sort_fset::union_(const sort_expression &s)

Constructor for function symbol +.

Parameters:

  • s A sort expression

Returns: Function symbol union_

application mcrl2::data::sort_fset::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_fset::union_name()

Generate identifier +.

Returns: Identifier +