mcrl2/pbes/search_strategy.h

Include file:

#include "mcrl2/pbes/search_strategy.h"

Search strategy when generating a BES from a PBES.

Enumerated types

type mcrl2::pbes_system::search_strategy

Values:

• breadth_first

• depth_first
• breadth_first_short
• depth_first_short

Search strategy when generating a BES from a PBES.

Functions

std::string mcrl2::pbes_system::description(const search_strategy s)

std::ostream &mcrl2::pbes_system::operator<<(std::ostream &os, const search_strategy s)

std::istream &mcrl2::pbes_system::operator>>(std::istream &is, search_strategy &strategy)

search_strategy mcrl2::pbes_system::parse_search_strategy(const std::string &s)

std::string mcrl2::pbes_system::print_search_strategy(const search_strategy s)