mcrl2/lts/state_space_generator.h

Include file:

#include "mcrl2/lts/state_space_generator.h"

add your file description here.

Classes

• mcrl2::lts::detail::action_detector
• mcrl2::lts::state_space_generator::aligned_bool
• mcrl2::lts::detail::deadlock_detector
• mcrl2::lts::detail::divergence_detector
• mcrl2::lts::detail::nondeterminism_detector
• mcrl2::lts::detail::progress_monitor
• mcrl2::lts::state_space_generator
• mcrl2::lts::detail::trace_constructor

Functions

const lps::state &mcrl2::lts::first_state(const lps::state &s)

const lps::state &mcrl2::lts::first_state(const lps::stochastic_state &s)

std::ostream &mcrl2::lts::operator<<(std::ostream &out, const lps::state &s)

Functions

bool mcrl2::lts::detail::save_trace(class trace &tr, const std::string &filename)

void mcrl2::lts::detail::save_traces(class trace &tr, const std::string &filename1, class trace &tr2, const std::string &filename2)