# mcrl2::lts::lts_lts_t¶

Include file:

#include "mcrl2/lts/lts_lts.h

class mcrl2::lts::lts_lts_t

This class contains 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.

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.