fbag64.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_fbag
	Namespace for system defined sort fbag.

Functions
container_sort	mcrl2::data::sort_fbag::fbag (const sort_expression &s)
	Constructor for sort expression FBag(S)
bool	mcrl2::data::sort_fbag::is_fbag (const sort_expression &e)
	Recogniser for sort expression FBag(s)
const core::identifier_string &	mcrl2::data::sort_fbag::empty_name ()
	Generate identifier {:}.
function_symbol	mcrl2::data::sort_fbag::empty (const sort_expression &s)
	Constructor for function symbol {:}.
bool	mcrl2::data::sort_fbag::is_empty_function_symbol (const atermpp::aterm &e)
	Recogniser for function {:}.
const core::identifier_string &	mcrl2::data::sort_fbag::insert_name ()
	Generate identifier @fbag_insert.
function_symbol	mcrl2::data::sort_fbag::insert (const sort_expression &s)
	Constructor for function symbol @fbag_insert.
bool	mcrl2::data::sort_fbag::is_insert_function_symbol (const atermpp::aterm &e)
	Recogniser for function @fbag_insert.
application	mcrl2::data::sort_fbag::insert (const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @fbag_insert.
void	mcrl2::data::sort_fbag::make_insert (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @fbag_insert.
bool	mcrl2::data::sort_fbag::is_insert_application (const atermpp::aterm &e)
	Recogniser for application of @fbag_insert.
function_symbol_vector	mcrl2::data::sort_fbag::fbag_generate_constructors_code (const sort_expression &s)
	Give all system defined constructors for fbag.
function_symbol_vector	mcrl2::data::sort_fbag::fbag_mCRL2_usable_constructors (const sort_expression &s)
	Give all defined constructors which can be used in mCRL2 specs for fbag.
implementation_map	mcrl2::data::sort_fbag::fbag_cpp_implementable_constructors (const sort_expression &s)
	Give all system defined constructors which have an implementation in C++ and not in rewrite rules for fbag.
const core::identifier_string &	mcrl2::data::sort_fbag::cons_name ()
	Generate identifier @fbag_cons.
function_symbol	mcrl2::data::sort_fbag::cons_ (const sort_expression &s)
	Constructor for function symbol @fbag_cons.
bool	mcrl2::data::sort_fbag::is_cons_function_symbol (const atermpp::aterm &e)
	Recogniser for function @fbag_cons.
application	mcrl2::data::sort_fbag::cons_ (const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @fbag_cons.
void	mcrl2::data::sort_fbag::make_cons_ (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @fbag_cons.
bool	mcrl2::data::sort_fbag::is_cons_application (const atermpp::aterm &e)
	Recogniser for application of @fbag_cons.
const core::identifier_string &	mcrl2::data::sort_fbag::cinsert_name ()
	Generate identifier @fbag_cinsert.
function_symbol	mcrl2::data::sort_fbag::cinsert (const sort_expression &s)
	Constructor for function symbol @fbag_cinsert.
bool	mcrl2::data::sort_fbag::is_cinsert_function_symbol (const atermpp::aterm &e)
	Recogniser for function @fbag_cinsert.
application	mcrl2::data::sort_fbag::cinsert (const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Application of function symbol @fbag_cinsert.
void	mcrl2::data::sort_fbag::make_cinsert (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2)
	Make an application of function symbol @fbag_cinsert.
bool	mcrl2::data::sort_fbag::is_cinsert_application (const atermpp::aterm &e)
	Recogniser for application of @fbag_cinsert.
const core::identifier_string &	mcrl2::data::sort_fbag::count_name ()
	Generate identifier count.
function_symbol	mcrl2::data::sort_fbag::count (const sort_expression &s)
	Constructor for function symbol count.
bool	mcrl2::data::sort_fbag::is_count_function_symbol (const atermpp::aterm &e)
	Recogniser for function count.
application	mcrl2::data::sort_fbag::count (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol count.
void	mcrl2::data::sort_fbag::make_count (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol count.
bool	mcrl2::data::sort_fbag::is_count_application (const atermpp::aterm &e)
	Recogniser for application of count.
const core::identifier_string &	mcrl2::data::sort_fbag::in_name ()
	Generate identifier in.
function_symbol	mcrl2::data::sort_fbag::in (const sort_expression &s)
	Constructor for function symbol in.
bool	mcrl2::data::sort_fbag::is_in_function_symbol (const atermpp::aterm &e)
	Recogniser for function in.
application	mcrl2::data::sort_fbag::in (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol in.
void	mcrl2::data::sort_fbag::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_fbag::is_in_application (const atermpp::aterm &e)
	Recogniser for application of in.
const core::identifier_string &	mcrl2::data::sort_fbag::union_name ()
	Generate identifier +.
function_symbol	mcrl2::data::sort_fbag::union_ (const sort_expression &s)
	Constructor for function symbol +.
bool	mcrl2::data::sort_fbag::is_union_function_symbol (const atermpp::aterm &e)
	Recogniser for function +.
application	mcrl2::data::sort_fbag::union_ (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol +.
void	mcrl2::data::sort_fbag::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_fbag::is_union_application (const atermpp::aterm &e)
	Recogniser for application of +.
const core::identifier_string &	mcrl2::data::sort_fbag::intersection_name ()
	Generate identifier *.
function_symbol	mcrl2::data::sort_fbag::intersection (const sort_expression &s)
	Constructor for function symbol *.
bool	mcrl2::data::sort_fbag::is_intersection_function_symbol (const atermpp::aterm &e)
	Recogniser for function *.
application	mcrl2::data::sort_fbag::intersection (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol *.
void	mcrl2::data::sort_fbag::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_fbag::is_intersection_application (const atermpp::aterm &e)
	Recogniser for application of *.
const core::identifier_string &	mcrl2::data::sort_fbag::difference_name ()
	Generate identifier -.
function_symbol	mcrl2::data::sort_fbag::difference (const sort_expression &s)
	Constructor for function symbol -.
bool	mcrl2::data::sort_fbag::is_difference_function_symbol (const atermpp::aterm &e)
	Recogniser for function -.
application	mcrl2::data::sort_fbag::difference (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol -.
void	mcrl2::data::sort_fbag::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_fbag::is_difference_application (const atermpp::aterm &e)
	Recogniser for application of -.
const core::identifier_string &	mcrl2::data::sort_fbag::count_all_name ()
	Generate identifier #.
function_symbol	mcrl2::data::sort_fbag::count_all (const sort_expression &s)
	Constructor for function symbol #.
bool	mcrl2::data::sort_fbag::is_count_all_function_symbol (const atermpp::aterm &e)
	Recogniser for function #.
application	mcrl2::data::sort_fbag::count_all (const sort_expression &s, const data_expression &arg0)
	Application of function symbol #.
void	mcrl2::data::sort_fbag::make_count_all (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol #.
bool	mcrl2::data::sort_fbag::is_count_all_application (const atermpp::aterm &e)
	Recogniser for application of #.
function_symbol_vector	mcrl2::data::sort_fbag::fbag_generate_functions_code (const sort_expression &s)
	Give all system defined mappings for fbag.
function_symbol_vector	mcrl2::data::sort_fbag::fbag_generate_constructors_and_functions_code (const sort_expression &s)
	Give all system defined mappings and constructors for fbag.
function_symbol_vector	mcrl2::data::sort_fbag::fbag_mCRL2_usable_mappings (const sort_expression &s)
	Give all system defined mappings that can be used in mCRL2 specs for fbag.
implementation_map	mcrl2::data::sort_fbag::fbag_cpp_implementable_mappings (const sort_expression &s)
	Give all system defined mappings that are to be implemented in C++ code for fbag.
const data_expression &	mcrl2::data::sort_fbag::arg1 (const data_expression &e)
	Function for projecting out argument. arg1 from an application.
const data_expression &	mcrl2::data::sort_fbag::arg2 (const data_expression &e)
	Function for projecting out argument. arg2 from an application.
const data_expression &	mcrl2::data::sort_fbag::arg3 (const data_expression &e)
	Function for projecting out argument. arg3 from an application.
const data_expression &	mcrl2::data::sort_fbag::left (const data_expression &e)
	Function for projecting out argument. left from an application.
const data_expression &	mcrl2::data::sort_fbag::right (const data_expression &e)
	Function for projecting out argument. right from an application.
const data_expression &	mcrl2::data::sort_fbag::arg (const data_expression &e)
	Function for projecting out argument. arg from an application.
data_equation_vector	mcrl2::data::sort_fbag::fbag_generate_equations_code (const sort_expression &s)
	Give all system defined equations for fbag.