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
boost::xpressive::sregex mcrl2::lts::detail::simple_fsm_parser::regex_parameter