mcrl2/lps/explorer-cpp17.h

Include file:

#include "mcrl2/lps/explorer-cpp17.h"

add your file description here.

Classes

Enumerated types

type caching

Values:

  • none
  • local
  • global
  • none
  • local
  • global

Functions

const stochastic_distribution &initial_distribution(const lps::specification&)
const stochastic_distribution &initial_distribution(const lps::stochastic_specification &lpsspec)
std::vector<data::data_expression> make_data_expression_vector(const data::data_expression_list &v)
std::ostream &operator<<(std::ostream &os, caching c)
std::ostream &operator<<(std::ostream &out, const explorer_summand &summand)
const stochastic_distribution &summand_distribution(const Summand&)
const stochastic_distribution &summand_distribution(const lps::stochastic_action_summand &summand)