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)