mcrl2/lts/probabilistic_lts.h

Include file:

#include "mcrl2/lts/probabilistic_lts.h"

The file containing the core class for transition systems.

This is the LTS library’s main header file. It declares all publicly accessible data structures that form the interface of the library. Muck van Weerdenburg, Jan Friso Groote This is the LTS library’s main header file. It declares all publicly accessible data structures that form the interface of the library. Jan Friso Groote