mcrl2::lts::lts_dot_t

Include file:

#include "mcrl2/lts/lts_dot.h
class mcrl2::lts::lts_dot_t

A class to contain labelled transition systems in graphviz format.

Action labels are strings, and state labels are pairs with a name field and an action fields.

Public member functions

void save(std::ostream &os) const

Save the labelled transition system to a stream.

Parameters:

  • os Stream which to write the lts to.

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

Save the labelled transition system to a file.

Throws an error when the file cannot be opened.

Parameters:

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