add your file description here. More...

Classes
struct	mcrl2::pbes_system::summand_class

struct	mcrl2::pbes_system::summand_equivalence_key

struct	std::hash< mcrl2::pbes_system::summand_equivalence_key >
	specialization of the standard std::hash function. More...

struct	mcrl2::pbes_system::pbespor_options

class	mcrl2::pbes_system::partial_order_reduction_algorithm

struct	mcrl2::pbes_system::partial_order_reduction_algorithm::invis_pair

struct	mcrl2::pbes_system::partial_order_reduction_algorithm::parameter_info

class	mcrl2::pbes_system::partial_order_reduction_algorithm::summand_relations_data

Namespaces
namespace	mcrl2

namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

namespace	mcrl2::pbes_system::detail

namespace	std
	STL namespace.

Typedefs
using	mcrl2::pbes_system::summand_set = boost::dynamic_bitset<>

Enumerations
enum	mcrl2::pbes_system::tribool { mcrl2::pbes_system::no , mcrl2::pbes_system::maybe , mcrl2::pbes_system::yes }

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

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

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

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

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

Detailed Description

add your file description here.

Classes