| compute_constant_parameters(bool instantiate_global_variables=false, bool ignore_conditions=false) | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | inline |
| constelm_algorithm(Specification &spec, const DataRewriter &R_) | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | inline |
| instantiate_free_variables() | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
| is_constant(const data::data_expression &x, const std::set< data::variable > &global_variables) const | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | inlineprotected |
| LOG_CONDITION(const data::data_expression &cond, const data::data_expression &c_i, const data::mutable_map_substitution<> &sigma, const std::string &msg="") | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | inlineprotected |
| LOG_CONSTANT_PARAMETERS(const data::mutable_map_substitution<> &sigma, const std::string &constant_removed_msg="", const std::string ¬hing_removed_msg="") | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | inlineprotected |
| LOG_PARAMETER_CHANGE(const data::data_expression &d_j, const data::data_expression &Rd_j, const data::data_expression &Rg_ij, const data::mutable_map_substitution<> &sigma, const std::string &msg="") | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | inlineprotected |
| lps_algorithm(Specification &spec) | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
| m_ignore_conditions | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | protected |
| m_index_of | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | protected |
| m_instantiate_global_variables | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | protected |
| m_spec | mcrl2::lps::detail::lps_algorithm< Specification > | protected |
| next_state(const action_summand &s, const data::variable &v) const | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
| R | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | protected |
| remove_parameters(data::mutable_map_substitution<> &sigma) | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | inline |
| mcrl2::lps::detail::lps_algorithm::remove_parameters(const std::set< data::variable > &to_be_removed) | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
| remove_singleton_sorts() | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
| remove_trivial_summands() | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
| remove_unused_summand_variables() | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
| run(bool instantiate_global_variables=false, bool ignore_conditions=false) | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | inline |
| sumelm_find_variables(const action_summand &s, std::set< data::variable > &result) const | mcrl2::lps::detail::lps_algorithm< Specification > | inlineprotected |
| sumelm_find_variables(const deadlock_summand &s, std::set< data::variable > &result) const | mcrl2::lps::detail::lps_algorithm< Specification > | inlineprotected |
| summand_remove_unused_summand_variables(SummandType &summand_) | mcrl2::lps::detail::lps_algorithm< Specification > | inlineprotected |
| super typedef | mcrl2::lps::constelm_algorithm< DataRewriter, Specification > | private |
| verbose() const | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
1.9.7