Include file:
#include "mcrl2/lts/state_space_generator.h
mcrl2::lts::detail::
nondeterminism_detector
¶mcrl2::lts::detail::nondeterminism_detector::
filename_prefix
¶mcrl2::lts::detail::nondeterminism_detector::
m_max_trace_count
¶mcrl2::lts::detail::nondeterminism_detector::
m_trace_constructor
¶mcrl2::lts::detail::nondeterminism_detector::
m_trace_count
¶mcrl2::lts::detail::nondeterminism_detector::
transitions
¶detect_nondeterminism
(const lps::state &s0, std::size_t s0_index, const lps::multi_action &a, const lps::state &s1)¶nondeterminism_detector
(trace_constructor<Explorer> &trace_constructor_, const std::string &filename_prefix_, std::size_t max_trace_count = 0)¶start_state
()¶