mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/pbes/partial_order_reduction.h .. cpp:class:: mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data Private attributes ------------------------------------------------------------------------------- .. cpp:member:: data::variable_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::combined_quantified_vars .. cpp:member:: bool mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::compute_weak_conditions .. cpp:member:: data::data_expression mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::condition1_k .. cpp:member:: data::data_expression mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::condition1_k1 .. cpp:member:: data::data_expression mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::condition2_k .. cpp:member:: data::data_expression mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::condition2_k1 .. cpp:member:: data::set_identifier_generator mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::id_gen .. cpp:member:: partial_order_reduction_algorithm & mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::parent .. cpp:member:: data::variable_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::qvars1_k .. cpp:member:: data::variable_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::qvars1_k1 .. cpp:member:: data::variable_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::qvars2_k .. cpp:member:: data::variable_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::qvars2_k1 .. cpp:member:: data::mutable_indexed_substitution mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::sigma_k .. cpp:member:: data::mutable_indexed_substitution mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::sigma_k1 .. cpp:member:: data::data_expression_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::updates1_k .. cpp:member:: data::data_expression_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::updates1_k1 .. cpp:member:: data::data_expression_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::updates2_k .. cpp:member:: data::data_expression_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::updates2_k1 Private member functions ------------------------------------------------------------------------------- .. cpp:function:: tribool accords_data(bool affect_set, bool needs_yes, const std::function< data::data_expression()> &make_antecedent, const std::function< data::data_expression()> &make_consequent) .. cpp:function:: data::data_expression coenabled_antecedent() .. cpp:function:: data::data_expression left_accords_antecedent() .. cpp:function:: data::data_expression left_accords_consequent() .. cpp:function:: data::data_expression make_exists_if_strong(const data::variable_list &vars, const data::data_expression &body) .. cpp:function:: data::data_expression square_accords_consequent() .. cpp:function:: data::data_expression triangle_accords_consequent() .. cpp:function:: data::data_expression triangle_accords_consequent_weak() Public member functions ------------------------------------------------------------------------------- .. cpp:function:: bool can_enable() .. cpp:function:: tribool left_accords_data(bool affect_set, bool needs_yes) .. cpp:function:: tribool square_accords_data(bool affect_set, bool needs_yes) .. cpp:function:: summand_relations_data(partial_order_reduction_algorithm &p, const std::size_t k, const std::size_t k1) .. cpp:function:: tribool triangle_accords_data(bool affect_set, bool needs_yes)