mCRL2
Loading...
Searching...
No Matches
aterm_string.h File Reference

Go to the source code of this file.

Classes

class  atermpp::aterm_string
 Term containing a string. More...
 

Namespaces

namespace  atermpp
 The main namespace for the aterm++ library.
 
namespace  std
 STL namespace.
 

Functions

const aterm_stringatermpp::empty_string ()
 Returns the empty aterm_string.
 
template<>
void std::swap (atermpp::aterm_string &t1, atermpp::aterm_string &t2) noexcept
 Swaps two aterm_strings.