mcrl2/bes/parse.h

Include file:

#include "mcrl2/bes/parse.h"

add your file description here.

Classes

  • mcrl2::bes::detail::bes_actions

Typedefs

type identifier_t

typedef for unsigned long long

type owner_t

typedef for bool

type 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)