small_progress_measures.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::progress_measure
struct	mcrl2::pbes_system::progress_measures_vertex
	Vertex of the progress measures graph. More...
struct	mcrl2::pbes_system::compare_progress_measures_vertex
class	mcrl2::pbes_system::small_progress_measures_algorithm
	Algorithm class for the small progress measures algorithm. More...

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

Macros
#define	MCRL2_SMALL_PROGRESS_MEASURES_DEBUG

Functions
template<typename InputIterator1 , typename InputIterator2 >
int	mcrl2::pbes_system::lexicographical_compare_3way (InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2)
bool	mcrl2::pbes_system::is_disjunctive (const pbes_expression &x)
int	mcrl2::pbes_system::maximum_rank (const pbes &b)
std::ostream &	mcrl2::pbes_system::operator<< (std::ostream &out, const progress_measure &pm)
void	mcrl2::pbes_system::inc (std::vector< int > &alpha, int m, const std::vector< int > &beta)
std::ostream &	mcrl2::pbes_system::operator<< (std::ostream &out, const progress_measures_vertex &v)
bool	mcrl2::pbes_system::small_progress_measures (pbes &b)

Detailed Description

add your file description here.

Definition in file small_progress_measures.h.

Macro Definition Documentation

MCRL2_SMALL_PROGRESS_MEASURES_DEBUG

#define MCRL2_SMALL_PROGRESS_MEASURES_DEBUG

Definition at line 16 of file small_progress_measures.h.