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