mcrl2/pbes/io.h

Include file:

#include "mcrl2/pbes/io.h"

IO routines for boolean equation systems.

Functions

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

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