mcrl2/pbes/tools/pbespp.h

Include file:

#include "mcrl2/pbes/tools/pbespp.h"

add your file description here.

Functions

void pbespp(const std::string &input_filename, const std::string &output_filename, const utilities::file_format &input_format, core::print_format_type format, bool use_pfnf_printer)