mcrl2::lts::detail::compare_transitions_lts Class Reference

#include <transition.h>

Public Member Functions
	compare_transitions_lts (const std::set< std::size_t > &hide_action_set)
bool	operator() (const transition &t1, const transition &t2)

Protected Attributes
const std::set< std::size_t > &	m_hide_action_set

Detailed Description

Definition at line 66 of file transition.h.

Constructor & Destructor Documentation

compare_transitions_lts()

mcrl2::lts::detail::compare_transitions_lts::compare_transitions_lts ( const std::set< std::size_t > &  hide_action_set )

inline

Definition at line 72 of file transition.h.

Member Function Documentation

operator()()

bool mcrl2::lts::detail::compare_transitions_lts::operator() ( const transition &  t1, const transition &  t2  )

inline

Definition at line 76 of file transition.h.

Member Data Documentation

m_hide_action_set

const std::set<std::size_t>& mcrl2::lts::detail::compare_transitions_lts::m_hide_action_set

protected

Definition at line 69 of file transition.h.

---

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

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