mcrl2/lts/lts_utilities.h

Include file:

#include "mcrl2/lts/lts_utilities.h"

This file contains some utility functions to manipulate lts’s.

The function in this file typically allow to present the transitions of a state space differently. Jan Friso Groote

Typedefs

type outgoing_pair_t

typedef for std::pair< transition::size_type, transition::size_type >

Type for exploring transitions per state.

type outgoing_transitions_per_state_action_t

typedef for std::multimap< std::pair< transition::size_type, transition::size_type >, transition::size_type >

Type for exploring transitions per state and action.

type outgoing_transitions_per_state_t

typedef for detail::indexed_sorted_vector_for_transitions< outgoing_pair_t >

Functions

std::size_t mcrl2::lts::from(const outgoing_transitions_per_state_action_t::const_iterator &i)

From state of an iterator exploring transitions per outgoing state and action.

std::size_t mcrl2::lts::label(const outgoing_pair_t &p)

Label of a pair of a label and target state.

std::size_t mcrl2::lts::label(const outgoing_transitions_per_state_action_t::const_iterator &i)

Label of an iterator exploring transitions per outgoing state and action.

std::size_t mcrl2::lts::to(const outgoing_pair_t &p)

Target state of a label state pair.

std::size_t mcrl2::lts::to(const outgoing_transitions_per_state_action_t::const_iterator &i)

To state of an iterator exploring transitions per outgoing state and action.

outgoing_transitions_per_state_action_t mcrl2::lts::transitions_per_outgoing_state_action_pair(const std::vector<transition> &trans)

Provide the transitions as a multimap accessible per from state and label.

outgoing_transitions_per_state_action_t mcrl2::lts::transitions_per_outgoing_state_action_pair(const std::vector<transition> &trans, const std::map<transition::size_type, transition::size_type> &hide_label_map)

Provide the transitions as a multimap accessible per from state and label.

outgoing_transitions_per_state_action_t mcrl2::lts::transitions_per_outgoing_state_action_pair_reversed(const std::vector<transition> &trans)

Provide the transitions as a multimap accessible per from state and label, ordered backwardly.

outgoing_transitions_per_state_action_t mcrl2::lts::transitions_per_outgoing_state_action_pair_reversed(const std::vector<transition> &trans, const std::map<transition::size_type, transition::size_type> &hide_label_map)

Provide the transitions as a multimap accessible per from state and label, ordered backwardly.

Functions

std::size_t mcrl2::lts::detail::apply_map(const std::size_t n, std::map<transition::size_type, transition::size_type> &mapping)
LABEL_TYPE mcrl2::lts::detail::make_divergence_label(const std::string &s)
mcrl2::lts::action_label_lts mcrl2::lts::detail::make_divergence_label<mcrl2::lts::action_label_lts>(const std::string &s)
std::size_t mcrl2::lts::detail::mark_explicit_divergence_transitions(LTS_TYPE &l)
void mcrl2::lts::detail::unmark_explicit_divergence_transitions(LTS_TYPE &l, const std::size_t divergent_transition_label)