No Matches
container_type.h File Reference

Go to the source code of this file.


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...


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.


typedef atermpp::term_list< container_typemcrl2::data::container_type_list
 \brief list of container_types
typedef std::vector< container_typemcrl2::data::container_type_vector
 \brief vector of container_types


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