add your file description here. More...

Classes
class	mcrl2::lts::detail::trace_constructor< Explorer >

class	mcrl2::lts::detail::action_detector< Explorer >

class	mcrl2::lts::detail::deadlock_detector< Explorer >

class	mcrl2::lts::detail::nondeterminism_detector< Explorer >

class	mcrl2::lts::detail::divergence_detector< Explorer >

class	mcrl2::lts::detail::progress_monitor

struct	mcrl2::lts::state_space_generator< Stochastic, Timed, Specification >

struct	mcrl2::lts::state_space_generator< Stochastic, Timed, Specification >::aligned_bool

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::lts
	The main LTS namespace.

namespace	mcrl2::lts::detail
	A base class for the lts_dot labelled transition system.

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

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

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

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)

Detailed Description

add your file description here.

Classes