#include <liblts_failures_refinement.h>

Public Member Functions
	state_states_counter_example_index_triple ()

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

state_type	state () const
	Get the state.

void	swap (state_states_counter_example_index_triple &other)

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

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 40 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 ( )

inline

Definition at line 48 of file liblts_failures_refinement.h.

◆ 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,
		const 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 81 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 62 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 75 of file liblts_failures_refinement.h.

◆ swap()

template<class COUNTER_EXAMPLE_CONSTRUCTOR >

void mcrl2::lts::detail::state_states_counter_example_index_triple< COUNTER_EXAMPLE_CONSTRUCTOR >::swap ( state_states_counter_example_index_triple< COUNTER_EXAMPLE_CONSTRUCTOR > & other )

inline

Definition at line 67 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 45 of file liblts_failures_refinement.h.