exploration_strategy.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::lps
	The main namespace for the LPS library.

Enumerations
enum	mcrl2::lps::exploration_strategy {   mcrl2::lps::es_none , mcrl2::lps::es_breadth , mcrl2::lps::es_depth , mcrl2::lps::es_random ,   mcrl2::lps::es_value_prioritized , mcrl2::lps::es_value_random_prioritized , mcrl2::lps::es_highway }

Functions
exploration_strategy	mcrl2::lps::parse_exploration_strategy (const std::string &s)
std::string	mcrl2::lps::print_exploration_strategy (const exploration_strategy es)
std::istream &	mcrl2::lps::operator>> (std::istream &is, exploration_strategy &strat)
std::ostream &	mcrl2::lps::operator<< (std::ostream &os, const exploration_strategy strat)
std::string	mcrl2::lps::description (const exploration_strategy strat)