mcrl2/bes/pg_parse.h

Include file:

#include "mcrl2/bes/pg_parse.h"

Parsing of parity games in the format used by PGSolver.

Classes

  • mcrl2::bes::node_t
  • mcrl2::bes::pg_actions

Typedefs

type mcrl2::bes::identifier_t

typedef for unsigned long long

type mcrl2::bes::owner_t

typedef for bool

type mcrl2::bes::priority_t

typedef for unsigned short

Functions

boolean_expression mcrl2::bes::formula(std::set<identifier_t> const &v, const owner_t owner, const std::string &prefix = "X")
void mcrl2::bes::parse_pgsolver(const std::string &filename, boolean_equation_system &b, bool maxpg = true)

Parse parity game in PGSolver format from filename, and store the resulting BES in b.

void mcrl2::bes::parse_pgsolver(std::istream &from, boolean_equation_system &result, bool maxpg = true)

Reads a parity game from an input stream, and stores it as a BES.

Parameters:

  • from An input stream
  • result A boolean equation system
  • maxpg If true a max-parity game is generated in result, otherwise a min-parity game is obtained.
void mcrl2::bes::parse_pgsolver_string(const std::string &text, boolean_equation_system &result, bool maxpg = true)

Reads a parity game from an input stream, and stores it as a BES.

Parameters:

  • text A string
  • result A boolean equation system
  • maxpg If true a max-parity game is generated in result, otherwise a min-parity game is obtained.