Include file:
#include "mcrl2/lps/explorer.h"
add your file description here.
mcrl2::lps::abortable
mcrl2::lps::explorer_summand
mcrl2::lps::explorer::transition
mcrl2::lps::
initial_distribution
(const lps::specification&)¶mcrl2::lps::
initial_distribution
(const lps::stochastic_specification &lpsspec)¶mcrl2::lps::
make_data_expression_vector
(const data::data_expression_list &v)¶mcrl2::lps::
operator<<
(std::ostream &out, const explorer_summand &summand)¶