search_strategy.h File Reference

Search strategy when generating a BES from a PBES. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Enumerations
enum	mcrl2::pbes_system::search_strategy { mcrl2::pbes_system::breadth_first , mcrl2::pbes_system::depth_first , mcrl2::pbes_system::breadth_first_short , mcrl2::pbes_system::depth_first_short }
	Search strategy when generating a BES from a PBES. More...

Functions
search_strategy	mcrl2::pbes_system::parse_search_strategy (const std::string &s)
std::string	mcrl2::pbes_system::print_search_strategy (const search_strategy s)
std::istream &	mcrl2::pbes_system::operator>> (std::istream &is, search_strategy &strategy)
std::ostream &	mcrl2::pbes_system::operator<< (std::ostream &os, const search_strategy s)
std::string	mcrl2::pbes_system::description (const search_strategy s)

Detailed Description

Search strategy when generating a BES from a PBES.

Definition in file search_strategy.h.