mcrl2::core::term_traits_optimized< T > Struct Template Reference

Contains type information for terms. More...

#include <term_traits_optimized.h>

Detailed Description

template<typename T>
struct mcrl2::core::term_traits_optimized< T >

Contains type information for terms.

Definition at line 23 of file term_traits_optimized.h.

---

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

• pbes/include/mcrl2/pbes/detail/term_traits_optimized.h