mcrl2::pbes_system::pbesinst_structure_graph_algorithm2 =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/pbes/pbesinst_structure_graph2.h .. cpp:class:: mcrl2::pbes_system::pbesinst_structure_graph_algorithm2 Adds an optimization to pbesinst_structure_graph. Public types ------------------------------------------------------------------------------- .. cpp:type:: mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::super typedef for :cpp:type:`pbesinst_structure_graph_algorithm` Protected attributes ------------------------------------------------------------------------------- .. cpp:member:: pbes_expression mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::b .. cpp:member:: detail::computation_guard mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::fatal_attractors_guard .. cpp:member:: detail::computation_guard mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::find_loops_guard .. cpp:member:: detail::periodic_guard mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::reset_guard .. cpp:member:: std::array< vertex_set, 2 > mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::S .. cpp:member:: std::array< detail::computation_guard, 2 > mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::S_guard .. cpp:member:: std::array< strategy_vector, 2 > mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::tau Protected member functions ------------------------------------------------------------------------------- .. cpp:function:: pbes_expression expr(const T &x) const .. cpp:function:: void prune_todo_list(const propositional_variable_instantiation &init, pbesinst_lazy_todo &todo, std::size_t regeneration_period) .. cpp:function:: Rplus_traverser::stack_element Rplus(const pbes_expression &x) .. cpp:function:: bool solution_found(const propositional_variable_instantiation &init) const override .. cpp:function:: bool strategies_are_set_in_solved_nodes() const .. cpp:function:: bool todo_has_only_undefined_nodes() const Public member functions ------------------------------------------------------------------------------- .. cpp:function:: void on_discovered_elements(const std::set< propositional_variable_instantiation > &elements) override This function is called when new elements are added to discovered. .. cpp:function:: void on_end_while_loop() override This function is called right after the while loop is finished. .. cpp:function:: void on_report_equation(const propositional_variable_instantiation &X, const pbes_expression &psi, std::size_t k) override Reports BES equations that are produced by the algorithm. This function is called for every BES equation X = psi with rank k that is produced. By default it does nothing. .. cpp:function:: pbesinst_structure_graph_algorithm2(const pbessolve_options &options, const pbes &p, structure_graph &G) .. cpp:function:: pbes_expression rewrite_psi(const fixpoint_symbol &symbol, const propositional_variable_instantiation &X, const pbes_expression &psi) override