Include file:

#include "mcrl2/core/identifier_string.h"

aterm representations of identifier strings.



type mcrl2::core::identifier_string

typedef for atermpp::aterm_string

String type of the LPS library. Identifier strings are represented internally as ATerms.

type mcrl2::core::identifier_string_list

typedef for atermpp::term_list< identifier_string >

brief list of identifier_strings

type mcrl2::core::identifier_string_vector

typedef for std::vector< identifier_string >

brief vector of identifier_strings


identifier_string mcrl2::core::empty_identifier_string()

Provides the empty identifier string.

Returns: The empty identifier string.

bool mcrl2::core::is_identifier_string(const atermpp::aterm &t)

Tests if a term is an identifier string.


  • t A term

Returns: Whether t is an identifier string.

std::ostream &mcrl2::core::operator<<(std::ostream &out, const identifier_string &x)

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

void mcrl2::core::swap(identifier_string &t1, identifier_string &t2)

brief swap overload