mcrl2/lps/explorer.h

Include file:

#include "mcrl2/lps/explorer.h"

add your file description here.

Classes

Enumerated types

type mcrl2::lps::caching

Values:

  • none

  • local

  • global

Functions

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