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_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 std::multimap< transition::size_type, std::pair< transition::size_type, transition::size_type > >

Type for exploring transitions per state.

Functions

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

From state of an iterator exploring transitions per outgoing state.

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

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

Label of an iterator exploring transitions per outgoing state.

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

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

To state of an iterator exploring transitions per outgoing state.

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

outgoing_transitions_per_state_t mcrl2::lts::transitions_per_outgoing_state(const std::vector<transition> &trans)

Provide the transitions as a multimap accessible per outgoing state, useful for for instance state space exploration.

outgoing_transitions_per_state_t mcrl2::lts::transitions_per_outgoing_state(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 outgoing state, useful for for instance state space exploration.

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.

outgoing_transitions_per_state_t mcrl2::lts::transitions_per_outgoing_state_reversed(const std::vector<transition> &trans)

Provide the transitions as a multimap accessible per outgoing state, useful for for instance state space exploration.

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

Type for exploring transitions per state and action.

Provide the transitions as a multimap accessible per outgoing state, useful for for instance state space exploration.

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)