mcrl2/lts/state_space_generator.h

Include file:

#include "mcrl2/lts/state_space_generator.h"

add your file description here.

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(trace::Trace &tr, const std::string &filename)
void mcrl2::lts::detail::save_traces(trace::Trace &tr, const std::string &filename1, trace::Trace &tr2, const std::string &filename2)