# mcrl2::lts::probabilistic_lts_aut_t¶

Include file:

#include "mcrl2/lts/lts_aut.h

class mcrl2::lts::probabilistic_lts_aut_t

A simple labelled transition format with only strings as action labels.

This lts format corresponds to the Ceasar/Aldebaran labelled transition system format. There are no state labels, only transition labels which are plain strings.

## Public member functions¶

void load(const std::string &filename)

Load the labelled transition system from a file.

If the filename is empty, the result is read from stdin. The input file must be in .aut format.

Parameters:

• filename Name of the file from which this lts is read.

void load(std::istream &is)

Load the labelled transition system from an input stream.

The input stream must be in .aut format.

Parameters:

• is The input stream.

void save(const std::string &filename) const

Save the labelled transition system to file.

If the filename is empty, the result is written to stdout.

Parameters:

• filename Name of the file to which this lts is written.