mcrl2/lts/parse.h

Include file:

#include "mcrl2/lts/parse.h"

A simple straighforward parser for .fsm files.

Functions

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

Typedefs

type fsm_state

typedef for std::vector< std::size_t >