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(aterm_string &&t) noexcept = default

Move constructor.

Parameters:

• t An aterm_string.

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 aterm_string &t) noexcept = default

Copy constructor.

Parameters:

• t An aterm_string.

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.

operator std::string() const

Conversion operator.

Returns: The term converted to string

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

Move assignment operator.

Parameters:

• t An aterm_string.

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

Assignment operator.

Parameters:

• t An aterm_string.