mcrl2::lts::detail::trace_constructor< Explorer > Class Template Reference

#include <state_space_generator.h>

Public Member Functions
	trace_constructor (Explorer &explorer_)
class trace	construct_trace (const lps::state &s)
void	add_edge (const lps::state &s0, const lps::state &s1)
void	clear ()
Explorer &	explorer ()

Protected Member Functions
lps::multi_action	find_action (const lps::state &s0, const lps::state &s1)

Protected Attributes
Explorer &	m_explorer
std::map< lps::state, lps::state >	m_backpointers

Detailed Description

template<typename Explorer>
class mcrl2::lts::detail::trace_constructor< Explorer >

Definition at line 85 of file state_space_generator.h.

Constructor & Destructor Documentation

trace_constructor()

template<typename Explorer >

mcrl2::lts::detail::trace_constructor< Explorer >::trace_constructor ( Explorer &  explorer_ )

inlineexplicit

Definition at line 122 of file state_space_generator.h.

Member Function Documentation

add_edge()

template<typename Explorer >

void mcrl2::lts::detail::trace_constructor< Explorer >::add_edge ( const lps::state &  s0, const lps::state &  s1  )

inline

Definition at line 155 of file state_space_generator.h.

clear()

template<typename Explorer >

void mcrl2::lts::detail::trace_constructor< Explorer >::clear ( )

inline

Definition at line 160 of file state_space_generator.h.

construct_trace()

template<typename Explorer >

class trace mcrl2::lts::detail::trace_constructor< Explorer >::construct_trace ( const lps::state &  s )

inline

Definition at line 127 of file state_space_generator.h.

explorer()

template<typename Explorer >

Explorer & mcrl2::lts::detail::trace_constructor< Explorer >::explorer ( )

inline

Definition at line 166 of file state_space_generator.h.

find_action()

template<typename Explorer >

lps::multi_action mcrl2::lts::detail::trace_constructor< Explorer >::find_action ( const lps::state &  s0, const lps::state &  s1  )

inlineprotected

Definition at line 92 of file state_space_generator.h.

Member Data Documentation

m_backpointers

template<typename Explorer >

std::map<lps::state, lps::state> mcrl2::lts::detail::trace_constructor< Explorer >::m_backpointers

protected

Definition at line 89 of file state_space_generator.h.

m_explorer

template<typename Explorer >

Explorer& mcrl2::lts::detail::trace_constructor< Explorer >::m_explorer

protected

Definition at line 88 of file state_space_generator.h.

---

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

• lts/include/mcrl2/lts/state_space_generator.h