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)