binder_type.h File Reference

The class binder_type. More...

Go to the source code of this file.

Classes
class	mcrl2::data::binder_type
	\brief Binder More...
class	mcrl2::data::untyped_set_or_bag_comprehension_binder
	\brief Binder for untyped set or bag comprehension More...
class	mcrl2::data::set_comprehension_binder
	\brief Binder for set comprehension More...
class	mcrl2::data::bag_comprehension_binder
	\brief Binder for bag comprehension More...
class	mcrl2::data::forall_binder
	\brief Binder for universal quantification More...
class	mcrl2::data::exists_binder
	\brief Binder for existential quantification More...
class	mcrl2::data::lambda_binder
	\brief Binder for lambda abstraction 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< binder_type >	mcrl2::data::binder_type_list
	\brief list of binder_types
typedef std::vector< binder_type >	mcrl2::data::binder_type_vector
	\brief vector of binder_types

Functions
std::string	mcrl2::data::pp (const binder_type &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const binder_type &x)
void	mcrl2::data::swap (binder_type &t1, binder_type &t2)
	\brief swap overload
bool	mcrl2::data::is_untyped_set_or_bag_comprehension_binder (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const untyped_set_or_bag_comprehension_binder &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const untyped_set_or_bag_comprehension_binder &x)
void	mcrl2::data::swap (untyped_set_or_bag_comprehension_binder &t1, untyped_set_or_bag_comprehension_binder &t2)
	\brief swap overload
bool	mcrl2::data::is_set_comprehension_binder (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const set_comprehension_binder &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const set_comprehension_binder &x)
void	mcrl2::data::swap (set_comprehension_binder &t1, set_comprehension_binder &t2)
	\brief swap overload
bool	mcrl2::data::is_bag_comprehension_binder (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const bag_comprehension_binder &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const bag_comprehension_binder &x)
void	mcrl2::data::swap (bag_comprehension_binder &t1, bag_comprehension_binder &t2)
	\brief swap overload
bool	mcrl2::data::is_forall_binder (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const forall_binder &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const forall_binder &x)
void	mcrl2::data::swap (forall_binder &t1, forall_binder &t2)
	\brief swap overload
bool	mcrl2::data::is_exists_binder (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const exists_binder &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const exists_binder &x)
void	mcrl2::data::swap (exists_binder &t1, exists_binder &t2)
	\brief swap overload
bool	mcrl2::data::is_lambda_binder (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const lambda_binder &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const lambda_binder &x)
void	mcrl2::data::swap (lambda_binder &t1, lambda_binder &t2)
	\brief swap overload

Detailed Description

The class binder_type.

Definition in file binder_type.h.