Include file:

#include "mcrl2/lts/transition.h"

A header file defining a transition as a triple from,label,to.

Muck van Weerdenburg, Jan Friso Groote

Enumerated types

type mcrl2::lts::transition_sort_style


  • src_lbl_tgt Sort first on source state, then on label, then on target state
  • lbl_tgt_src Sort first on label, then on target state, then on source state

Transition sort styles.

This enumerated type defines sort styles for transitions. They can be used to sort the transitions of an LTS based on various criteria.


const std::size_t mcrl2::lts::const_tau_label_index