mcrl2::lts::probabilistic_lts_dot_t

Include file:

#include "mcrl2/lts/lts_dot.h

class mcrl2::lts::probabilistic_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(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.

void save(std::ostream &os) const

Save the labelled transition system to a stream.

Parameters:

• os Stream which to write the lts to.