mcrl2/data/assignment.h

Include file:

#include "mcrl2/data/assignment.h"

The class assignment.

Typedefs

type mcrl2::data::assignment_expression_list

typedef for atermpp::term_list< assignment_expression >

brief list of assignment_expressions

type mcrl2::data::assignment_expression_vector

typedef for std::vector< assignment_expression >

brief vector of assignment_expressions

type mcrl2::data::assignment_list

typedef for atermpp::term_list< assignment >

brief list of assignments

type mcrl2::data::assignment_vector

typedef for std::vector< assignment >

brief vector of assignments

type mcrl2::data::untyped_identifier_assignment_list

typedef for atermpp::term_list< untyped_identifier_assignment >

brief list of untyped_identifier_assignments

type mcrl2::data::untyped_identifier_assignment_vector

typedef for std::vector< untyped_identifier_assignment >

brief vector of untyped_identifier_assignments

Functions

bool is_assignment(const atermpp::aterm_appl &x)

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

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

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

bool is_untyped_identifier_assignment(const atermpp::aterm_appl &x)

brief Test for a untyped_identifier_assignment expression param x A term return True if a 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
void mcrl2::data::make_assignment(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_assignment constructs a new term into a given address.

Parameters:

  • t The reference into which the new assignment is constructed.
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.

void mcrl2::data::make_untyped_identifier_assignment(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_untyped_identifier_assignment constructs a new term into a given address.

Parameters:

  • t The reference into which the new untyped_identifier_assignment is constructed.
std::ostream &mcrl2::data::operator<<(std::ostream &out, const assignment &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 assignment_expression &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_identifier_assignment &x)

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

data_expression_list mcrl2::data::right_hand_sides(const assignment_list &x)

Returns the right hand sides of an assignment list.

Parameters:

  • x An assignment list
void mcrl2::data::swap(assignment &t1, assignment &t2)

brief swap overload

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

brief swap overload

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

brief swap overload