Include file:
#include "mcrl2/lps/exploration_strategy.h"
mcrl2::lps::
exploration_strategy
¶Values:
es_none
es_breadth
es_depth
es_random
es_value_prioritized
es_value_random_prioritized
es_highway
mcrl2::lps::
description
(const exploration_strategy strat)¶mcrl2::lps::
operator<<
(std::ostream &os, const exploration_strategy strat)¶mcrl2::lps::
operator>>
(std::istream &is, exploration_strategy &strat)¶mcrl2::lps::
parse_exploration_strategy
(const std::string &s)¶mcrl2::lps::
print_exploration_strategy
(const exploration_strategy es)¶