An unprotected term does not change the reference count of the shared term when it is copied or moved.
More...
#include <aterm.h>
An unprotected term does not change the reference count of the shared term when it is copied or moved.
Definition at line 35 of file aterm.h.
◆ unprotected_aterm() [1/2]
atermpp::unprotected_aterm::unprotected_aterm 
( 
 ) 


inlinenoexcept 
Default constuctor.
Definition at line 45 of file aterm.h.
◆ unprotected_aterm() [2/2]
atermpp::unprotected_aterm::unprotected_aterm 
( 
const detail::_aterm * 
term  ) 


inlinenoexcept 
Constructor.
 Parameters

term  The term from which the new term is constructed. 
Definition at line 51 of file aterm.h.
◆ defined()
bool atermpp::unprotected_aterm::defined 
( 
 ) 
const 

inline 
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.
The default constructor of a term_list<T> is the empty list, on which the operator defined yields true. This operation is more efficient than comparing the current term with an aterm(), term_appl<T>() or an aterm_int().
 Returns
 A boolean indicating whether this term equals the default constructor.
Definition at line 147 of file aterm.h.
◆ function()
Yields the function symbol in an aterm.
 Returns
 The function symbol of the term, which can also be an AS_EMPTY_LIST, AS_INT and AS_LIST.
This is for internal use only.
Definition at line 165 of file aterm.h.
◆ operator!=()
Inequality operator on two unprotected aterms.
See note at the == operator. This operator requires constant time.
 Parameters

t  A term to which the current term is compared. 
 Returns
 false iff t is equal to the current term.
Definition at line 96 of file aterm.h.
◆ operator<()
Comparison operator for two unprotected aterms.
This operator requires constant time. It compares the addresses where terms are stored. That means that the outcome of this operator is only stable as long as aterms are not garbage collected.
 Parameters

t  A term to which the current term is compared. 
 Returns
 True iff the current term is smaller than the argument.
Definition at line 108 of file aterm.h.
◆ operator<=()
Comparison operator for two unprotected aterms.
This operator requires constant time. See note at the operator <.
 Parameters

t  A term to which the current term is compared. 
 Returns
 True iff the current term is smaller or equal than the argument.
Definition at line 126 of file aterm.h.
◆ operator==()
Comparison operator.
Terms are stored in a maximally shared way. This means that this equality operator can be calculated in constant time.
 Returns
 true iff t is equal to the current term.
Definition at line 87 of file aterm.h.
◆ operator>()
Comparison operator for two unprotected aterms.
This operator requires constant time. See note at the operator <.
 Parameters

t  A term to which the current term is compared. 
 Returns
 True iff the current term is larger than the argument.
Definition at line 117 of file aterm.h.
◆ operator>=()
Comparison operator for two unprotected aterms.
This operator requires constant time. See note at the operator <.
 Parameters

t  A term to which the current term is compared. 
 Returns
 True iff the current term is larger or equalthan the argument.
Definition at line 135 of file aterm.h.
◆ swap()
Swaps this term with its argument.
This operation is more efficient than exchanging terms by an assignment, as swapping does not require to change the protection of terms.
 Parameters

t  The term with which this term is swapped. 
Definition at line 156 of file aterm.h.
◆ type_is_appl()
bool atermpp::unprotected_aterm::type_is_appl 
( 
 ) 
const 

inlinenoexcept 
Dynamic check whether the term is an aterm_appl.
 Returns
 True iff this term is an term_appl.
This function has constant complexity. It is defined as !type_is_int() && !type_is_list().
Definition at line 59 of file aterm.h.
◆ type_is_int()
bool atermpp::unprotected_aterm::type_is_int 
( 
 ) 
const 

inlinenoexcept 
Dynamic check whether the term is an aterm_int.
 Returns
 True iff this term has internal structure of an aterm_int.
This function has constant complexity.
Definition at line 67 of file aterm.h.
◆ type_is_list()
bool atermpp::unprotected_aterm::type_is_list 
( 
 ) 
const 

inlinenoexcept 
Dynamic check whether the term is an aterm_list.
 Returns
 True iff this term has the structure of an term_list
This function has constant complexity.
Definition at line 76 of file aterm.h.
◆ detail::address
◆ m_term
The documentation for this class was generated from the following file:
 atermpp/include/mcrl2/atermpp/aterm.h