mcrl2/data/assignment.h

Include file:

#include "mcrl2/data/assignment.h"

The class assignment.

Typedefs

type assignment_expression_list

typedef for atermpp::term_list< assignment_expression >

list of assignment_expressions

type assignment_expression_vector

typedef for std::vector< assignment_expression >

vector of assignment_expressions

type assignment_list

typedef for atermpp::term_list< assignment >

list of assignments

type assignment_vector

typedef for std::vector< assignment >

vector of assignments

type untyped_identifier_assignment_list

typedef for atermpp::term_list< untyped_identifier_assignment >

list of untyped_identifier_assignments

type untyped_identifier_assignment_vector

typedef for std::vector< untyped_identifier_assignment >

vector of untyped_identifier_assignments

Functions

bool is_assignment(const atermpp::aterm_appl &x)

Test for a assignment expression.

Parameters:

  • x A term

Returns: True if x is a assignment expression

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

Test for a assignment_expression expression.

Parameters:

  • x A term

Returns: True if x is a assignment_expression expression

bool is_untyped_identifier_assignment(const atermpp::aterm_appl &x)

Test for a untyped_identifier_assignment expression.

Parameters:

  • x A term

Returns: True if x is a untyped_identifier_assignment expression

variable_list mcrl2::data::left_hand_sides(const assignment_list &x)

Returns the left hand sides of an assignment list.

Parameters:

  • x An assignment list
assignment_list mcrl2::data::make_assignment_list(const VariableSequence &variables, const ExpressionSequence &expressions)

Converts an iterator range to data_expression_list.

Parameters:

  • variables A sequence of variables.
  • expressions A sequence of variables.

Pre: length(variables) == length(expressions) .. note:: This function uses implementation details of the iterator type and hence is sometimes efficient than copying all elements of the list.

assignment_vector mcrl2::data::make_assignment_vector(VariableSequence const &variables, ExpressionSequence const &expressions)

Constructs an assignment_list by pairwise combining a variable and expression.

Parameters:

  • variables A sequence of data variables
  • expressions A sequence of data expressions

Returns: The corresponding assignment list.

std::ostream &mcrl2::data::operator<<(std::ostream &out, const assignment_expression &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 assignment &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_identifier_assignment &x)

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

std::string pp(const assignment_expression &x)
std::string pp(const assignment &x)
std::string pp(const untyped_identifier_assignment &x)
std::string pp(const assignment_list &x)
std::string pp(const assignment_vector &x)
void mcrl2::data::swap(assignment_expression &t1, assignment_expression &t2)

swap overload

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

swap overload

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

swap overload