| action_summand_type typedef | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | private |
| binary_algorithm(Specification &spec, DataRewriter &r, const std::string parameter_selection="") | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inline |
| enumerator_element typedef | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | private |
| instantiate_free_variables() | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
| lps_algorithm(Specification &spec) | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
| m_enumerated_elements | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | protected |
| m_id_generator | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | protected |
| m_if_trees | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | protected |
| m_if_trees_generator | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | protected |
| m_new_parameters | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | protected |
| m_parameter_selection | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | protected |
| m_rewriter | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | protected |
| m_spec | mcrl2::lps::detail::lps_algorithm< Specification > | protected |
| make_if_tree(data::variable_vector new_parameters, const data::data_expression_vector &enumerated_elements) | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inlineprotected |
| next_state(const action_summand &s, const data::variable &v) const | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
| process_type typedef | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | private |
| 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 |
| replace_enumerated_parameters(const std::set< data::variable > &selected_params) | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inlineprotected |
| replace_enumerated_parameters_in_assignments(data::assignment_list v) | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inlineprotected |
| replace_enumerated_parameters_in_initial_expressions(const data::variable_list &vl, const data::data_expression_list &el) | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inlineprotected |
| run() | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inline |
| select_parameters(const std::string parameter_selection) const | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inlineprotected |
| 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::binary_algorithm< DataRewriter, Specification > | private |
| update_action_summand(action_summand &s) | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inlineprotected |
| update_action_summand(stochastic_action_summand &s) | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inlineprotected |
| update_deadlock_summand(deadlock_summand &s) | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inlineprotected |
| update_initial_process(const data::variable_list ¶meters, const process_initializer &init) | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inlineprotected |
| update_initial_process(const data::variable_list ¶meters, const stochastic_process_initializer &init) | mcrl2::lps::binary_algorithm< DataRewriter, Specification > | inlineprotected |
| verbose() const | mcrl2::lps::detail::lps_algorithm< Specification > | inline |
1.9.7