mcrl2::lts::detail::action_detector

Include file:

#include "mcrl2/lts/state_space_generator-cpp17.h
class mcrl2::lts::detail::action_detector

Protected attributes

const std::string &filename_prefix
std::size_t m_max_trace_count
trace_constructor &m_trace_constructor
trace_constructor<Explorer> &m_trace_constructor
std::size_t m_trace_count
std::vector<bool> summand_matches
const std::set<core::identifier_string> &trace_actions
const std::set<lps::multi_action> &trace_multiactions

Protected member functions

std::string create_filename(const lps::multi_action &a)
std::string create_filename(const lps::multi_action &a)
bool match_action(const lps::action_summand &summand) const
bool match_action(const lps::action_summand &summand) const
bool match_summand(std::size_t i) const
bool match_summand(std::size_t i) const

Public member functions

action_detector(const Specification &lpsspec, trace_constructor &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)
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)
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)