mCRL2
Loading...
Searching...
No Matches
pbes_io.h File Reference

Go to the source code of this file.

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::pbes_system
 The main namespace for the PBES library.
 
namespace  mcrl2::pbes_system::detail
 

Functions

atermpp::aterm_ostreammcrl2::pbes_system::operator<< (atermpp::aterm_ostream &stream, const pbes &pbes)
 Writes the pbes to a stream.
 
atermpp::aterm_istreammcrl2::pbes_system::operator>> (atermpp::aterm_istream &stream, pbes &pbes)
 Reads a pbes from a stream.
 
pbes mcrl2::pbes_system::detail::load_pbes (const std::string &filename)
 Loads a PBES from filename, or from stdin if filename equals "".
 
void mcrl2::pbes_system::detail::save_pbes (const pbes &pbesspec, const std::string &filename)
 Saves an PBES to filename, or to stdout if filename equals "".