mcrl2/lps/exploration_strategy.h

Include file:

#include "mcrl2/lps/exploration_strategy.h"

Enumerated types

type mcrl2::lps::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)