mcrl2/bes/consistent_correlation.h

Include file:

#include "mcrl2/bes/consistent_correlation.h"

add your file description here.

Classes

  • mcrl2::bes::consistent_correlation_checker

  • mcrl2::bes::rank

Functions

bool mcrl2::bes::detail::empty_intersection(const SortedSequence1 &x, const SortedSequence2 &y)