mcrl2::lts::detail::simple_fsm_parser¶

Include file:

#include "mcrl2/lts/parse.h

class mcrl2::lts::detail::simple_fsm_parser¶

Protected types¶

type mcrl2::lts::detail::simple_fsm_parser::states¶

Values:

PARAMETERS

STATES
TRANSITIONS
INITIAL_DISTRIBUTION

Protected attributes¶

detail::fsm_builder mcrl2::lts::detail::simple_fsm_parser::builder¶

const std::regex mcrl2::lts::detail::simple_fsm_parser::regex_parameter¶

const std::regex mcrl2::lts::detail::simple_fsm_parser::regex_probabilistic_initial_distribution¶

const std::regex mcrl2::lts::detail::simple_fsm_parser::regex_quoted_string¶

const std::regex mcrl2::lts::detail::simple_fsm_parser::regex_transition¶

Protected member functions¶

states next_state(states state)¶

std::vector<std::string> parse_domain_values(const std::string &text)¶

void parse_initial_distribution(const std::string &line)¶

void parse_parameter(const std::string &line)¶

void parse_state(const std::string &line)¶

void parse_transition(const std::string &line)¶

Public member functions¶

void run(std::istream &from)¶

simple_fsm_parser(probabilistic_lts_fsm_t &fsm)¶