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)