mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data

Include file:

#include "mcrl2/pbes/partial_order_reduction.h

class mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data

Private attributes

data::variable_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::combined_quantified_vars

bool mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::compute_weak_conditions

data::data_expression mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::condition1_k

data::data_expression mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::condition1_k1

data::data_expression mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::condition2_k

data::data_expression mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::condition2_k1

data::set_identifier_generator mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::id_gen

partial_order_reduction_algorithm &mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::parent

data::variable_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::qvars1_k

data::variable_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::qvars1_k1

data::variable_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::qvars2_k

data::variable_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::qvars2_k1

data::mutable_indexed_substitution mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::sigma_k

data::mutable_indexed_substitution mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::sigma_k1

data::data_expression_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::updates1_k

data::data_expression_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::updates1_k1

data::data_expression_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::updates2_k

data::data_expression_list mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data::updates2_k1

Private member functions

tribool accords_data(bool affect_set, bool needs_yes, const std::function<data::data_expression()> &make_antecedentconst std::function<data::data_expression()> &make_consequent)

data::data_expression coenabled_antecedent()

data::data_expression left_accords_antecedent()

data::data_expression left_accords_consequent()

data::data_expression make_exists_if_strong(const data::variable_list &vars, const data::data_expression &body)

data::data_expression square_accords_consequent()

data::data_expression triangle_accords_consequent()

data::data_expression triangle_accords_consequent_weak()

Public member functions

bool can_enable()

tribool left_accords_data(bool affect_set, bool needs_yes)

tribool square_accords_data(bool affect_set, bool needs_yes)

summand_relations_data(partial_order_reduction_algorithm &p, const std::size_t k, const std::size_t k1)

tribool triangle_accords_data(bool affect_set, bool needs_yes)