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::backpointers
Explorer &mcrl2::lts::detail::trace_constructor::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()
trace::Trace construct_trace(const lps::state &s)
trace_constructor(Explorer &explorer_)