mcrl2/core/identifier_string.h

Include file:

#include "mcrl2/core/identifier_string.h"

aterm representations of identifier strings.

Classes

Typedefs

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 >

list of identifier_strings

type mcrl2::core::identifier_string_vector

typedef for std::vector< identifier_string >

vector of identifier_strings

Functions

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:

  • t A term

Returns: Whether t is an identifier string.

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

Outputs the object to a stream.

Parameters:

  • out An output stream

  • x Object x

Returns: The output stream

std::string pp(const identifier_string &x)
void mcrl2::core::swap(identifier_string &t1, identifier_string &t2)

swap overload