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 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)