mcrl2::lts::lts_dot_builder

Include file:

#include "mcrl2/lts/lts_builder.h

class mcrl2::lts::lts_dot_builder

Public types

type mcrl2::lts::lts_dot_builder::super

typedef for lts_lts_builder

Public member functions

lts_dot_builder(const data::data_specification &dataspec, const process::action_label_list &action_labels, const data::variable_list &process_parameters)

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