mcrl2::lts::detail::convertor< BASE_LTS_IN, BASE_LTS_OUT > Class Template Reference

#include <lts_convert.h>

Public Member Functions
	convertor (const BASE_LTS_IN &, const BASE_LTS_OUT &)

Detailed Description

template<class BASE_LTS_IN, class BASE_LTS_OUT>
class mcrl2::lts::detail::convertor< BASE_LTS_IN, BASE_LTS_OUT >

Definition at line 138 of file lts_convert.h.

Constructor & Destructor Documentation

convertor()

template<class BASE_LTS_IN , class BASE_LTS_OUT >

mcrl2::lts::detail::convertor< BASE_LTS_IN, BASE_LTS_OUT >::convertor ( const BASE_LTS_IN &  , const BASE_LTS_OUT &    )

inline

Definition at line 142 of file lts_convert.h.

---

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

• lts/include/mcrl2/lts/detail/lts_convert.h