aterm_appl_iterator.h File Reference

Go to the source code of this file.

Classes
class	atermpp::term_appl_iterator< Term >
	Iterator for term_appl. More...

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

Functions
template<class Derived , class Base >
term_appl_iterator< Derived >	atermpp::detail::aterm_appl_iterator_cast (term_appl_iterator< Base > a, typename std::enable_if< std::is_base_of< aterm, Base >::value &&std::is_base_of< aterm, Derived >::value >::type *)
	This function can be used to translate an term_appl_iterator of one sort into another.