mCRL2
Loading...
Searching...
No Matches
atermpp::aterm_string Class Reference

Term containing a string. More...

#include <aterm_string.h>

Inheritance diagram for atermpp::aterm_string:
atermpp::term_appl< aterm > atermpp::aterm atermpp::unprotected_aterm

Public Member Functions

 aterm_string ()
 Default constructor.
 
 aterm_string (const aterm &t)
 Constructor.
 
 aterm_string (const function_symbol &f)
 Constructor.
 
 aterm_string (const std::string &s)
 Constructor that allows construction from a string.
 
 aterm_string (const aterm_string &t) noexcept=default
 
 aterm_string (aterm_string &&t) noexcept=default
 
aterm_stringoperator= (const aterm_string &t) noexcept=default
 
aterm_stringoperator= (aterm_string &&t) noexcept=default
 
 operator std::string () const
 Conversion operator.
 
- Public Member Functions inherited from atermpp::term_appl< aterm >
 term_appl ()
 Default constructor.
 
 term_appl (const aterm &t)
 Explicit constructor from an aterm.
 
 term_appl (const term_appl &other) noexcept=default
 This class has user-declared copy constructor so declare default copy and move operators.
 
 term_appl (term_appl &&other) noexcept=default
 
 term_appl (const function_symbol &sym, ForwardIterator begin, ForwardIterator end)
 Constructor that provides an aterm_appl based on a function symbol and forward iterator providing the arguments.
 
 term_appl (const function_symbol &sym, InputIterator begin, InputIterator end)
 Constructor that provides an aterm_appl based on a function symbol and an input iterator providing the arguments.
 
 term_appl (const function_symbol &sym, InputIterator begin, InputIterator end, TermConverter converter)
 
 term_appl (const function_symbol &sym)
 Constructor.
 
 term_appl (const function_symbol &symbol, const Terms &...arguments)
 Constructor for n-arity function application.
 
term_apploperator= (const term_appl &other) noexcept=default
 
term_apploperator= (term_appl &&other) noexcept=default
 
const function_symbolfunction () const
 Returns the function symbol belonging to an aterm_appl.
 
size_type size () const
 Returns the number of arguments of this term.
 
bool empty () const
 Returns true if the term has no arguments.
 
const_iterator begin () const
 Returns an iterator pointing to the first argument.
 
const_iterator end () const
 Returns a const_iterator pointing past the last argument.
 
constexpr size_type max_size () const
 Returns the largest possible number of arguments.
 
const atermoperator[] (const size_type i) const
 Returns the i-th argument.
 
- Public Member Functions inherited from atermpp::aterm
 aterm () noexcept
 Default constructor.
 
 ~aterm () noexcept
 Standard destructor.
 
 aterm (const detail::_aterm *t) noexcept
 Constructor based on an internal term data structure. This is not for public use.
 
 aterm (const aterm &other) noexcept
 Copy constructor.
 
 aterm (aterm &&other) noexcept
 Move constructor.
 
atermoperator= (const aterm &other) noexcept
 Assignment operator.
 
atermassign (const aterm &other, detail::thread_aterm_pool &pool) noexcept
 Assignment operator, to be used if busy and forbidden flags are explicitly available.
 
template<bool CHECK_BUSY_FLAG = true>
atermunprotected_assign (const aterm &other) noexcept
 Assignment operator, to be used when the busy flags do not need to be set.
 
atermoperator= (aterm &&other) noexcept
 Move assignment operator.
 
- Public Member Functions inherited from atermpp::unprotected_aterm
 unprotected_aterm () noexcept
 Default constuctor.
 
 unprotected_aterm (const detail::_aterm *term) noexcept
 Constructor.
 
bool type_is_appl () const noexcept
 Dynamic check whether the term is an aterm_appl.
 
bool type_is_int () const noexcept
 Dynamic check whether the term is an aterm_int.
 
bool type_is_list () const noexcept
 Dynamic check whether the term is an aterm_list.
 
bool operator== (const unprotected_aterm &t) const
 Comparison operator.
 
bool operator!= (const unprotected_aterm &t) const
 Inequality operator on two unprotected aterms.
 
bool operator< (const unprotected_aterm &t) const
 Comparison operator for two unprotected aterms.
 
bool operator> (const unprotected_aterm &t) const
 Comparison operator for two unprotected aterms.
 
bool operator<= (const unprotected_aterm &t) const
 Comparison operator for two unprotected aterms.
 
bool operator>= (const unprotected_aterm &t) const
 Comparison operator for two unprotected aterms.
 
bool defined () const
 Returns true if this term is not equal to the term assigned by the default constructor of aterms, term_appl<T>'s and aterm_int.
 
void swap (unprotected_aterm &t) noexcept
 Swaps this term with its argument.
 
const function_symbolfunction () const
 Yields the function symbol in an aterm.
 

Additional Inherited Members

- Public Types inherited from atermpp::term_appl< aterm >
typedef aterm value_type
 The type of object, T stored in the term_appl.
 
typedef atermpointer
 Pointer to T.
 
typedef atermreference
 Reference to T.
 
typedef const aterm const_reference
 Const reference to T.
 
typedef std::size_t size_type
 An unsigned integral type.
 
typedef ptrdiff_t difference_type
 A signed integral type.
 
typedef term_appl_iterator< atermiterator
 Iterator used to iterate through an term_appl.
 
typedef term_appl_iterator< atermconst_iterator
 Const iterator used to iterate through an term_appl.
 
- Protected Member Functions inherited from atermpp::term_appl< aterm >
 term_appl (detail::_term_appl *t)
 Constructor.
 
- Protected Attributes inherited from atermpp::unprotected_aterm
const detail::_atermm_term
 

Detailed Description

Term containing a string.

Definition at line 19 of file aterm_string.h.

Constructor & Destructor Documentation

◆ aterm_string() [1/6]

atermpp::aterm_string::aterm_string ( )
inline

Default constructor.

Definition at line 23 of file aterm_string.h.

◆ aterm_string() [2/6]

atermpp::aterm_string::aterm_string ( const aterm t)
inlineexplicit

Constructor.

Parameters
tA term without arguments of type appl. The string is given by the function symbol.

Definition at line 28 of file aterm_string.h.

◆ aterm_string() [3/6]

atermpp::aterm_string::aterm_string ( const function_symbol f)
inline

Constructor.

Parameters
fA function symbol with arity 0.

Definition at line 36 of file aterm_string.h.

◆ aterm_string() [4/6]

atermpp::aterm_string::aterm_string ( const std::string &  s)
inline

Constructor that allows construction from a string.

Parameters
sA string.

Definition at line 45 of file aterm_string.h.

◆ aterm_string() [5/6]

atermpp::aterm_string::aterm_string ( const aterm_string t)
defaultnoexcept

Copy constructor.

Parameters
tAn aterm_string.

◆ aterm_string() [6/6]

atermpp::aterm_string::aterm_string ( aterm_string &&  t)
defaultnoexcept

Move constructor.

Parameters
tAn aterm_string.

Member Function Documentation

◆ operator std::string()

atermpp::aterm_string::operator std::string ( ) const
inline

Conversion operator.

Returns
The term converted to string

Definition at line 69 of file aterm_string.h.

◆ operator=() [1/2]

aterm_string & atermpp::aterm_string::operator= ( aterm_string &&  t)
defaultnoexcept

Move assignment operator.

Parameters
tAn aterm_string.

◆ operator=() [2/2]

aterm_string & atermpp::aterm_string::operator= ( const aterm_string t)
defaultnoexcept

Assignment operator.

Parameters
tAn aterm_string.

The documentation for this class was generated from the following file: