set64.h File Reference

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.
namespace	mcrl2::data::sort_set
	Namespace for system defined sort set_.

Functions
container_sort	mcrl2::data::sort_set::set_ (const sort_expression &s)
	Constructor for sort expression Set(S)
bool	mcrl2::data::sort_set::is_set (const sort_expression &e)
	Recogniser for sort expression Set(s)
const core::identifier_string &	mcrl2::data::sort_set::constructor_name ()
	Generate identifier @set.
function_symbol	mcrl2::data::sort_set::constructor (const sort_expression &s)
	Constructor for function symbol @set.
bool	mcrl2::data::sort_set::is_constructor_function_symbol (const atermpp::aterm &e)
	Recogniser for function @set.
application	mcrl2::data::sort_set::constructor (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @set.
void	mcrl2::data::sort_set::make_constructor (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @set.
bool	mcrl2::data::sort_set::is_constructor_application (const atermpp::aterm &e)
	Recogniser for application of @set.
function_symbol_vector	mcrl2::data::sort_set::set_generate_constructors_code (const sort_expression &s)
	Give all system defined constructors for set_.
function_symbol_vector	mcrl2::data::sort_set::set_mCRL2_usable_constructors (const sort_expression &s)
	Give all defined constructors which can be used in mCRL2 specs for set_.
implementation_map	mcrl2::data::sort_set::set_cpp_implementable_constructors (const sort_expression &s)
	Give all system defined constructors which have an implementation in C++ and not in rewrite rules for set_.
const core::identifier_string &	mcrl2::data::sort_set::set_fset_name ()
	Generate identifier @setfset.
function_symbol	mcrl2::data::sort_set::set_fset (const sort_expression &s)
	Constructor for function symbol @setfset.
bool	mcrl2::data::sort_set::is_set_fset_function_symbol (const atermpp::aterm &e)
	Recogniser for function @setfset.
application	mcrl2::data::sort_set::set_fset (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @setfset.
void	mcrl2::data::sort_set::make_set_fset (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @setfset.
bool	mcrl2::data::sort_set::is_set_fset_application (const atermpp::aterm &e)
	Recogniser for application of @setfset.
const core::identifier_string &	mcrl2::data::sort_set::set_comprehension_name ()
	Generate identifier @setcomp.
function_symbol	mcrl2::data::sort_set::set_comprehension (const sort_expression &s)
	Constructor for function symbol @setcomp.
bool	mcrl2::data::sort_set::is_set_comprehension_function_symbol (const atermpp::aterm &e)
	Recogniser for function @setcomp.
application	mcrl2::data::sort_set::set_comprehension (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @setcomp.
void	mcrl2::data::sort_set::make_set_comprehension (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @setcomp.
bool	mcrl2::data::sort_set::is_set_comprehension_application (const atermpp::aterm &e)
	Recogniser for application of @setcomp.
const core::identifier_string &	mcrl2::data::sort_set::in_name ()
	Generate identifier in.
function_symbol	mcrl2::data::sort_set::in (const sort_expression &, const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_set::is_in_function_symbol (const atermpp::aterm &e)
	Recogniser for function in.
application	mcrl2::data::sort_set::in (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol in.
void	mcrl2::data::sort_set::make_in (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol in.
bool	mcrl2::data::sort_set::is_in_application (const atermpp::aterm &e)
	Recogniser for application of in.
const core::identifier_string &	mcrl2::data::sort_set::complement_name ()
	Generate identifier !.
function_symbol	mcrl2::data::sort_set::complement (const sort_expression &s)
	Constructor for function symbol !.
bool	mcrl2::data::sort_set::is_complement_function_symbol (const atermpp::aterm &e)
	Recogniser for function !.
application	mcrl2::data::sort_set::complement (const sort_expression &s, const data_expression &arg0)
	Application of function symbol !.
void	mcrl2::data::sort_set::make_complement (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol !.
bool	mcrl2::data::sort_set::is_complement_application (const atermpp::aterm &e)
	Recogniser for application of !.
const core::identifier_string &	mcrl2::data::sort_set::union_name ()
	Generate identifier +.
function_symbol	mcrl2::data::sort_set::union_ (const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_set::is_union_function_symbol (const atermpp::aterm &e)
	Recogniser for function +.
application	mcrl2::data::sort_set::union_ (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol +.
void	mcrl2::data::sort_set::make_union_ (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol +.
bool	mcrl2::data::sort_set::is_union_application (const atermpp::aterm &e)
	Recogniser for application of +.
const core::identifier_string &	mcrl2::data::sort_set::intersection_name ()
	Generate identifier *.
function_symbol	mcrl2::data::sort_set::intersection (const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_set::is_intersection_function_symbol (const atermpp::aterm &e)
	Recogniser for function *.
application	mcrl2::data::sort_set::intersection (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol *.
void	mcrl2::data::sort_set::make_intersection (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol *.
bool	mcrl2::data::sort_set::is_intersection_application (const atermpp::aterm &e)
	Recogniser for application of *.
const core::identifier_string &	mcrl2::data::sort_set::difference_name ()
	Generate identifier -.
function_symbol	mcrl2::data::sort_set::difference (const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_set::is_difference_function_symbol (const atermpp::aterm &e)
	Recogniser for function -.
application	mcrl2::data::sort_set::difference (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol -.
void	mcrl2::data::sort_set::make_difference (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol -.
bool	mcrl2::data::sort_set::is_difference_application (const atermpp::aterm &e)
	Recogniser for application of -.
const core::identifier_string &	mcrl2::data::sort_set::false_function_name ()
	Generate identifier @false_.
function_symbol	mcrl2::data::sort_set::false_function (const sort_expression &s)
	Constructor for function symbol @false_.
bool	mcrl2::data::sort_set::is_false_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @false_.
application	mcrl2::data::sort_set::false_function (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @false_.
void	mcrl2::data::sort_set::make_false_function (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @false_.
bool	mcrl2::data::sort_set::is_false_function_application (const atermpp::aterm &e)
	Recogniser for application of @false_.
const core::identifier_string &	mcrl2::data::sort_set::true_function_name ()
	Generate identifier @true_.
function_symbol	mcrl2::data::sort_set::true_function (const sort_expression &s)
	Constructor for function symbol @true_.
bool	mcrl2::data::sort_set::is_true_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @true_.
application	mcrl2::data::sort_set::true_function (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @true_.
void	mcrl2::data::sort_set::make_true_function (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @true_.
bool	mcrl2::data::sort_set::is_true_function_application (const atermpp::aterm &e)
	Recogniser for application of @true_.
const core::identifier_string &	mcrl2::data::sort_set::not_function_name ()
	Generate identifier @not_.
function_symbol	mcrl2::data::sort_set::not_function (const sort_expression &s)
	Constructor for function symbol @not_.
bool	mcrl2::data::sort_set::is_not_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @not_.
application	mcrl2::data::sort_set::not_function (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @not_.
void	mcrl2::data::sort_set::make_not_function (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @not_.
bool	mcrl2::data::sort_set::is_not_function_application (const atermpp::aterm &e)
	Recogniser for application of @not_.
const core::identifier_string &	mcrl2::data::sort_set::and_function_name ()
	Generate identifier @and_.
function_symbol	mcrl2::data::sort_set::and_function (const sort_expression &s)
	Constructor for function symbol @and_.
bool	mcrl2::data::sort_set::is_and_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @and_.
application	mcrl2::data::sort_set::and_function (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @and_.
void	mcrl2::data::sort_set::make_and_function (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @and_.
bool	mcrl2::data::sort_set::is_and_function_application (const atermpp::aterm &e)
	Recogniser for application of @and_.
const core::identifier_string &	mcrl2::data::sort_set::or_function_name ()
	Generate identifier @or_.
function_symbol	mcrl2::data::sort_set::or_function (const sort_expression &s)
	Constructor for function symbol @or_.
bool	mcrl2::data::sort_set::is_or_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @or_.
application	mcrl2::data::sort_set::or_function (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @or_.
void	mcrl2::data::sort_set::make_or_function (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @or_.
bool	mcrl2::data::sort_set::is_or_function_application (const atermpp::aterm &e)
	Recogniser for application of @or_.
const core::identifier_string &	mcrl2::data::sort_set::fset_union_name ()
	Generate identifier @fset_union.
function_symbol	mcrl2::data::sort_set::fset_union (const sort_expression &s)
	Constructor for function symbol @fset_union.
bool	mcrl2::data::sort_set::is_fset_union_function_symbol (const atermpp::aterm &e)
	Recogniser for function @fset_union.
application	mcrl2::data::sort_set::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.
void	mcrl2::data::sort_set::make_fset_union (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Make an application of function symbol @fset_union.
bool	mcrl2::data::sort_set::is_fset_union_application (const atermpp::aterm &e)
	Recogniser for application of @fset_union.
const core::identifier_string &	mcrl2::data::sort_set::fset_intersection_name ()
	Generate identifier @fset_inter.
function_symbol	mcrl2::data::sort_set::fset_intersection (const sort_expression &s)
	Constructor for function symbol @fset_inter.
bool	mcrl2::data::sort_set::is_fset_intersection_function_symbol (const atermpp::aterm &e)
	Recogniser for function @fset_inter.
application	mcrl2::data::sort_set::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.
void	mcrl2::data::sort_set::make_fset_intersection (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Make an application of function symbol @fset_inter.
bool	mcrl2::data::sort_set::is_fset_intersection_application (const atermpp::aterm &e)
	Recogniser for application of @fset_inter.
function_symbol_vector	mcrl2::data::sort_set::set_generate_functions_code (const sort_expression &s)
	Give all system defined mappings for set_.
function_symbol_vector	mcrl2::data::sort_set::set_generate_constructors_and_functions_code (const sort_expression &s)
	Give all system defined mappings and constructors for set_.
function_symbol_vector	mcrl2::data::sort_set::set_mCRL2_usable_mappings (const sort_expression &s)
	Give all system defined mappings that can be used in mCRL2 specs for set_.
implementation_map	mcrl2::data::sort_set::set_cpp_implementable_mappings (const sort_expression &s)
	Give all system defined mappings that are to be implemented in C++ code for set_.
const data_expression &	mcrl2::data::sort_set::left (const data_expression &e)
	Function for projecting out argument. left from an application.
const data_expression &	mcrl2::data::sort_set::right (const data_expression &e)
	Function for projecting out argument. right from an application.
const data_expression &	mcrl2::data::sort_set::arg (const data_expression &e)
	Function for projecting out argument. arg from an application.
const data_expression &	mcrl2::data::sort_set::arg1 (const data_expression &e)
	Function for projecting out argument. arg1 from an application.
const data_expression &	mcrl2::data::sort_set::arg2 (const data_expression &e)
	Function for projecting out argument. arg2 from an application.
const data_expression &	mcrl2::data::sort_set::arg3 (const data_expression &e)
	Function for projecting out argument. arg3 from an application.
const data_expression &	mcrl2::data::sort_set::arg4 (const data_expression &e)
	Function for projecting out argument. arg4 from an application.
data_equation_vector	mcrl2::data::sort_set::set_generate_equations_code (const sort_expression &s)
	Give all system defined equations for set_.