aterm_list.h File Reference

Go to the source code of this file.

Classes
struct	atermpp::detail::do_not_convert_term< Term >

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

Functions
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 >
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 , 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 , 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 , 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.
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 , 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 , 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.