mcrl2::lts::probabilistic_lts_lts_t

Include file:

#include "mcrl2/lts/lts_lts.h

class mcrl2::lts::probabilistic_lts_lts_t

This class contains probabilistic labelled transition systems in .lts format.

In this .lts format, an action label is a multi action, and a state label is an expression of the form STATE(t1,…,tn) where ti are data expressions.

Public member functions

void load(const std::string &filename)

Load the labelled transition system from file.

If the filename is empty, the result is read from stdout.

Parameters:

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

probabilistic_lts_lts_t()

Creates an object containing no information.

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

Save the labelled transition system to file.

If the filename is empty, the result is read from stdin.

Parameters:

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