liblts_lts.cpp File Reference

Go to the source code of this file.

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
atermpp::aterm_ostream &	mcrl2::lts::operator<< (atermpp::aterm_ostream &stream, const probabilistic_lts_lts_t::probabilistic_state_t &state)
	Converts a probabilistic state into an aterm that encodes it.
atermpp::aterm_istream &	mcrl2::lts::operator>> (atermpp::aterm_istream &stream, probabilistic_lts_lts_t::probabilistic_state_t &state)
static const atermpp::aterm &	mcrl2::lts::detail::transition_mark ()
static const atermpp::aterm &	mcrl2::lts::detail::probabilistic_transition_mark ()
static const atermpp::aterm &	mcrl2::lts::detail::initial_state_mark ()
static const atermpp::aterm &	mcrl2::lts::detail::labelled_transition_system_mark ()
static void	mcrl2::lts::detail::set_initial_state (lts_lts_t &lts, const probabilistic_lts_lts_t::probabilistic_state_t &initial_state)
static void	mcrl2::lts::detail::set_initial_state (probabilistic_lts_lts_t &lts, const probabilistic_lts_lts_t::probabilistic_state_t &initial_state)
template<class LTS >
static void	mcrl2::lts::detail::read_lts (atermpp::aterm_istream &stream, LTS &lts)
template<class LTS_TRANSITION_SYSTEM >
static void	mcrl2::lts::detail::read_from_lts (LTS_TRANSITION_SYSTEM &lts, const std::string &filename)
void	mcrl2::lts::detail::write_initial_state (atermpp::aterm_ostream &stream, const probabilistic_lts_lts_t &lts)
void	mcrl2::lts::detail::write_initial_state (atermpp::aterm_ostream &stream, const lts_lts_t &lts)
template<class LTS >
static void	mcrl2::lts::detail::write_lts (atermpp::aterm_ostream &stream, const LTS &lts)
template<class LTS_TRANSITION_SYSTEM >
static void	mcrl2::lts::detail::write_to_lts (const LTS_TRANSITION_SYSTEM &lts, const std::string &filename)
atermpp::aterm_istream &	mcrl2::lts::operator>> (atermpp::aterm_istream &stream, lts_lts_t &lts)
	Read a (probabilistic) LTS from the given stream.
atermpp::aterm_istream &	mcrl2::lts::operator>> (atermpp::aterm_istream &stream, probabilistic_lts_lts_t &lts)
atermpp::aterm_ostream &	mcrl2::lts::operator<< (atermpp::aterm_ostream &stream, const lts_lts_t &lts)
	Write a (probabilistic) LTS to the given stream at once.
atermpp::aterm_ostream &	mcrl2::lts::operator<< (atermpp::aterm_ostream &stream, const probabilistic_lts_lts_t &lts)
void	mcrl2::lts::write_lts_header (atermpp::aterm_ostream &stream, const data::data_specification &data, const data::variable_list &parameters, const process::action_label_list &action_labels)
	Writes the start of an LTS stream.
void	mcrl2::lts::write_transition (atermpp::aterm_ostream &stream, std::size_t from, const lps::multi_action &label, std::size_t to)
	Write a transition to the LTS stream.
void	mcrl2::lts::write_transition (atermpp::aterm_ostream &stream, std::size_t from, const lps::multi_action &label, const probabilistic_lts_lts_t::probabilistic_state_t &to)
void	mcrl2::lts::write_state_label (atermpp::aterm_ostream &stream, const state_label_lts &label)
	Write a state label to the LTS stream.
void	mcrl2::lts::write_initial_state (atermpp::aterm_ostream &stream, std::size_t index)
	Write the initial state to the LTS stream.