atermpp::aterm_string

Include file:

#include "mcrl2/atermpp/aterm_string.h
class atermpp::aterm_string

Term containing a string.

Public member functions

aterm_string()

Default constructor.

aterm_string(const aterm &t)

Constructor.

Parameters:

  • t A term without arguments of type appl. The string is given by the function symbol.
aterm_string(const function_symbol &f)

Constructor.

Parameters:

  • f A function symbol with arity 0.
aterm_string(const std::string &s)

Constructor that allows construction from a string.

Parameters:

  • s A string.
aterm_string(const aterm_string &t) noexcept = default

Copy constructor.

Parameters:

  • t An aterm_string.
aterm_string(aterm_string &&t) noexcept = default

Move constructor.

Parameters:

  • t An aterm_string.
operator std::string() const

Conversion operator.

Returns: The term converted to string

aterm_string &operator=(const aterm_string &t) noexcept = default

Assignment operator.

Parameters:

  • t An aterm_string.
aterm_string &operator=(aterm_string &&t) noexcept = default

Move assignment operator.

Parameters:

  • t An aterm_string.