Package de.uka.ipd.sdq.pcmsolver.markovsolver

Class Summary
Inverse  
MarkovSolver This class solves Markov Chains in the sense that it calculates the probability of getting from the Start State to the Success State (but not into the Failure State).