mCRL2
Loading...
Searching...
No Matches
atermpp::is_convertible< Term1, Term2 > Struct Template Reference

#include <aterm.h>

Inheritance diagram for atermpp::is_convertible< Term1, Term2 >:

Detailed Description

template<class Term1, class Term2>
struct atermpp::is_convertible< Term1, Term2 >

Definition at line 319 of file aterm.h.


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