absinthe_strategy.h File Reference

add your file description here. 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::absinthe_strategy { mcrl2::pbes_system::absinthe_over , mcrl2::pbes_system::absinthe_under }
	The approximation strategies of the absinthe tool. More...

Functions
absinthe_strategy	mcrl2::pbes_system::parse_absinthe_strategy (const std::string &strategy)
	Parses an absinthe strategy.
std::string	mcrl2::pbes_system::print_absinthe_strategy (const absinthe_strategy strategy)
	Prints an absinthe strategy.
std::istream &	mcrl2::pbes_system::operator>> (std::istream &is, absinthe_strategy &strategy)
std::ostream &	mcrl2::pbes_system::operator<< (std::ostream &os, const absinthe_strategy strategy)
std::string	mcrl2::pbes_system::description (const absinthe_strategy strategy)
	Prints an absinthe strategy.

Detailed Description

add your file description here.

Definition in file absinthe_strategy.h.