mcrl2/pbes/partial_order_reduction.h

Include file:

#include "mcrl2/pbes/partial_order_reduction.h"

add your file description here.

Classes

• std::hash
• mcrl2::pbes_system::partial_order_reduction_algorithm::invis_pair
• mcrl2::pbes_system::partial_order_reduction_algorithm::parameter_info
• mcrl2::pbes_system::partial_order_reduction_algorithm
• mcrl2::pbes_system::pbespor_options
• mcrl2::pbes_system::summand_class
• mcrl2::pbes_system::summand_equivalence_key
• mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data

Enumerated types

type mcrl2::pbes_system::tribool

Values:

• no

• maybe
• yes

Typedefs

type mcrl2::pbes_system::summand_set

typedef for boost::dynamic_bitset

Functions

static bool mcrl2::pbes_system::operator&&(const std::function<tribool()> &aconst std::function<tribool(bool)> &b)

static bool mcrl2::pbes_system::operator&&(tribool a, tribool b)

std::string mcrl2::pbes_system::print_summand_set(const summand_set &s)

Functions

data::data_expression mcrl2::pbes_system::detail::equal_to(const data::data_expression_list &x, const data::data_expression_list &y)

data::data_expression mcrl2::pbes_system::detail::make_and(const data::data_expression &x1, const data::data_expression &x2, const data::data_expression &x3)