#include <liblts_failures_refinement.h>

Public Member Functions
	state_states_counter_example_index_triple ()=default

	state_states_counter_example_index_triple (const state_type state, set_of_states states, const typename COUNTER_EXAMPLE_CONSTRUCTOR::index_type &counter_example_index)
	Constructor.

state_type	state () const
	Get the state.

const set_of_states &	states () const
	Get the set of states.

const COUNTER_EXAMPLE_CONSTRUCTOR::index_type &	counter_example_index () const
	Get the counter example index.

Protected Attributes
detail::state_type	m_state = 0UL

detail::set_of_states	m_states

COUNTER_EXAMPLE_CONSTRUCTOR::index_type	m_counter_example_index

Detailed Description

template<class COUNTER_EXAMPLE_CONSTRUCTOR>
class mcrl2::lts::detail::state_states_counter_example_index_triple< COUNTER_EXAMPLE_CONSTRUCTOR >

Definition at line 41 of file liblts_failures_refinement.h.

Constructor & Destructor Documentation

◆ state_states_counter_example_index_triple() [1/2]

template<class COUNTER_EXAMPLE_CONSTRUCTOR >

mcrl2::lts::detail::state_states_counter_example_index_triple< COUNTER_EXAMPLE_CONSTRUCTOR >::state_states_counter_example_index_triple ( )

default

◆ state_states_counter_example_index_triple() [2/2]

template<class COUNTER_EXAMPLE_CONSTRUCTOR >

mcrl2::lts::detail::state_states_counter_example_index_triple< COUNTER_EXAMPLE_CONSTRUCTOR >::state_states_counter_example_index_triple	(	const state_type	state,
		set_of_states	states,
		const typename COUNTER_EXAMPLE_CONSTRUCTOR::index_type &	counter_example_index
	)

inline

Constructor.

Definition at line 52 of file liblts_failures_refinement.h.

Member Function Documentation

◆ counter_example_index()

template<class COUNTER_EXAMPLE_CONSTRUCTOR >

const COUNTER_EXAMPLE_CONSTRUCTOR::index_type & mcrl2::lts::detail::state_states_counter_example_index_triple< COUNTER_EXAMPLE_CONSTRUCTOR >::counter_example_index ( ) const

inline

Get the counter example index.

Definition at line 66 of file liblts_failures_refinement.h.

◆ state()

template<class COUNTER_EXAMPLE_CONSTRUCTOR >

state_type mcrl2::lts::detail::state_states_counter_example_index_triple< COUNTER_EXAMPLE_CONSTRUCTOR >::state ( ) const

inline

Get the state.

Definition at line 61 of file liblts_failures_refinement.h.

◆ states()

template<class COUNTER_EXAMPLE_CONSTRUCTOR >

const set_of_states & mcrl2::lts::detail::state_states_counter_example_index_triple< COUNTER_EXAMPLE_CONSTRUCTOR >::states ( ) const

inline

Get the set of states.

Definition at line 63 of file liblts_failures_refinement.h.

Member Data Documentation

◆ m_counter_example_index

template<class COUNTER_EXAMPLE_CONSTRUCTOR >

COUNTER_EXAMPLE_CONSTRUCTOR::index_type mcrl2::lts::detail::state_states_counter_example_index_triple< COUNTER_EXAMPLE_CONSTRUCTOR >::m_counter_example_index

protected

Definition at line 46 of file liblts_failures_refinement.h.