atermpp::detail::found_term_exception Struct Reference

#include <algorithm_impl.h>

Public Member Functions
	found_term_exception (const aterm &t_)

Public Attributes
aterm	t

Detailed Description

Definition at line 61 of file algorithm_impl.h.

Constructor & Destructor Documentation

found_term_exception()

atermpp::detail::found_term_exception::found_term_exception ( const aterm &  t_ )

inline

Definition at line 65 of file algorithm_impl.h.

Member Data Documentation

t

aterm atermpp::detail::found_term_exception::t

Definition at line 63 of file algorithm_impl.h.

---

The documentation for this struct was generated from the following file:

• atermpp/include/mcrl2/atermpp/detail/algorithm_impl.h