bag1.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_bag
	Namespace for system defined sort bag.

Typedefs
typedef std::map< function_symbol, std::pair< std::function< void(data_expression &, const data_expression &)>, std::string > >	mcrl2::data::sort_bag::implementation_map

Functions
container_sort	mcrl2::data::sort_bag::bag (const sort_expression &s)
	Constructor for sort expression Bag(S)
bool	mcrl2::data::sort_bag::is_bag (const sort_expression &e)
	Recogniser for sort expression Bag(s)
const core::identifier_string &	mcrl2::data::sort_bag::constructor_name ()
	Generate identifier @bag.
function_symbol	mcrl2::data::sort_bag::constructor (const sort_expression &s)
	Constructor for function symbol @bag.
bool	mcrl2::data::sort_bag::is_constructor_function_symbol (const atermpp::aterm &e)
	Recogniser for function @bag.
application	mcrl2::data::sort_bag::constructor (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @bag.
void	mcrl2::data::sort_bag::make_constructor (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @bag.
bool	mcrl2::data::sort_bag::is_constructor_application (const atermpp::aterm &e)
	Recogniser for application of @bag.
function_symbol_vector	mcrl2::data::sort_bag::bag_generate_constructors_code (const sort_expression &s)
	Give all system defined constructors for bag.
function_symbol_vector	mcrl2::data::sort_bag::bag_mCRL2_usable_constructors (const sort_expression &s)
	Give all defined constructors which can be used in mCRL2 specs for bag.
implementation_map	mcrl2::data::sort_bag::bag_cpp_implementable_constructors (const sort_expression &s)
	Give all system defined constructors which have an implementation in C++ and not in rewrite rules for bag.
const core::identifier_string &	mcrl2::data::sort_bag::bag_fbag_name ()
	Generate identifier @bagfbag.
function_symbol	mcrl2::data::sort_bag::bag_fbag (const sort_expression &s)
	Constructor for function symbol @bagfbag.
bool	mcrl2::data::sort_bag::is_bag_fbag_function_symbol (const atermpp::aterm &e)
	Recogniser for function @bagfbag.
application	mcrl2::data::sort_bag::bag_fbag (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @bagfbag.
void	mcrl2::data::sort_bag::make_bag_fbag (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @bagfbag.
bool	mcrl2::data::sort_bag::is_bag_fbag_application (const atermpp::aterm &e)
	Recogniser for application of @bagfbag.
const core::identifier_string &	mcrl2::data::sort_bag::bag_comprehension_name ()
	Generate identifier @bagcomp.
function_symbol	mcrl2::data::sort_bag::bag_comprehension (const sort_expression &s)
	Constructor for function symbol @bagcomp.
bool	mcrl2::data::sort_bag::is_bag_comprehension_function_symbol (const atermpp::aterm &e)
	Recogniser for function @bagcomp.
application	mcrl2::data::sort_bag::bag_comprehension (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @bagcomp.
void	mcrl2::data::sort_bag::make_bag_comprehension (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @bagcomp.
bool	mcrl2::data::sort_bag::is_bag_comprehension_application (const atermpp::aterm &e)
	Recogniser for application of @bagcomp.
const core::identifier_string &	mcrl2::data::sort_bag::count_name ()
	Generate identifier count.
function_symbol	mcrl2::data::sort_bag::count (const sort_expression &, const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_bag::is_count_function_symbol (const atermpp::aterm &e)
	Recogniser for function count.
application	mcrl2::data::sort_bag::count (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol count.
void	mcrl2::data::sort_bag::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_bag::is_count_application (const atermpp::aterm &e)
	Recogniser for application of count.
const core::identifier_string &	mcrl2::data::sort_bag::in_name ()
	Generate identifier in.
function_symbol	mcrl2::data::sort_bag::in (const sort_expression &, const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_bag::is_in_function_symbol (const atermpp::aterm &e)
	Recogniser for function in.
application	mcrl2::data::sort_bag::in (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol in.
void	mcrl2::data::sort_bag::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_bag::is_in_application (const atermpp::aterm &e)
	Recogniser for application of in.
const core::identifier_string &	mcrl2::data::sort_bag::union_name ()
	Generate identifier +.
function_symbol	mcrl2::data::sort_bag::union_ (const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_bag::is_union_function_symbol (const atermpp::aterm &e)
	Recogniser for function +.
application	mcrl2::data::sort_bag::union_ (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol +.
void	mcrl2::data::sort_bag::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_bag::is_union_application (const atermpp::aterm &e)
	Recogniser for application of +.
const core::identifier_string &	mcrl2::data::sort_bag::intersection_name ()
	Generate identifier *.
function_symbol	mcrl2::data::sort_bag::intersection (const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_bag::is_intersection_function_symbol (const atermpp::aterm &e)
	Recogniser for function *.
application	mcrl2::data::sort_bag::intersection (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol *.
void	mcrl2::data::sort_bag::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_bag::is_intersection_application (const atermpp::aterm &e)
	Recogniser for application of *.
const core::identifier_string &	mcrl2::data::sort_bag::difference_name ()
	Generate identifier -.
function_symbol	mcrl2::data::sort_bag::difference (const sort_expression &s, const sort_expression &s0, const sort_expression &s1)
bool	mcrl2::data::sort_bag::is_difference_function_symbol (const atermpp::aterm &e)
	Recogniser for function -.
application	mcrl2::data::sort_bag::difference (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol -.
void	mcrl2::data::sort_bag::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_bag::is_difference_application (const atermpp::aterm &e)
	Recogniser for application of -.
const core::identifier_string &	mcrl2::data::sort_bag::bag2set_name ()
	Generate identifier Bag2Set.
function_symbol	mcrl2::data::sort_bag::bag2set (const sort_expression &s)
	Constructor for function symbol Bag2Set.
bool	mcrl2::data::sort_bag::is_bag2set_function_symbol (const atermpp::aterm &e)
	Recogniser for function Bag2Set.
application	mcrl2::data::sort_bag::bag2set (const sort_expression &s, const data_expression &arg0)
	Application of function symbol Bag2Set.
void	mcrl2::data::sort_bag::make_bag2set (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol Bag2Set.
bool	mcrl2::data::sort_bag::is_bag2set_application (const atermpp::aterm &e)
	Recogniser for application of Bag2Set.
const core::identifier_string &	mcrl2::data::sort_bag::set2bag_name ()
	Generate identifier Set2Bag.
function_symbol	mcrl2::data::sort_bag::set2bag (const sort_expression &s)
	Constructor for function symbol Set2Bag.
bool	mcrl2::data::sort_bag::is_set2bag_function_symbol (const atermpp::aterm &e)
	Recogniser for function Set2Bag.
application	mcrl2::data::sort_bag::set2bag (const sort_expression &s, const data_expression &arg0)
	Application of function symbol Set2Bag.
void	mcrl2::data::sort_bag::make_set2bag (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol Set2Bag.
bool	mcrl2::data::sort_bag::is_set2bag_application (const atermpp::aterm &e)
	Recogniser for application of Set2Bag.
const core::identifier_string &	mcrl2::data::sort_bag::zero_function_name ()
	Generate identifier @zero_.
function_symbol	mcrl2::data::sort_bag::zero_function (const sort_expression &s)
	Constructor for function symbol @zero_.
bool	mcrl2::data::sort_bag::is_zero_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @zero_.
application	mcrl2::data::sort_bag::zero_function (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @zero_.
void	mcrl2::data::sort_bag::make_zero_function (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @zero_.
bool	mcrl2::data::sort_bag::is_zero_function_application (const atermpp::aterm &e)
	Recogniser for application of @zero_.
const core::identifier_string &	mcrl2::data::sort_bag::one_function_name ()
	Generate identifier @one_.
function_symbol	mcrl2::data::sort_bag::one_function (const sort_expression &s)
	Constructor for function symbol @one_.
bool	mcrl2::data::sort_bag::is_one_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @one_.
application	mcrl2::data::sort_bag::one_function (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @one_.
void	mcrl2::data::sort_bag::make_one_function (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @one_.
bool	mcrl2::data::sort_bag::is_one_function_application (const atermpp::aterm &e)
	Recogniser for application of @one_.
const core::identifier_string &	mcrl2::data::sort_bag::add_function_name ()
	Generate identifier @add_.
function_symbol	mcrl2::data::sort_bag::add_function (const sort_expression &s)
	Constructor for function symbol @add_.
bool	mcrl2::data::sort_bag::is_add_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @add_.
application	mcrl2::data::sort_bag::add_function (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @add_.
void	mcrl2::data::sort_bag::make_add_function (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @add_.
bool	mcrl2::data::sort_bag::is_add_function_application (const atermpp::aterm &e)
	Recogniser for application of @add_.
const core::identifier_string &	mcrl2::data::sort_bag::min_function_name ()
	Generate identifier @min_.
function_symbol	mcrl2::data::sort_bag::min_function (const sort_expression &s)
	Constructor for function symbol @min_.
bool	mcrl2::data::sort_bag::is_min_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @min_.
application	mcrl2::data::sort_bag::min_function (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @min_.
void	mcrl2::data::sort_bag::make_min_function (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @min_.
bool	mcrl2::data::sort_bag::is_min_function_application (const atermpp::aterm &e)
	Recogniser for application of @min_.
const core::identifier_string &	mcrl2::data::sort_bag::monus_function_name ()
	Generate identifier @monus_.
function_symbol	mcrl2::data::sort_bag::monus_function (const sort_expression &s)
	Constructor for function symbol @monus_.
bool	mcrl2::data::sort_bag::is_monus_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @monus_.
application	mcrl2::data::sort_bag::monus_function (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @monus_.
void	mcrl2::data::sort_bag::make_monus_function (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @monus_.
bool	mcrl2::data::sort_bag::is_monus_function_application (const atermpp::aterm &e)
	Recogniser for application of @monus_.
const core::identifier_string &	mcrl2::data::sort_bag::nat2bool_function_name ()
	Generate identifier @Nat2Bool_.
function_symbol	mcrl2::data::sort_bag::nat2bool_function (const sort_expression &s)
	Constructor for function symbol @Nat2Bool_.
bool	mcrl2::data::sort_bag::is_nat2bool_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @Nat2Bool_.
application	mcrl2::data::sort_bag::nat2bool_function (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @Nat2Bool_.
void	mcrl2::data::sort_bag::make_nat2bool_function (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @Nat2Bool_.
bool	mcrl2::data::sort_bag::is_nat2bool_function_application (const atermpp::aterm &e)
	Recogniser for application of @Nat2Bool_.
const core::identifier_string &	mcrl2::data::sort_bag::bool2nat_function_name ()
	Generate identifier @Bool2Nat_.
function_symbol	mcrl2::data::sort_bag::bool2nat_function (const sort_expression &s)
	Constructor for function symbol @Bool2Nat_.
bool	mcrl2::data::sort_bag::is_bool2nat_function_function_symbol (const atermpp::aterm &e)
	Recogniser for function @Bool2Nat_.
application	mcrl2::data::sort_bag::bool2nat_function (const sort_expression &s, const data_expression &arg0)
	Application of function symbol @Bool2Nat_.
void	mcrl2::data::sort_bag::make_bool2nat_function (data_expression &result, const sort_expression &s, const data_expression &arg0)
	Make an application of function symbol @Bool2Nat_.
bool	mcrl2::data::sort_bag::is_bool2nat_function_application (const atermpp::aterm &e)
	Recogniser for application of @Bool2Nat_.
const core::identifier_string &	mcrl2::data::sort_bag::fbag_join_name ()
	Generate identifier @fbag_join.
function_symbol	mcrl2::data::sort_bag::fbag_join (const sort_expression &s)
	Constructor for function symbol @fbag_join.
bool	mcrl2::data::sort_bag::is_fbag_join_function_symbol (const atermpp::aterm &e)
	Recogniser for function @fbag_join.
application	mcrl2::data::sort_bag::fbag_join (const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @fbag_join.
void	mcrl2::data::sort_bag::make_fbag_join (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 @fbag_join.
bool	mcrl2::data::sort_bag::is_fbag_join_application (const atermpp::aterm &e)
	Recogniser for application of @fbag_join.
const core::identifier_string &	mcrl2::data::sort_bag::fbag_intersect_name ()
	Generate identifier @fbag_inter.
function_symbol	mcrl2::data::sort_bag::fbag_intersect (const sort_expression &s)
	Constructor for function symbol @fbag_inter.
bool	mcrl2::data::sort_bag::is_fbag_intersect_function_symbol (const atermpp::aterm &e)
	Recogniser for function @fbag_inter.
application	mcrl2::data::sort_bag::fbag_intersect (const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @fbag_inter.
void	mcrl2::data::sort_bag::make_fbag_intersect (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 @fbag_inter.
bool	mcrl2::data::sort_bag::is_fbag_intersect_application (const atermpp::aterm &e)
	Recogniser for application of @fbag_inter.
const core::identifier_string &	mcrl2::data::sort_bag::fbag_difference_name ()
	Generate identifier @fbag_diff.
function_symbol	mcrl2::data::sort_bag::fbag_difference (const sort_expression &s)
	Constructor for function symbol @fbag_diff.
bool	mcrl2::data::sort_bag::is_fbag_difference_function_symbol (const atermpp::aterm &e)
	Recogniser for function @fbag_diff.
application	mcrl2::data::sort_bag::fbag_difference (const sort_expression &s, const data_expression &arg0, const data_expression &arg1, const data_expression &arg2, const data_expression &arg3)
	Application of function symbol @fbag_diff.
void	mcrl2::data::sort_bag::make_fbag_difference (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 @fbag_diff.
bool	mcrl2::data::sort_bag::is_fbag_difference_application (const atermpp::aterm &e)
	Recogniser for application of @fbag_diff.
const core::identifier_string &	mcrl2::data::sort_bag::fbag2fset_name ()
	Generate identifier @fbag2fset.
function_symbol	mcrl2::data::sort_bag::fbag2fset (const sort_expression &s)
	Constructor for function symbol @fbag2fset.
bool	mcrl2::data::sort_bag::is_fbag2fset_function_symbol (const atermpp::aterm &e)
	Recogniser for function @fbag2fset.
application	mcrl2::data::sort_bag::fbag2fset (const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Application of function symbol @fbag2fset.
void	mcrl2::data::sort_bag::make_fbag2fset (data_expression &result, const sort_expression &s, const data_expression &arg0, const data_expression &arg1)
	Make an application of function symbol @fbag2fset.
bool	mcrl2::data::sort_bag::is_fbag2fset_application (const atermpp::aterm &e)
	Recogniser for application of @fbag2fset.
function_symbol_vector	mcrl2::data::sort_bag::bag_generate_functions_code (const sort_expression &s)
	Give all system defined mappings for bag.
function_symbol_vector	mcrl2::data::sort_bag::bag_generate_constructors_and_functions_code (const sort_expression &s)
	Give all system defined mappings and constructors for bag.
function_symbol_vector	mcrl2::data::sort_bag::bag_mCRL2_usable_mappings (const sort_expression &s)
	Give all system defined mappings that can be used in mCRL2 specs for bag.
implementation_map	mcrl2::data::sort_bag::bag_cpp_implementable_mappings (const sort_expression &s)
	Give all system defined mappings that are to be implemented in C++ code for bag.
const data_expression &	mcrl2::data::sort_bag::left (const data_expression &e)
	Function for projecting out argument. left from an application.
const data_expression &	mcrl2::data::sort_bag::right (const data_expression &e)
	Function for projecting out argument. right from an application.
const data_expression &	mcrl2::data::sort_bag::arg (const data_expression &e)
	Function for projecting out argument. arg from an application.
const data_expression &	mcrl2::data::sort_bag::arg1 (const data_expression &e)
	Function for projecting out argument. arg1 from an application.
const data_expression &	mcrl2::data::sort_bag::arg2 (const data_expression &e)
	Function for projecting out argument. arg2 from an application.
const data_expression &	mcrl2::data::sort_bag::arg3 (const data_expression &e)
	Function for projecting out argument. arg3 from an application.
const data_expression &	mcrl2::data::sort_bag::arg4 (const data_expression &e)
	Function for projecting out argument. arg4 from an application.
data_equation_vector	mcrl2::data::sort_bag::bag_generate_equations_code (const sort_expression &s)
	Give all system defined equations for bag.