mCRL2

This file contains a class with a state/probability pair. More...
Go to the source code of this file.
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 tausummands of that LPS for confluence.  
namespace  mcrl2::lps 
The main namespace for the LPS library.  
namespace  std 
STL namespace.  
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.
Definition in file state_probability_pair.h.