mcrl2/bes/parse.h

Include file:

#include "mcrl2/bes/parse.h"

add your file description here.

Classes

  • mcrl2::bes::detail::bes_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")
std::istream &mcrl2::bes::operator>>(std::istream &from, boolean_equation_system &b)

Reads a boolean equation system from an input stream.

Parameters:

  • from An input stream

  • b A boolean equation system

Returns: The input stream

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(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_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.

Functions

boolean_equation_system mcrl2::bes::detail::parse_boolean_equation_system(const std::string &text)
boolean_expression mcrl2::bes::detail::parse_boolean_expression(const std::string &text)