mcrl2/bes/small_progress_measures.h

Include file:

#include "mcrl2/bes/small_progress_measures.h"

add your file description here.

Classes

• mcrl2::bes::compare_progress_measures_vertex
• mcrl2::bes::progress_measure
• mcrl2::bes::progress_measures_vertex
• mcrl2::bes::small_progress_measures_algorithm

Functions

void mcrl2::bes::inc(std::vector<int> &alpha, int m, const std::vector<int> &beta)

bool mcrl2::bes::is_disjunctive(const boolean_expression &x)

bool mcrl2::bes::is_even(T t)

bool mcrl2::bes::is_odd(T t)

int mcrl2::bes::lexicographical_compare_3way(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2)

int mcrl2::bes::maximum_rank(const boolean_equation_system &b)

std::ostream &mcrl2::bes::operator<<(std::ostream &out, const progress_measure &pm)

std::ostream &mcrl2::bes::operator<<(std::ostream &out, const progress_measures_vertex &v)

bool mcrl2::bes::small_progress_measures(boolean_equation_system &b)