mCRL2
|
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_ostream & | mcrl2::pbes_system::operator<< (atermpp::aterm_ostream &stream, const pbes &pbes) |
Writes the pbes to a stream. | |
atermpp::aterm_istream & | mcrl2::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 "". | |