identifier_string.h¶

Include file:

#include "mcrl2/core/identifier_string.h"

aterm representations of identifier strings.

Classes¶

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.

Parameters:

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