| concat(const std::list< E > a, const std::list< E > b) | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | inlineprotected |
| constraint_map typedef | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | protected |
| edge_map typedef | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | protected |
| m_data_rewriter | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | protected |
| m_edges | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | protected |
| m_pres_rewriter | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | protected |
| m_redundant_parameters | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | protected |
| m_vertices | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | protected |
| pres_constelm_algorithm(const DataRewriter &datar, const PresRewriter &presr) | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | inline |
| print_condition(const edge &e, const vertex &u, const pres_expression &value) | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | inlineprotected |
| print_edge_update(const edge &e, const vertex &u, const vertex &v) | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | inlineprotected |
| print_edges() | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | inlineprotected |
| print_evaluation_failure(const edge &e, const vertex &u) | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | inlineprotected |
| print_todo_list(const std::deque< propositional_variable > &todo) | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | inlineprotected |
| print_vertices() const | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | inlineprotected |
| qvar_list typedef | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | protected |
| redundant_parameters() const | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | inline |
| run(pres &p, bool compute_conditions=false, bool check_quantifiers=true) | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | inline |
| vertex_map typedef | mcrl2::pres_system::pres_constelm_algorithm< DataRewriter, PresRewriter > | protected |
1.9.7