mcrl2/lts/parse.h

Include file:

#include "mcrl2/lts/parse.h"

A simple straighforward parser for .fsm files.

Classes

• mcrl2::lts::detail::simple_fsm_parser

Functions

void mcrl2::lts::parse_fsm_specification(const std::string &text, probabilistic_lts_fsm_t &result)

void mcrl2::lts::parse_fsm_specification(std::istream &from, probabilistic_lts_fsm_t &result)