mcrl2/pbes/pbesreach.h

Include file:

#include "mcrl2/pbes/pbesreach.h"

Classes

Functions

std::vector<boost::dynamic_bitset<>> mcrl2::pbes_system::compute_read_write_patterns(const pbes_system::srf_pbes &pbesspec, const data::variable_list &process_parameters)
data::data_specification mcrl2::pbes_system::construct_propositional_variable_data_specification(const pbes_system::srf_pbes &pbesspec, const std::string &sort_name)
data::data_expression_list mcrl2::pbes_system::make_state(const pbes_system::propositional_variable_instantiation &x, const std::unordered_map<core::identifier_string, data::data_expression> &propvar_map)
std::ostream &mcrl2::pbes_system::operator<<(std::ostream &out, const symbolic_reachability_options &options)
std::map<data::variable, std::size_t> mcrl2::pbes_system::process_parameter_index(const data::variable_list &process_parameters)
std::pair<std::set<data::variable>, std::set<data::variable>> mcrl2::pbes_system::read_write_parameters(const pbes_system::srf_equation &equation, const pbes_system::srf_summand &summand, const data::variable_list &process_parameters)
pbes_system::srf_pbes mcrl2::pbes_system::split_conditions(const pbes_system::srf_pbes &pbes, std::size_t granularity)