This file contains a class with a state/probability pair. More...

Classes
class	mcrl2::lps::state_probability_pair< STATE, PROBABILITY >

struct	std::hash< mcrl2::lps::state_probability_pair< STATE, PROBABILITY > >

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::lps
	The main namespace for the LPS library.

namespace	std
	STL namespace.

Detailed Description

This file contains a class with a state/probability pair.

A state probability pair consists of a state and a probability. The probability should be larger than 0 and smaller or equal to 1.

Classes