mcrl2::lts::detail::action_detector

Include file:

#include "mcrl2/lts/state_space_generator.h

class mcrl2::lts::detail::action_detector

Protected attributes

const std::string &mcrl2::lts::detail::action_detector::filename_prefix

std::size_t mcrl2::lts::detail::action_detector::m_max_trace_count

trace_constructor<Explorer> &mcrl2::lts::detail::action_detector::m_trace_constructor

std::size_t mcrl2::lts::detail::action_detector::m_trace_count

std::vector<bool> mcrl2::lts::detail::action_detector::summand_matches

const std::set<core::identifier_string> &mcrl2::lts::detail::action_detector::trace_actions

const std::set<lps::multi_action> &mcrl2::lts::detail::action_detector::trace_multiactions

Protected member functions

std::string create_filename(const lps::multi_action &a)

bool match_action(const lps::action_summand &summand) const

bool match_summand(std::size_t i) const

Public member functions

action_detector(const Specification &lpsspec, trace_constructor<Explorer> &trace_constructor_, const std::set<core::identifier_string> &trace_actions_, const std::set<lps::multi_action> &trace_multiactions_, const std::string &filename_prefix_, std::size_t max_trace_count)

bool detect_action(const lps::state &s0, std::size_t s0_index, const lps::multi_action &a, const lps::state &s1, std::size_t summand_index)