mcrl2/data/binder_type.h

Include file:

#include "mcrl2/data/binder_type.h"

The class binder_type.

Typedefs

type binder_type_list

typedef for atermpp::term_list< binder_type >

list of binder_types

type binder_type_vector

typedef for std::vector< binder_type >

vector of binder_types

Functions

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

Test for a bag_comprehension_binder expression.

Parameters:

  • x A term

Returns: True if x is a bag_comprehension_binder expression

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

Test for a exists_binder expression.

Parameters:

  • x A term

Returns: True if x is a exists_binder expression

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

Test for a forall_binder expression.

Parameters:

  • x A term

Returns: True if x is a forall_binder expression

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

Test for a lambda_binder expression.

Parameters:

  • x A term

Returns: True if x is a lambda_binder expression

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

Test for a set_comprehension_binder expression.

Parameters:

  • x A term

Returns: True if x is a set_comprehension_binder expression

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

Test for a untyped_set_or_bag_comprehension_binder expression.

Parameters:

  • x A term

Returns: True if x is a untyped_set_or_bag_comprehension_binder expression

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

std::string pp(const binder_type &x)
std::string pp(const untyped_set_or_bag_comprehension_binder &x)
std::string pp(const set_comprehension_binder &x)
std::string pp(const bag_comprehension_binder &x)
std::string pp(const forall_binder &x)
std::string pp(const exists_binder &x)
std::string pp(const lambda_binder &x)
void mcrl2::data::swap(binder_type &t1, binder_type &t2)

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload