mcrl2/data/binder_type.h

Include file:

#include "mcrl2/data/binder_type.h"

The class binder_type.

Typedefs

type mcrl2::data::binder_type_list

typedef for atermpp::term_list< binder_type >

brief list of binder_types

type mcrl2::data::binder_type_vector

typedef for std::vector< binder_type >

brief vector of binder_types

Functions

bool mcrl2::data::is_bag_comprehension_binder(const atermpp::aterm_appl &x)

brief Test for a bag_comprehension_binder expression param x A term return True if a x is a bag_comprehension_binder expression

bool mcrl2::data::is_exists_binder(const atermpp::aterm_appl &x)

brief Test for a exists_binder expression param x A term return True if a x is a exists_binder expression

bool mcrl2::data::is_forall_binder(const atermpp::aterm_appl &x)

brief Test for a forall_binder expression param x A term return True if a x is a forall_binder expression

bool mcrl2::data::is_lambda_binder(const atermpp::aterm_appl &x)

brief Test for a lambda_binder expression param x A term return True if a x is a lambda_binder expression

bool mcrl2::data::is_set_comprehension_binder(const atermpp::aterm_appl &x)

brief Test for a set_comprehension_binder expression param x A term return True if a x is a set_comprehension_binder expression

bool mcrl2::data::is_untyped_set_or_bag_comprehension_binder(const atermpp::aterm_appl &x)

brief Test for a untyped_set_or_bag_comprehension_binder expression param x A term return True if a x is a untyped_set_or_bag_comprehension_binder expression

std::ostream &mcrl2::data::operator<<(std::ostream &out, const bag_comprehension_binder &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

std::ostream &mcrl2::data::operator<<(std::ostream &out, const binder_type &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

std::ostream &mcrl2::data::operator<<(std::ostream &out, const exists_binder &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

std::ostream &mcrl2::data::operator<<(std::ostream &out, const forall_binder &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

std::ostream &mcrl2::data::operator<<(std::ostream &out, const lambda_binder &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

std::ostream &mcrl2::data::operator<<(std::ostream &out, const set_comprehension_binder &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

std::ostream &mcrl2::data::operator<<(std::ostream &out, const untyped_set_or_bag_comprehension_binder &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

void mcrl2::data::swap(bag_comprehension_binder &t1, bag_comprehension_binder &t2)

brief swap overload

void mcrl2::data::swap(binder_type &t1, binder_type &t2)

brief swap overload

void mcrl2::data::swap(exists_binder &t1, exists_binder &t2)

brief swap overload

void mcrl2::data::swap(forall_binder &t1, forall_binder &t2)

brief swap overload

void mcrl2::data::swap(lambda_binder &t1, lambda_binder &t2)

brief swap overload

void mcrl2::data::swap(set_comprehension_binder &t1, set_comprehension_binder &t2)

brief swap overload

void mcrl2::data::swap(untyped_set_or_bag_comprehension_binder &t1, untyped_set_or_bag_comprehension_binder &t2)

brief swap overload