mcrl2/lps/exploration_strategy.h

Include file:

#include "mcrl2/lps/exploration_strategy.h"

Enumerated types

type exploration_strategy

Values:

  • es_none
  • es_breadth
  • es_depth
  • es_random
  • es_value_prioritized
  • es_value_random_prioritized
  • es_highway

Functions

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