mcrl2/lps/ltsmin.h

Include file:

#include "mcrl2/lps/ltsmin.h"

add your file description here.

Functions

std::vector<std::string> mcrl2::lps::generate_values(const data::data_specification &dataspec, const data::sort_expression &s, std::size_t max_size = 1000)

Generates possible values of the data type (at most max_size).