#include <function_symbol.h>
Definition at line 24 of file function_symbol.h.
◆ function_symbol() [1/8]
| atermpp::function_symbol::function_symbol |
( |
| ) |
|
|
default |
◆ function_symbol() [2/8]
| atermpp::function_symbol::function_symbol |
( |
const std::string & |
name, |
|
|
const std::size_t |
arity_ |
|
) |
| |
|
inline |
Defines a function symbol from a name and arity combination.
Definition at line 36 of file function_symbol.h.
◆ function_symbol() [3/8]
| atermpp::function_symbol::function_symbol |
( |
std::string && |
name, |
|
|
const std::size_t |
arity_ |
|
) |
| |
|
inline |
Defines a function symbol from a name and arity combination.
Definition at line 41 of file function_symbol.h.
◆ function_symbol() [4/8]
This class has non-trivial destructor so declare default copy and move operators.
◆ function_symbol() [5/8]
◆ function_symbol() [6/8]
◆ function_symbol() [7/8]
| function_symbol::function_symbol |
( |
const std::string & |
name, |
|
|
const std::size_t |
arity, |
|
|
const bool |
check_for_registered_functions |
|
) |
| |
|
private |
◆ function_symbol() [8/8]
| function_symbol::function_symbol |
( |
std::string && |
name, |
|
|
const std::size_t |
arity, |
|
|
const bool |
check_for_registered_functions |
|
) |
| |
|
private |
◆ arity()
| std::size_t atermpp::function_symbol::arity |
( |
| ) |
const |
|
inline |
Return the arity (number of arguments) of the function symbol (function_symbol).
- Returns
- The arity of the function symbol.
Definition at line 65 of file function_symbol.h.
◆ defined()
| bool atermpp::function_symbol::defined |
( |
| ) |
const |
|
inline |
◆ destroy()
| void atermpp::function_symbol::destroy |
( |
| ) |
|
|
private |
Calls the function symbol pool to free our used memory.
◆ name()
| const std::string & atermpp::function_symbol::name |
( |
| ) |
const |
|
inline |
◆ operator!=()
| bool atermpp::function_symbol::operator!= |
( |
const function_symbol & |
f | ) |
const |
|
inline |
Inequality test.
This operator takes constant time.
- Returns
- True iff the function symbols are not equal.
Definition at line 82 of file function_symbol.h.
◆ operator<()
| bool atermpp::function_symbol::operator< |
( |
const function_symbol & |
f | ) |
const |
|
inline |
Comparison operation.
This operator takes constant time.
- Returns
- True iff this function has a lower index than the argument.
Definition at line 90 of file function_symbol.h.
◆ operator<=()
| bool atermpp::function_symbol::operator<= |
( |
const function_symbol & |
f | ) |
const |
|
inline |
Comparison operation.
This operator takes constant time.
- Returns
- True iff this function has a lower or equal index than the argument.
Definition at line 106 of file function_symbol.h.
◆ operator=() [1/2]
◆ operator=() [2/2]
◆ operator==()
| bool atermpp::function_symbol::operator== |
( |
const function_symbol & |
f | ) |
const |
|
inline |
Equality test.
This operator compares the indices of the function symbols. This means that this operation takes constant time.
- Returns
- True iff the function symbols are the same.
Definition at line 74 of file function_symbol.h.
◆ operator>()
| bool atermpp::function_symbol::operator> |
( |
const function_symbol & |
f | ) |
const |
|
inline |
Comparison operation.
This operator takes constant time.
- Returns
- True iff this function has a higher index than the argument.
Definition at line 98 of file function_symbol.h.
◆ operator>=()
| bool atermpp::function_symbol::operator>= |
( |
const function_symbol & |
f | ) |
const |
|
inline |
Comparison operation.
This operator takes constant time.
- Returns
- True iff this function has a larger or equal index than the argument.
Definition at line 114 of file function_symbol.h.
◆ swap()
Swap this function with its argument.
More efficient than assigning twice.
- Parameters
-
| f | The function symbol with which the swap takes place. |
Definition at line 122 of file function_symbol.h.
◆ detail::_aterm
◆ detail::function_symbol_pool
◆ function_symbol_generator
◆ std::hash< function_symbol >
◆ m_function_symbol
The shared reference to the underlying function symbol.
Definition at line 144 of file function_symbol.h.
The documentation for this class was generated from the following files:
