No Matches
binder_type.h File Reference

The class binder_type. More...

Go to the source code of this file.


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


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< binder_typemcrl2::data::binder_type_list
 \brief list of binder_types
typedef std::vector< binder_typemcrl2::data::binder_type_vector
 \brief vector of binder_types


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.