mcrl2/bes/small_progress_measures.h

Include file:

#include "mcrl2/bes/small_progress_measures.h"

add your file description here.

Classes

Functions

unsigned int mcrl2::bes::block_count(const boolean_equation_system &b)
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)
unsigned int mcrl2::bes::maximum_rank(const boolean_equation_system &b)
unsigned int mcrl2::bes::mu_block_count(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)