mcrl2/lts/lts_aut.h

Include file:

#include "mcrl2/lts/lts_aut.h"

This file contains a class that contains labelled transition systems in aut format.

A labelled transition system in aut format is a transition system with empty state labels, and strings as transition labels. Jan Friso Groote

Classes

• mcrl2::lts::detail::lts_aut_base
• mcrl2::lts::lts_aut_t
• mcrl2::lts::probabilistic_lts_aut_t