container_type.h File Reference

Go to the source code of this file.

Classes
class	mcrl2::data::container_type
	\brief Container type More...
class	mcrl2::data::list_container
	\brief Container type for lists More...
class	mcrl2::data::set_container
	\brief Container type for sets More...
class	mcrl2::data::bag_container
	\brief Container type for bags More...
class	mcrl2::data::fset_container
	\brief Container type for finite sets More...
class	mcrl2::data::fbag_container
	\brief Container type for finite bags More...

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.

Typedefs
typedef atermpp::term_list< container_type >	mcrl2::data::container_type_list
	\brief list of container_types
typedef std::vector< container_type >	mcrl2::data::container_type_vector
	\brief vector of container_types

Functions
std::string	mcrl2::data::pp (const container_type &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const container_type &x)
void	mcrl2::data::swap (container_type &t1, container_type &t2)
	\brief swap overload
bool	mcrl2::data::is_list_container (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const list_container &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const list_container &x)
void	mcrl2::data::swap (list_container &t1, list_container &t2)
	\brief swap overload
bool	mcrl2::data::is_set_container (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const set_container &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const set_container &x)
void	mcrl2::data::swap (set_container &t1, set_container &t2)
	\brief swap overload
bool	mcrl2::data::is_bag_container (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const bag_container &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const bag_container &x)
void	mcrl2::data::swap (bag_container &t1, bag_container &t2)
	\brief swap overload
bool	mcrl2::data::is_fset_container (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const fset_container &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const fset_container &x)
void	mcrl2::data::swap (fset_container &t1, fset_container &t2)
	\brief swap overload
bool	mcrl2::data::is_fbag_container (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const fbag_container &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const fbag_container &x)
void	mcrl2::data::swap (fbag_container &t1, fbag_container &t2)
	\brief swap overload