mcrl2::lts::detail::trace_constructor¶

Include file:

#include "mcrl2/lts/state_space_generator.h

class mcrl2::lts::detail::trace_constructor¶

Protected attributes¶

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

Explorer &mcrl2::lts::detail::trace_constructor::m_explorer¶

Protected member functions¶

lps::multi_action find_action(const lps::state &s0, const lps::state &s1)¶

Public member functions¶

void add_edge(const lps::state &s0, const lps::state &s1)¶

void clear()

class trace construct_trace(const lps::state &s)¶

Explorer &explorer()¶

trace_constructor(Explorer &explorer_)¶