pg_parse.h File Reference

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::node_t
struct	mcrl2::pbes_system::pg_actions

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Typedefs
using	mcrl2::pbes_system::identifier_t = unsigned long long
using	mcrl2::pbes_system::priority_t = unsigned short
using	mcrl2::pbes_system::owner_t = bool

Functions
pbes_expression	mcrl2::pbes_system::formula (std::set< identifier_t > const &v, const owner_t owner, const std::string &prefix="X")
void	mcrl2::pbes_system::parse_pgsolver_string (const std::string &text, pbes &result, bool maxpg=true)
	Reads a parity game from an input stream, and stores it as a BES.
void	mcrl2::pbes_system::parse_pgsolver (std::istream &from, pbes &result, bool maxpg=true)
	Reads a parity game from an input stream, and stores it as a BES.
void	mcrl2::pbes_system::parse_pgsolver (const std::string &filename, pbes &b, bool maxpg=true)
	Parse parity game in PGSolver format from filename, and store the resulting BES in b.

Variables
D_ParserTables	parser_tables_pg

Variable Documentation

parser_tables_pg

D_ParserTables parser_tables_pg

extern