IO routines for boolean equation systems. More...

Namespaces
namespace	mcrl2

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

Functions
void	mcrl2::pbes_system::save_bes_pgsolver (const pbes &bes, std::ostream &stream, bool maxpg)

const std::vector< utilities::file_format > &	mcrl2::pbes_system::pbes_file_formats ()

bool	mcrl2::pbes_system::is_pbes_file_format (const utilities::file_format &format)

const utilities::file_format &	mcrl2::pbes_system::pbes_format_internal ()

const utilities::file_format &	mcrl2::pbes_system::pbes_format_text ()

const utilities::file_format &	mcrl2::pbes_system::pbes_format_internal_bes ()

const utilities::file_format &	mcrl2::pbes_system::pbes_format_pgsolver ()

utilities::file_format	mcrl2::pbes_system::guess_format (const std::string &filename)

void	mcrl2::pbes_system::save_pbes (const pbes &pbes, std::ostream &stream, utilities::file_format format)
	Save a PBES in the format specified.

void	mcrl2::pbes_system::load_pbes (pbes &pbes, std::istream &stream, utilities::file_format format, const std::string &)
	Load a PBES from file.

void	mcrl2::pbes_system::save_pbes (const pbes &pbes, const std::string &filename, utilities::file_format format, bool welltypedness_check)
	save_pbes Saves a PBES to a file.

void	mcrl2::pbes_system::load_pbes (pbes &pbes, const std::string &filename, utilities::file_format format)
	Load pbes from file.

Detailed Description

IO routines for boolean equation systems.

Definition in file io.h.

Namespaces