mcrl2/lps/explorer.h

Include file:

#include "mcrl2/lps/explorer.h"

add your file description here.

Classes

• mcrl2::lps::abortable

• mcrl2::lps::breadth_first_todo_set

• mcrl2::lps::depth_first_todo_set

• mcrl2::lps::explorer

• mcrl2::lps::explorer_summand

• mcrl2::lps::highway_todo_set

• mcrl2::lps::todo_set

• mcrl2::lps::explorer::transition

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)