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 types

type mcrl2::lts::lts_lts_t::super

typedef for lts< state_label_lts, action_label_lts, detail::lts_lts_base >

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.

lts_lts_t(const atermpp::aterm &t)

Creates an object containing a muCRL specification.

Parameters:

  • t The muCRL specification that will be stored in the object.

lts_lts_t(lps::specification const &spec)

Creates an object containing an mCRL2 specification.

Parameters:

  • spec The mCRL2 specification that will be stored in the object.

lts_lts_t(const lts_lts_t &l)

Copy constructor.

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.