mcrl2/lps/suminst.h¶

Include file:

#include "mcrl2/lps/suminst.h"

Instantiate summation variables.

Classes¶

mcrl2::lps::suminst_algorithm

Functions¶

std::set<data::sort_expression> mcrl2::lps::finite_sorts(const data::data_specification &s)¶: Return a set with all finite sorts in data specification s.