mcrl2::lts::detail::lts_cache< LTS_TYPE > Class Template Reference

#include <liblts_failures_refinement.h>

Public Member Functions
	lts_cache (LTS_TYPE &l, const bool weak_reduction)
bool	stable (const state_type s) const
const std::vector< state_type > &	tau_reachable_states (const state_type s) const
const std::vector< transition > &	transitions (const state_type s) const
bool	diverges (const state_type s) const
const action_label_set &	action_labels (const state_type s) const

Protected Attributes
LTS_TYPE &	m_l
std::vector< std::vector< state_type > >	m_tau_reachable_states
std::vector< std::vector< transition > >	m_sorted_transitions
std::vector< bool >	m_divergent
std::vector< action_label_set >	m_enabled_actions

Private Member Functions
void	calculate_weak_property_cache (const bool weak_reduction)

Detailed Description

template<class LTS_TYPE>
class mcrl2::lts::detail::lts_cache< LTS_TYPE >

Definition at line 83 of file liblts_failures_refinement.h.

Constructor & Destructor Documentation

lts_cache()

template<class LTS_TYPE >

mcrl2::lts::detail::lts_cache< LTS_TYPE >::lts_cache ( LTS_TYPE &  l, const bool  weak_reduction  )

inline

Definition at line 118 of file liblts_failures_refinement.h.

Member Function Documentation

action_labels()

template<class LTS_TYPE >

const action_label_set & mcrl2::lts::detail::lts_cache< LTS_TYPE >::action_labels ( const state_type  s ) const

inline

Definition at line 141 of file liblts_failures_refinement.h.

calculate_weak_property_cache()

template<class LTS_TYPE >

void mcrl2::lts::detail::lts_cache< LTS_TYPE >::calculate_weak_property_cache ( const bool  weak_reduction )

inlineprivate

Definition at line 93 of file liblts_failures_refinement.h.

diverges()

template<class LTS_TYPE >

bool mcrl2::lts::detail::lts_cache< LTS_TYPE >::diverges ( const state_type  s ) const

inline

Definition at line 139 of file liblts_failures_refinement.h.

stable()

template<class LTS_TYPE >

bool mcrl2::lts::detail::lts_cache< LTS_TYPE >::stable ( const state_type  s ) const

inline

Definition at line 129 of file liblts_failures_refinement.h.

tau_reachable_states()

template<class LTS_TYPE >

const std::vector< state_type > & mcrl2::lts::detail::lts_cache< LTS_TYPE >::tau_reachable_states ( const state_type  s ) const

inline

Definition at line 131 of file liblts_failures_refinement.h.

transitions()

template<class LTS_TYPE >

const std::vector< transition > & mcrl2::lts::detail::lts_cache< LTS_TYPE >::transitions ( const state_type  s ) const

inline

Definition at line 133 of file liblts_failures_refinement.h.

Member Data Documentation

m_divergent

template<class LTS_TYPE >

std::vector<bool> mcrl2::lts::detail::lts_cache< LTS_TYPE >::m_divergent

protected

Definition at line 89 of file liblts_failures_refinement.h.

m_enabled_actions

template<class LTS_TYPE >

std::vector<action_label_set> mcrl2::lts::detail::lts_cache< LTS_TYPE >::m_enabled_actions

protected

Definition at line 90 of file liblts_failures_refinement.h.

m_l

template<class LTS_TYPE >

LTS_TYPE& mcrl2::lts::detail::lts_cache< LTS_TYPE >::m_l

protected

Definition at line 86 of file liblts_failures_refinement.h.

m_sorted_transitions

template<class LTS_TYPE >

std::vector<std::vector<transition> > mcrl2::lts::detail::lts_cache< LTS_TYPE >::m_sorted_transitions

protected

Definition at line 88 of file liblts_failures_refinement.h.

m_tau_reachable_states

template<class LTS_TYPE >

std::vector<std::vector<state_type> > mcrl2::lts::detail::lts_cache< LTS_TYPE >::m_tau_reachable_states

protected

Definition at line 87 of file liblts_failures_refinement.h.

---

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

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