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

Go to the source code of this file.

Namespaces

namespace  atermpp
 The main namespace for the aterm++ library.
 
namespace  atermpp::detail
 

Functions

template<typename Term >
term_list< Term > atermpp::push_back (const term_list< Term > &l, const Term &el)
 Appends a new element at the end of the list. Note that the complexity of this function is O(n), with n the number of elements in the list!!!
 
template<typename Term >
void atermpp::make_reverse (term_list< Term > &result, const term_list< Term > &l)
 
template<typename Term >
term_list< Term > atermpp::reverse (const term_list< Term > &l)
 Returns the list with the elements in reversed order.
 
template<typename Term >
term_list< Term > atermpp::sort_list (const term_list< Term > &l, const std::function< bool(const Term &, const Term &)> &ordering=[](const Term &t1, const Term &t2){ return t1< t2;})
 Returns the list with the elements sorted according to the <-operator on the addresses of terms.
 
template<typename Term >
term_list< Term > atermpp::remove_one_element (const term_list< Term > &list, const Term &t)
 
template<typename Term1 , typename Term2 >
std::conditional< std::is_convertible< Term2, Term1 >::value, term_list< Term1 >, term_list< Term2 > >::type atermpp::operator+ (const term_list< Term1 > &l, const term_list< Term2 > &m)
 Returns the concatenation of two lists with convertible element types.
 
template<class Term , class Iter , class ATermConverter , class ATermFilter >
void atermpp::detail::make_list_backward (term_list< Term > &result, Iter first, Iter last, ATermConverter convert_to_aterm, ATermFilter aterm_filter)
 Construct a list iterating from the last to the first element. Result is put in the variable result.
 
template<typename Term , typename Iter , typename ATermConverter , typename ATermFilter >
aterm atermpp::detail::make_list_backward (Iter first, Iter last, ATermConverter convert_to_aterm, ATermFilter aterm_filter)
 Constructs a list starting from first to last. The iterators are traversed backwards and each element is converted using the TermConverter and inserted whenever TermFilter yields true for the converted element.
 
template<class Term , class Iter , class ATermConverter >
void atermpp::detail::make_list_backward (term_list< Term > &result, Iter first, Iter last, ATermConverter convert_to_aterm)
 Constructs a list starting from first to last where the result is put in result.
 
template<typename Term , typename Iter , typename ATermConverter >
aterm atermpp::detail::make_list_backward (Iter first, Iter last, ATermConverter convert_to_aterm)
 Constructs a list starting from first to last. The iterators are traversed backwards and each element is converted using the TermConverter.
 
template<class Term , class Iter , class ATermConverter , class ATermFilter >
void atermpp::detail::make_list_forward (term_list< Term > &result, Iter first, Iter last, ATermConverter convert_to_aterm, ATermFilter aterm_filter)
 Constructs a list traversing the iterator from first to last, putting the result in place in the variable result.
 
template<typename Term , class Iter , class ATermConverter , class ATermFilter >
aterm atermpp::detail::make_list_forward (Iter first, Iter last, ATermConverter convert_to_aterm, ATermFilter aterm_filter)
 Constructs a list starting from first to last. Each element is converted using the TermConverter and inserted whenever TermFilter yields true for the converted element.
 
template<class Term , typename ForwardTraversalIterator , class Transformer >
void atermpp::detail::make_list_forward_helper (term_list< Term > &result, ForwardTraversalIterator &p, const ForwardTraversalIterator last, Transformer transformer)
 
template<typename Term , class Iter , class ATermConverter >
void atermpp::detail::make_list_forward (term_list< Term > &result, Iter first, Iter last, ATermConverter convert_to_aterm)
 Constructs a list starting from first to last. Each element is converted using the TermConverter.
 
template<typename Term , class Iter , class ATermConverter >
aterm atermpp::detail::make_list_forward (Iter first, Iter last, ATermConverter convert_to_aterm)
 Constructs a list starting from first to last. Each element is converted using the TermConverter.
 

Variables

constexpr std::size_t atermpp::LengthOfShortList = 10000