mcrl2::lts::detail::simple_fsm_parser Class Reference

#include <parse.h>

Public Member Functions
	simple_fsm_parser (probabilistic_lts_fsm_t &fsm)
void	run (std::istream &from)

Protected Types
enum	states { PARAMETERS , STATES , TRANSITIONS , INITIAL_DISTRIBUTION }

Protected Member Functions
states	next_state (states state)
std::vector< std::string >	parse_domain_values (const std::string &text)
void	parse_parameter (const std::string &line)
void	parse_state (const std::string &line)
void	parse_transition (const std::string &line)
void	parse_initial_distribution (const std::string &line)

Protected Attributes
detail::fsm_builder	builder
const std::regex	regex_parameter {"\\s*([a-zA-Z_][a-zA-Z0-9_'@]*)\\‍((\\d+)\\‍)\\s*([a-zA-Z_][a-zA-Z0-9_'@#\\-> \t=,\\‍(\\‍):]*)?\\s*((\"[^\"]*\"\\s*)*)"}
const std::regex	regex_transition {"(0|([1-9][0-9]*))+\\s+(0|([1-9][0-9]*|\\[[^\\]]*\\]))+\\s+\"([^\"]*)\""}
const std::regex	regex_quoted_string {"\"([^\"]*)\""}
const std::regex	regex_probabilistic_initial_distribution {R"(0|([1-9][0-9]*)|\[[^\]]*\])"}

Detailed Description

Definition at line 22 of file parse.h.

Member Enumeration Documentation

states

enum mcrl2::lts::detail::simple_fsm_parser::states

protected

Enumerator
PARAMETERS
STATES
TRANSITIONS
INITIAL_DISTRIBUTION

Definition at line 25 of file parse.h.

Constructor & Destructor Documentation

simple_fsm_parser()

mcrl2::lts::detail::simple_fsm_parser::simple_fsm_parser ( probabilistic_lts_fsm_t &  fsm )

inlineexplicit

Definition at line 130 of file parse.h.

Member Function Documentation

next_state()

states mcrl2::lts::detail::simple_fsm_parser::next_state ( states  state )

inlineprotected

Definition at line 44 of file parse.h.

parse_domain_values()

std::vector< std::string > mcrl2::lts::detail::simple_fsm_parser::parse_domain_values ( const std::string &  text )

inlineprotected

Definition at line 59 of file parse.h.

parse_initial_distribution()

void mcrl2::lts::detail::simple_fsm_parser::parse_initial_distribution ( const std::string &  line )

inlineprotected

Definition at line 119 of file parse.h.

parse_parameter()

void mcrl2::lts::detail::simple_fsm_parser::parse_parameter ( const std::string &  line )

inlineprotected

Definition at line 77 of file parse.h.

parse_state()

void mcrl2::lts::detail::simple_fsm_parser::parse_state ( const std::string &  line )

inlineprotected

Definition at line 92 of file parse.h.

parse_transition()

void mcrl2::lts::detail::simple_fsm_parser::parse_transition ( const std::string &  line )

inlineprotected

Definition at line 105 of file parse.h.

run()

void mcrl2::lts::detail::simple_fsm_parser::run ( std::istream &  from )

inline

Definition at line 134 of file parse.h.

Member Data Documentation

builder

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

protected

Definition at line 28 of file parse.h.

regex_parameter

const std::regex mcrl2::lts::detail::simple_fsm_parser::regex_parameter {"\\s*([a-zA-Z_][a-zA-Z0-9_'@]*)\\‍((\\d+)\\‍)\\s*([a-zA-Z_][a-zA-Z0-9_'@#\\-> \t=,\\‍(\\‍):]*)?\\s*((\"[^\"]*\"\\s*)*)"}

protected

Definition at line 30 of file parse.h.

regex_probabilistic_initial_distribution

const std::regex mcrl2::lts::detail::simple_fsm_parser::regex_probabilistic_initial_distribution {R"(0|([1-9][0-9]*)|\[[^\]]*\])"}

protected

Definition at line 42 of file parse.h.

regex_quoted_string

const std::regex mcrl2::lts::detail::simple_fsm_parser::regex_quoted_string {"\"([^\"]*)\""}

protected

Definition at line 39 of file parse.h.

regex_transition

const std::regex mcrl2::lts::detail::simple_fsm_parser::regex_transition {"(0|([1-9][0-9]*))+\\s+(0|([1-9][0-9]*|\\[[^\\]]*\\]))+\\s+\"([^\"]*)\""}

protected

Definition at line 37 of file parse.h.

---

The documentation for this class was generated from the following file:

• lts/include/mcrl2/lts/parse.h