mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::compare_transitions_tsl Class Reference

#include <transition.h>

Public Member Functions

 compare_transitions_tsl (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 127 of file transition.h.

Constructor & Destructor Documentation

◆ compare_transitions_tsl()

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

Definition at line 133 of file transition.h.

Member Function Documentation

◆ operator()()

bool mcrl2::lts::detail::compare_transitions_tsl::operator() ( const transition t1,
const transition t2 
)
inline

Definition at line 137 of file transition.h.

Member Data Documentation

◆ m_hide_action_set

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

Definition at line 130 of file transition.h.


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