mcrl2/pbes/partial_order_reduction.h

Include file:

#include "mcrl2/pbes/partial_order_reduction.h"

add your file description here.

Classes

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&&(tribool a, tribool b)
static bool mcrl2::pbes_system::operator&&(const std::function<tribool()> &aconst std::function<tribool(bool)> &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)