mcrl2/lps/lpsreach.h

Include file:

#include "mcrl2/lps/lpsreach.h"

add your file description here.

Classes

Functions

std::vector<boost::dynamic_bitset<>> mcrl2::lps::compute_read_write_patterns(const lps::specification &lpsspec)
std::map<data::variable, std::size_t> mcrl2::lps::process_parameter_index(const lps::specification &lpsspec)
std::pair<std::set<data::variable>, std::set<data::variable>> mcrl2::lps::read_write_parameters(const lps::action_summand &summand, const std::set<data::variable> &process_parameters)