mcrl2/pbes/txt2pbes.h

Include file:

#include "mcrl2/pbes/txt2pbes.h"

Function for parsing a pbes specification.

Functions

void txt2pbes(const std::string &input_filename, const std::string &output_filename, const utilities::file_format &output_format, bool normalize)
pbes mcrl2::pbes_system::txt2pbes(std::istream &spec_stream, bool normalize = true)

Parses a PBES specification from an input stream.

Parameters:

  • spec_stream A stream from which can be read
  • normalize If true, the resulting PBES is normalized after reading.

Returns: The parsed PBES

pbes mcrl2::pbes_system::txt2pbes(const std::string &text, bool normalize = true)

Parses a PBES specification from a string.

Parameters:

  • text A string
  • normalize If true, the resulting PBES is normalized after reading.

Returns: The parsed PBES