mcrl2/bes/io.h

Include file:

#include "mcrl2/bes/io.h"

add your file description here.

Functions

const utilities::file_format &mcrl2::bes::bes_format_internal()

const utilities::file_format &mcrl2::bes::bes_format_pgsolver()

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