mcrl2::lts::detail::nondeterminism_detector

Include file:

#include "mcrl2/lts/state_space_generator.h
class mcrl2::lts::detail::nondeterminism_detector

Protected attributes

const std::string &mcrl2::lts::detail::nondeterminism_detector::filename_prefix
std::size_t mcrl2::lts::detail::nondeterminism_detector::m_max_trace_count
trace_constructor<Explorer> &mcrl2::lts::detail::nondeterminism_detector::m_trace_constructor
std::size_t mcrl2::lts::detail::nondeterminism_detector::m_trace_count
std::map<lps::multi_action, lps::state> mcrl2::lts::detail::nondeterminism_detector::transitions

Public member functions

bool 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)
void start_state()