mcrl2::lts::lts_fsm_t

Include file:

#include "mcrl2/lts/lts_fsm.h
class mcrl2::lts::lts_fsm_t

The class lts_fsm_t contains labelled transition systems in .fsm format.

The .fsm format consists of an labelled transition system where the action labels are strings, and the state labels are vectors of integers. The integers at position i corresponds to a string, which are maintained in a separate vector for memory efficiency.

Public types

type mcrl2::lts::lts_fsm_t::super

typedef for lts< state_label_fsm, action_label_string, detail::lts_fsm_base >

Public member functions

void load(const std::string &filename)

Save the labelled transition system to file.

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

Parameters:

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

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.